0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.404 * * * [progress]: [2/2] Setting up program.
0.408 * [progress]: [Phase 2 of 3] Improving.
0.408 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.410 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.410 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.410 * * [progress]: iteration 1 / 4
0.410 * * * [progress]: picking best candidate
0.413 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.413 * * * [progress]: localizing error
0.426 * * * [progress]: generating rewritten candidates
0.426 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.427 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.429 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.430 * * * [progress]: generating series expansions
0.430 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.430 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.430 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.430 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.431 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.431 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.431 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.432 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.432 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.432 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.432 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.432 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.432 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.432 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.432 * [taylor]: Rewrote expression to (- (exp a) 1)
0.432 * [taylor]: Taking taylor expansion of (exp a) in a
0.432 * [taylor]: Taking taylor expansion of a in a
0.433 * [taylor]: Taking taylor expansion of 1 in a
0.434 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.434 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.434 * [taylor]: Rewrote expression to (- (exp a) 1)
0.434 * [taylor]: Taking taylor expansion of (exp a) in a
0.434 * [taylor]: Taking taylor expansion of a in a
0.434 * [taylor]: Taking taylor expansion of 1 in a
0.444 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.444 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.444 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.445 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.445 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.445 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.445 * [taylor]: Taking taylor expansion of a in a
0.445 * [taylor]: Taking taylor expansion of 1 in a
0.445 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.445 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.446 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.446 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.446 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.446 * [taylor]: Taking taylor expansion of a in a
0.446 * [taylor]: Taking taylor expansion of 1 in a
0.466 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
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.467 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.467 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.467 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.467 * [taylor]: Taking taylor expansion of -1 in a
0.467 * [taylor]: Taking taylor expansion of a in a
0.467 * [taylor]: Taking taylor expansion of 1 in a
0.467 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.467 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.467 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.467 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.467 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.467 * [taylor]: Taking taylor expansion of -1 in a
0.467 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.491 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.491 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.491 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.491 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.491 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.491 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.492 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.492 * [taylor]: Rewrote expression to (- (exp a) 1)
0.492 * [taylor]: Taking taylor expansion of (exp a) in a
0.492 * [taylor]: Taking taylor expansion of a in a
0.492 * [taylor]: Taking taylor expansion of 1 in a
0.493 * [taylor]: Taking taylor expansion of 1 in a
0.493 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.493 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.493 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.493 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.493 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.494 * [taylor]: Rewrote expression to (- (exp a) 1)
0.494 * [taylor]: Taking taylor expansion of (exp a) in a
0.494 * [taylor]: Taking taylor expansion of a in a
0.494 * [taylor]: Taking taylor expansion of 1 in a
0.495 * [taylor]: Taking taylor expansion of 1 in a
0.504 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.504 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.504 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.504 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.504 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.504 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.504 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.504 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.504 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.504 * [taylor]: Taking taylor expansion of a in a
0.505 * [taylor]: Taking taylor expansion of 1 in a
0.505 * [taylor]: Taking taylor expansion of 1 in a
0.505 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.505 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.505 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.505 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.505 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.505 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.505 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.505 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.505 * [taylor]: Taking taylor expansion of a in a
0.506 * [taylor]: Taking taylor expansion of 1 in a
0.506 * [taylor]: Taking taylor expansion of 1 in a
0.538 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.538 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.538 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.538 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) 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.539 * [taylor]: Taking taylor expansion of 1 in a
0.539 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.539 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.539 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.539 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.539 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.539 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.539 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.539 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.539 * [taylor]: Taking taylor expansion of -1 in a
0.539 * [taylor]: Taking taylor expansion of a in a
0.539 * [taylor]: Taking taylor expansion of 1 in a
0.540 * [taylor]: Taking taylor expansion of 1 in a
0.573 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.573 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.573 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.573 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.573 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.573 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.573 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.574 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.574 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.574 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.574 * * * [progress]: simplifying candidates
0.575 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.578 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.580 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.585 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.600 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.692 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.694 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.694 * * * [progress]: adding candidates to table
0.846 * * [progress]: iteration 2 / 4
0.846 * * * [progress]: picking best candidate
0.897 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))>
0.897 * * * [progress]: localizing error
0.913 * * * [progress]: generating rewritten candidates
0.913 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.913 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.916 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.918 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.921 * * * [progress]: generating series expansions
0.921 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.922 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.922 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.922 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.923 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.923 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.923 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.924 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.924 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
0.924 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
0.924 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.924 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
0.924 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.934 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
0.934 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
0.934 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.934 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
0.934 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.944 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
0.944 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
0.944 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.944 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
0.944 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.957 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.957 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.957 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.957 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.958 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.958 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.958 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.958 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.958 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.959 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.959 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
0.959 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.959 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.959 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.959 * [taylor]: Rewrote expression to (- (exp a) 1)
0.959 * [taylor]: Taking taylor expansion of (exp a) in a
0.959 * [taylor]: Taking taylor expansion of a in a
0.959 * [taylor]: Taking taylor expansion of 1 in a
0.961 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.961 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.961 * [taylor]: Rewrote expression to (- (exp a) 1)
0.961 * [taylor]: Taking taylor expansion of (exp a) in a
0.961 * [taylor]: Taking taylor expansion of a in a
0.961 * [taylor]: Taking taylor expansion of 1 in a
0.971 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.971 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.971 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.971 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.971 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.971 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.971 * [taylor]: Taking taylor expansion of a in a
0.971 * [taylor]: Taking taylor expansion of 1 in a
0.972 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.972 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.972 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.972 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.972 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.972 * [taylor]: Taking taylor expansion of a in a
0.972 * [taylor]: Taking taylor expansion of 1 in a
0.992 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.992 * [taylor]: Taking taylor expansion of (sin (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 -1 in a
0.992 * [taylor]: Taking taylor expansion of a in a
0.992 * [taylor]: Taking taylor expansion of 1 in a
0.993 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.993 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.993 * [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 -1 in a
0.993 * [taylor]: Taking taylor expansion of a in a
0.993 * [taylor]: Taking taylor expansion of 1 in a
1.013 * * * [progress]: simplifying candidates
1.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (log (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
1.018 * * [simplify]: iteration  0 :  156  enodes  (cost  650 )
1.022 * * [simplify]: iteration  1 :  538  enodes  (cost  592 )
1.036 * * [simplify]: iteration  2 :  3301  enodes  (cost  586 )
1.153 * * [simplify]: iteration  3 :  5002  enodes  (cost  586 )
1.156 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (log (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 2)
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (cbrt (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
1.157 * * * [progress]: adding candidates to table
1.356 * * [progress]: iteration 3 / 4
1.356 * * * [progress]: picking best candidate
1.430 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))>
1.430 * * * [progress]: localizing error
1.454 * * * [progress]: generating rewritten candidates
1.454 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.454 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.457 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.459 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2 1)
1.463 * * * [progress]: generating series expansions
1.463 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.463 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.463 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.463 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.464 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.464 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.464 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.465 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.465 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.465 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.466 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.466 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
1.466 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
1.466 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.466 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
1.466 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.476 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
1.476 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
1.476 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.476 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
1.476 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.486 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
1.486 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
1.486 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.486 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
1.486 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.496 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.497 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.497 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.497 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.497 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.497 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.498 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.498 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.498 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.498 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.499 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2 1)
1.499 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.499 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.499 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.499 * [taylor]: Rewrote expression to (- (exp a) 1)
1.499 * [taylor]: Taking taylor expansion of (exp a) in a
1.499 * [taylor]: Taking taylor expansion of a in a
1.499 * [taylor]: Taking taylor expansion of 1 in a
1.501 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.501 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.501 * [taylor]: Rewrote expression to (- (exp a) 1)
1.501 * [taylor]: Taking taylor expansion of (exp a) in a
1.501 * [taylor]: Taking taylor expansion of a in a
1.501 * [taylor]: Taking taylor expansion of 1 in a
1.511 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.511 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.511 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.511 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.511 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.511 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.511 * [taylor]: Taking taylor expansion of a in a
1.511 * [taylor]: Taking taylor expansion of 1 in a
1.512 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.512 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.512 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.512 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.512 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.512 * [taylor]: Taking taylor expansion of a in a
1.512 * [taylor]: Taking taylor expansion of 1 in a
1.536 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.536 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.536 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.536 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.536 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.536 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.536 * [taylor]: Taking taylor expansion of -1 in a
1.536 * [taylor]: Taking taylor expansion of a in a
1.536 * [taylor]: Taking taylor expansion of 1 in a
1.537 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.537 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.537 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.537 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.537 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.537 * [taylor]: Taking taylor expansion of -1 in a
1.537 * [taylor]: Taking taylor expansion of a in a
1.537 * [taylor]: Taking taylor expansion of 1 in a
1.557 * * * [progress]: simplifying candidates
1.558 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (exp (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3))
  (cbrt (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt 1)
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2)))
  (* (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))))
  (cbrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (* (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (sqrt (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
1.564 * * [simplify]: iteration  0 :  166  enodes  (cost  1388 )
1.567 * * [simplify]: iteration  1 :  550  enodes  (cost  1260 )
1.582 * * [simplify]: iteration  2 :  3323  enodes  (cost  1090 )
1.701 * * [simplify]: iteration  3 :  5001  enodes  (cost  1077 )
1.705 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (* (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/4)) 4)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (expm1 (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log1p (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  1
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (cbrt (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))))
  (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
1.705 * * * [progress]: adding candidates to table
1.955 * * [progress]: iteration 4 / 4
1.956 * * * [progress]: picking best candidate
2.044 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))>
2.045 * * * [progress]: localizing error
2.075 * * * [progress]: generating rewritten candidates
2.075 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.075 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.075 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.076 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1)
2.081 * * * [progress]: generating series expansions
2.081 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.082 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.082 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.082 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.082 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.082 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.083 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.083 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.083 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.084 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.084 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.084 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.084 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.085 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.085 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.085 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.085 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.086 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.086 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.086 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.087 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.087 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.087 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.087 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.088 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.088 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.088 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.089 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.089 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.089 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1)
2.090 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in (a) around 0
2.090 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
2.090 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.090 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) in a
2.090 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.100 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in (a) around 0
2.100 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
2.100 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.100 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) 3) in a
2.100 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.111 * [approximate]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in (a) around 0
2.111 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
2.111 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.111 * [taylor]: Taking taylor expansion of (pow (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) 3) in a
2.111 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.121 * * * [progress]: simplifying candidates
2.122 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (* (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* (log (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (* 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 1)
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))
  (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (* (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (* (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) 3)
  (pow (cbrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow (sqrt (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a))) 3)
  (pow 1 3)
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)
  (* (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (/ 3 2))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.127 * * [simplify]: iteration  0 :  104  enodes  (cost  1238 )
2.130 * * [simplify]: iteration  1 :  355  enodes  (cost  1048 )
2.141 * * [simplify]: iteration  2 :  2725  enodes  (cost  916 )
2.247 * * [simplify]: iteration  3 :  5002  enodes  (cost  881 )
2.251 * [simplify]: Simplified to:
   (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log1p (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (log (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (exp (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))
  (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (sqrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))
  (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log1p (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  3
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (* (cbrt 3) (cbrt 3)))
  (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) (sqrt 3))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (exp (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (* (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2) (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/4)) 4)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  1
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (sqrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3/2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
2.251 * * * [progress]: adding candidates to table
2.560 * [progress]: [Phase 3 of 3] Extracting.
2.561 * * [regime]: Finding splitpoints for: (#<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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (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 (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (exp (log (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))>)
2.576 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.576 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (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 (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (exp (log (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))>)
2.737 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))>)
2.780 * * * * [regimes]: Trying to branch on a from (#<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 (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (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 (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (cbrt (pow (expm1 (sin (expm1 a))) 3)) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (cbrt (pow (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3) 3))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))))) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (log1p (expm1 (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (exp (log (sin (expm1 a))))))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (* (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))) (cbrt (sqrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)))) a)))>)
2.923 * * * [regime]: Found split indices: #<option (#s(si 22 255))>
2.924 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
2.924 * * [simplify]: iteration  0 :  23  enodes  (cost  46 )
2.925 * * [simplify]: iteration  1 :  23  enodes  (cost  46 )
2.925 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a)) (cbrt (fmod (cbrt (pow (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) 3)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
18.378 * [regime-testing]: Baseline error score: 33.82525942867738
18.379 * [regime-testing]: Oracle error score: 32.06757989680264
18.380 * [regime-testing]: End program error score: 33.82525942867738