0.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.380 * * * [progress]: [2/2] Setting up program.
0.383 * [progress]: [Phase 2 of 3] Improving.
0.383 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.385 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.385 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.386 * * [progress]: iteration 1 / 4
0.386 * * * [progress]: picking best candidate
0.388 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.388 * * * [progress]: localizing error
0.401 * * * [progress]: generating rewritten candidates
0.401 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.402 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.402 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
0.403 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.404 * * * [progress]: generating series expansions
0.404 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.404 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.404 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.404 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.404 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.404 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.405 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.405 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.405 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.405 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.406 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.406 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.406 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.406 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.406 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.406 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.406 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.406 * [taylor]: Rewrote expression to (- (exp a) 1)
0.406 * [taylor]: Taking taylor expansion of (exp a) in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of 1 in a
0.410 * [taylor]: Taking taylor expansion of 1 in a
0.410 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.410 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.410 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.410 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.410 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.410 * [taylor]: Rewrote expression to (- (exp a) 1)
0.410 * [taylor]: Taking taylor expansion of (exp a) in a
0.410 * [taylor]: Taking taylor expansion of a in a
0.410 * [taylor]: Taking taylor expansion of 1 in a
0.412 * [taylor]: Taking taylor expansion of 1 in a
0.428 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.428 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.428 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.428 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.428 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.428 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.428 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.428 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.428 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.428 * [taylor]: Taking taylor expansion of a in a
0.428 * [taylor]: Taking taylor expansion of 1 in a
0.429 * [taylor]: Taking taylor expansion of 1 in a
0.429 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.429 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.429 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.429 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.429 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.430 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.430 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.430 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.430 * [taylor]: Taking taylor expansion of a in a
0.430 * [taylor]: Taking taylor expansion of 1 in a
0.430 * [taylor]: Taking taylor expansion of 1 in a
0.464 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.464 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.464 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.464 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.464 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.464 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.464 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.464 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.464 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.464 * [taylor]: Taking taylor expansion of -1 in a
0.464 * [taylor]: Taking taylor expansion of a in a
0.465 * [taylor]: Taking taylor expansion of 1 in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.466 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.466 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.466 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.466 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.466 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.466 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.466 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.466 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.466 * [taylor]: Taking taylor expansion of -1 in a
0.466 * [taylor]: Taking taylor expansion of a in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.467 * [taylor]: Taking taylor expansion of 1 in a
0.499 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.499 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.499 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.499 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.499 * [taylor]: Rewrote expression to (- (exp a) 1)
0.499 * [taylor]: Taking taylor expansion of (exp a) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of 1 in a
0.501 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.501 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.501 * [taylor]: Rewrote expression to (- (exp a) 1)
0.501 * [taylor]: Taking taylor expansion of (exp a) in a
0.501 * [taylor]: Taking taylor expansion of a in a
0.501 * [taylor]: Taking taylor expansion of 1 in a
0.514 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.514 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.514 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.514 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.514 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.514 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.514 * [taylor]: Taking taylor expansion of a in a
0.514 * [taylor]: Taking taylor expansion of 1 in a
0.515 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.515 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.515 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.515 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.515 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.515 * [taylor]: Taking taylor expansion of a in a
0.515 * [taylor]: Taking taylor expansion of 1 in a
0.537 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.537 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.537 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.537 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.537 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.537 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.537 * [taylor]: Taking taylor expansion of -1 in a
0.537 * [taylor]: Taking taylor expansion of a in a
0.537 * [taylor]: Taking taylor expansion of 1 in a
0.538 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.538 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.538 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.538 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.538 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.538 * [taylor]: Taking taylor expansion of -1 in a
0.538 * [taylor]: Taking taylor expansion of a in a
0.538 * [taylor]: Taking taylor expansion of 1 in a
0.560 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.560 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.561 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.561 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.561 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.561 * * * [progress]: simplifying candidates
0.562 * [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))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.565 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.568 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.572 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.587 * * [simplify]: iteration  3 :  2934  enodes  (cost  264 )
0.681 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.683 * [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))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.684 * * * [progress]: adding candidates to table
0.848 * * [progress]: iteration 2 / 4
0.848 * * * [progress]: picking best candidate
0.891 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.891 * * * [progress]: localizing error
0.907 * * * [progress]: generating rewritten candidates
0.908 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.908 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.911 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.912 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
0.913 * * * [progress]: generating series expansions
0.913 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.913 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.913 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.914 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.914 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.914 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.914 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.915 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.915 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.915 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.916 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
0.916 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.916 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.916 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
0.916 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.926 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
0.926 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.926 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.926 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
0.926 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.935 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
0.936 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.936 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.936 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
0.936 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.945 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.946 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.946 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.946 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.946 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.946 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.946 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.947 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.947 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.947 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.947 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
0.947 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.948 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.948 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.948 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.948 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.948 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.948 * [taylor]: Rewrote expression to (- (exp a) 1)
0.948 * [taylor]: Taking taylor expansion of (exp a) in a
0.948 * [taylor]: Taking taylor expansion of a in a
0.948 * [taylor]: Taking taylor expansion of 1 in a
0.950 * [taylor]: Taking taylor expansion of 1 in a
0.950 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.950 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.950 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.950 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.950 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.950 * [taylor]: Rewrote expression to (- (exp a) 1)
0.950 * [taylor]: Taking taylor expansion of (exp a) in a
0.950 * [taylor]: Taking taylor expansion of a in a
0.950 * [taylor]: Taking taylor expansion of 1 in a
0.952 * [taylor]: Taking taylor expansion of 1 in a
0.962 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.962 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.962 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.962 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.962 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.962 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.962 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.962 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.962 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.962 * [taylor]: Taking taylor expansion of a in a
0.962 * [taylor]: Taking taylor expansion of 1 in a
0.963 * [taylor]: Taking taylor expansion of 1 in a
0.963 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.963 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.963 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.963 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.963 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.963 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.963 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.963 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.963 * [taylor]: Taking taylor expansion of a in a
0.964 * [taylor]: Taking taylor expansion of 1 in a
0.964 * [taylor]: Taking taylor expansion of 1 in a
1.000 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
1.000 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.000 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.000 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.000 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.000 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.000 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.000 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.001 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.001 * [taylor]: Taking taylor expansion of -1 in a
1.001 * [taylor]: Taking taylor expansion of a in a
1.001 * [taylor]: Taking taylor expansion of 1 in a
1.002 * [taylor]: Taking taylor expansion of 1 in a
1.002 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
1.002 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
1.002 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
1.002 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.002 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.002 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.002 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.002 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.002 * [taylor]: Taking taylor expansion of -1 in a
1.002 * [taylor]: Taking taylor expansion of a in a
1.002 * [taylor]: Taking taylor expansion of 1 in a
1.003 * [taylor]: Taking taylor expansion of 1 in a
1.035 * * * [progress]: simplifying candidates
1.036 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (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))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
1.040 * * [simplify]: iteration  0 :  104  enodes  (cost  472 )
1.042 * * [simplify]: iteration  1 :  205  enodes  (cost  410 )
1.045 * * [simplify]: iteration  2 :  516  enodes  (cost  410 )
1.053 * * [simplify]: iteration  3 :  1518  enodes  (cost  410 )
1.091 * * [simplify]: iteration  4 :  5002  enodes  (cost  410 )
1.093 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (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))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
1.094 * * * [progress]: adding candidates to table
1.287 * * [progress]: iteration 3 / 4
1.287 * * * [progress]: picking best candidate
1.360 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))>
1.360 * * * [progress]: localizing error
1.383 * * * [progress]: generating rewritten candidates
1.383 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.383 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.384 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
1.384 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.385 * * * [progress]: generating series expansions
1.385 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.386 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.386 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.386 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.386 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.386 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.387 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.387 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.387 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.387 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.388 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.388 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.388 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.388 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.389 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.389 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.389 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.389 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.390 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.390 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.390 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
1.390 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.390 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.390 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.391 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.391 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.391 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.392 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.392 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.392 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.392 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.393 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.393 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.393 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.393 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.393 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.402 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.402 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.402 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.403 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.403 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.415 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.415 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.415 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.416 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.416 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.425 * * * [progress]: simplifying candidates
1.426 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.429 * * [simplify]: iteration  0 :  43  enodes  (cost  498 )
1.431 * * [simplify]: iteration  1 :  64  enodes  (cost  429 )
1.432 * * [simplify]: iteration  2 :  83  enodes  (cost  429 )
1.434 * * [simplify]: iteration  3 :  124  enodes  (cost  429 )
1.436 * * [simplify]: iteration  4 :  224  enodes  (cost  429 )
1.439 * * [simplify]: iteration  5 :  546  enodes  (cost  429 )
1.454 * * [simplify]: iteration  6 :  2617  enodes  (cost  429 )
1.501 * * [simplify]: iteration  7 :  5001  enodes  (cost  429 )
1.502 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1/2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.503 * * * [progress]: adding candidates to table
1.744 * * [progress]: iteration 4 / 4
1.744 * * * [progress]: picking best candidate
1.841 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))>
1.841 * * * [progress]: localizing error
1.873 * * * [progress]: generating rewritten candidates
1.873 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
1.874 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
1.874 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
1.877 * * * [progress]: generating series expansions
1.877 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
1.877 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.877 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.877 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.877 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.877 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.878 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.878 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.878 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.878 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.879 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.879 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.879 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.879 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.880 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.880 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.880 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.881 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.881 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.881 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.881 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
1.881 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.881 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.882 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.882 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.882 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.882 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.883 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.883 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.883 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.884 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
1.884 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.884 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.884 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.884 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.884 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.894 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.894 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.894 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.894 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.894 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.904 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.904 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.904 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.904 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.904 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.914 * * * [progress]: simplifying candidates
1.914 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log1p (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (exp (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (* (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))
  (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (* (* (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (sqrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (sqrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (expm1 (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log1p (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (* (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))
  (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log 1)
  (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))
  (log (exp (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp 1))
  (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (exp (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (* (cbrt (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (cbrt (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))
  (cbrt (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (* (* (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (sqrt (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (sqrt (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.918 * * [simplify]: iteration  0 :  66  enodes  (cost  566 )
1.919 * * [simplify]: iteration  1 :  85  enodes  (cost  483 )
1.921 * * [simplify]: iteration  2 :  112  enodes  (cost  483 )
1.923 * * [simplify]: iteration  3 :  150  enodes  (cost  483 )
1.925 * * [simplify]: iteration  4 :  274  enodes  (cost  483 )
1.929 * * [simplify]: iteration  5 :  732  enodes  (cost  483 )
1.945 * * [simplify]: iteration  6 :  3399  enodes  (cost  483 )
2.002 * * [simplify]: iteration  7 :  5002  enodes  (cost  483 )
2.004 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log1p (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (* 2 (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))
  (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  0
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
2.004 * * * [progress]: adding candidates to table
2.283 * [progress]: [Phase 3 of 3] Extracting.
2.283 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (* 2 (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (- (exp (sin (expm1 a))) 1) (atan a)))) a)))>)
2.297 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.297 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (* 2 (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (- (exp (sin (expm1 a))) 1) (atan a)))) a)))>)
2.439 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.478 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (sqrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))))> #<alt (λ (a) (fabs (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (+ (* 2 (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) (log (cbrt (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (- (exp (sin (expm1 a))) 1) (atan a)))) a)))>)
2.600 * * * [regime]: Found split indices: #<option (#s(si 17 255))>
2.601 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
2.601 * * [simplify]: iteration  0 :  22  enodes  (cost  30 )
2.602 * * [simplify]: iteration  1 :  22  enodes  (cost  30 )
2.602 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
17.685 * [regime-testing]: Baseline error score: 33.473057419029395
17.685 * [regime-testing]: Oracle error score: 31.686477245431135
17.687 * [regime-testing]: End program error score: 33.473057419029395