0.009 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.377 * * * [progress]: [2/2] Setting up program.
0.381 * [progress]: [Phase 2 of 3] Improving.
0.381 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.383 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.384 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.384 * * [progress]: iteration 1 / 4
0.384 * * * [progress]: picking best candidate
0.387 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.387 * * * [progress]: localizing error
0.399 * * * [progress]: generating rewritten candidates
0.399 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.400 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.401 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.401 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.402 * * * [progress]: generating series expansions
0.402 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.402 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.402 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.402 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.403 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.403 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.403 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.403 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.403 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.404 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.404 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.404 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.404 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.404 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.404 * [taylor]: Rewrote expression to (- (exp a) 1)
0.404 * [taylor]: Taking taylor expansion of (exp a) in a
0.404 * [taylor]: Taking taylor expansion of a in a
0.404 * [taylor]: Taking taylor expansion of 1 in a
0.406 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.406 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.406 * [taylor]: Rewrote expression to (- (exp a) 1)
0.406 * [taylor]: Taking taylor expansion of (exp a) in a
0.406 * [taylor]: Taking taylor expansion of a in a
0.406 * [taylor]: Taking taylor expansion of 1 in a
0.417 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.417 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.417 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.417 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.417 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.417 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.417 * [taylor]: Taking taylor expansion of a in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.418 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.418 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.418 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.418 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.418 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.418 * [taylor]: Taking taylor expansion of a in a
0.418 * [taylor]: Taking taylor expansion of 1 in a
0.441 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.441 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.441 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.441 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.441 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.441 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.441 * [taylor]: Taking taylor expansion of -1 in a
0.441 * [taylor]: Taking taylor expansion of a in a
0.441 * [taylor]: Taking taylor expansion of 1 in a
0.442 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.442 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.442 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.442 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.442 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.442 * [taylor]: Taking taylor expansion of -1 in a
0.442 * [taylor]: Taking taylor expansion of a in a
0.442 * [taylor]: Taking taylor expansion of 1 in a
0.468 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.468 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.468 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.469 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.469 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.469 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.469 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.469 * [taylor]: Rewrote expression to (- (exp a) 1)
0.469 * [taylor]: Taking taylor expansion of (exp a) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.471 * [taylor]: Taking taylor expansion of 1 in a
0.471 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.471 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.471 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.471 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.471 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.471 * [taylor]: Rewrote expression to (- (exp a) 1)
0.471 * [taylor]: Taking taylor expansion of (exp a) in a
0.471 * [taylor]: Taking taylor expansion of a in a
0.471 * [taylor]: Taking taylor expansion of 1 in a
0.473 * [taylor]: Taking taylor expansion of 1 in a
0.483 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.483 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.483 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.483 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.483 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.483 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.483 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.483 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.483 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.483 * [taylor]: Taking taylor expansion of a in a
0.483 * [taylor]: Taking taylor expansion of 1 in a
0.484 * [taylor]: Taking taylor expansion of 1 in a
0.484 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.484 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.484 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.484 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.484 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.484 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.484 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.484 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.484 * [taylor]: Taking taylor expansion of a in a
0.485 * [taylor]: Taking taylor expansion of 1 in a
0.485 * [taylor]: Taking taylor expansion of 1 in a
0.518 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.518 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.518 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.518 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.518 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.518 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.518 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.518 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.518 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.518 * [taylor]: Taking taylor expansion of -1 in a
0.518 * [taylor]: Taking taylor expansion of a in a
0.518 * [taylor]: Taking taylor expansion of 1 in a
0.519 * [taylor]: Taking taylor expansion of 1 in a
0.519 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.519 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.519 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.519 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.519 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.519 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.519 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.519 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.519 * [taylor]: Taking taylor expansion of -1 in a
0.519 * [taylor]: Taking taylor expansion of a in a
0.520 * [taylor]: Taking taylor expansion of 1 in a
0.520 * [taylor]: Taking taylor expansion of 1 in a
0.555 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.556 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.556 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.556 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.556 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.556 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.556 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.557 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.557 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.557 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.557 * * * [progress]: simplifying candidates
0.558 * [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.561 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.564 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.568 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.583 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.678 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.680 * [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.680 * * * [progress]: adding candidates to table
0.836 * * [progress]: iteration 2 / 4
0.836 * * * [progress]: picking best candidate
0.882 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
0.882 * * * [progress]: localizing error
0.900 * * * [progress]: generating rewritten candidates
0.900 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.900 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.907 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.908 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.910 * * * [progress]: generating series expansions
0.911 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.911 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.911 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.911 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.912 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.912 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.912 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.913 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.913 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.913 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.913 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.913 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
0.913 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.913 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.913 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.913 * [taylor]: Taking taylor expansion of 1/3 in a
0.913 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.913 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.913 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.914 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.914 * [taylor]: Rewrote expression to (- (exp a) 1)
0.914 * [taylor]: Taking taylor expansion of (exp a) in a
0.914 * [taylor]: Taking taylor expansion of a in a
0.914 * [taylor]: Taking taylor expansion of 1 in a
0.918 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.918 * [taylor]: Taking taylor expansion of 1/3 in a
0.918 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.918 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.918 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.918 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.918 * [taylor]: Rewrote expression to (- (exp a) 1)
0.918 * [taylor]: Taking taylor expansion of (exp a) in a
0.918 * [taylor]: Taking taylor expansion of a in a
0.918 * [taylor]: Taking taylor expansion of 1 in a
0.933 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
0.933 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.933 * [taylor]: Taking taylor expansion of 1/3 in a
0.933 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.933 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.933 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.933 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.933 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.933 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.933 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.933 * [taylor]: Taking taylor expansion of a in a
0.933 * [taylor]: Taking taylor expansion of 1 in a
0.934 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.934 * [taylor]: Taking taylor expansion of 1/3 in a
0.934 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.934 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.934 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.934 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.934 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.934 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.934 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.934 * [taylor]: Taking taylor expansion of a in a
0.935 * [taylor]: Taking taylor expansion of 1 in a
1.001 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
1.001 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.001 * [taylor]: Taking taylor expansion of 1/3 in a
1.001 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.001 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.001 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.001 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.001 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.001 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.001 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.001 * [taylor]: Taking taylor expansion of -1 in a
1.001 * [taylor]: Taking taylor expansion of a in a
1.002 * [taylor]: Taking taylor expansion of 1 in a
1.003 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.003 * [taylor]: Taking taylor expansion of 1/3 in a
1.003 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.003 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.003 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.003 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.003 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.003 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.003 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.003 * [taylor]: Taking taylor expansion of -1 in a
1.003 * [taylor]: Taking taylor expansion of a in a
1.003 * [taylor]: Taking taylor expansion of 1 in a
1.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.067 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.067 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.067 * [taylor]: Taking taylor expansion of 1/3 in a
1.067 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.067 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.067 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.067 * [taylor]: Rewrote expression to (- (exp a) 1)
1.067 * [taylor]: Taking taylor expansion of (exp a) in a
1.067 * [taylor]: Taking taylor expansion of a in a
1.067 * [taylor]: Taking taylor expansion of 1 in a
1.070 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.070 * [taylor]: Taking taylor expansion of 1/3 in a
1.070 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.070 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.070 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.070 * [taylor]: Rewrote expression to (- (exp a) 1)
1.070 * [taylor]: Taking taylor expansion of (exp a) in a
1.070 * [taylor]: Taking taylor expansion of a in a
1.070 * [taylor]: Taking taylor expansion of 1 in a
1.083 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.083 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.083 * [taylor]: Taking taylor expansion of 1/3 in a
1.083 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.083 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.083 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.083 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.083 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.083 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.083 * [taylor]: Taking taylor expansion of a in a
1.083 * [taylor]: Taking taylor expansion of 1 in a
1.084 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.084 * [taylor]: Taking taylor expansion of 1/3 in a
1.084 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.084 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.084 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.084 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.084 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.084 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.084 * [taylor]: Taking taylor expansion of a in a
1.085 * [taylor]: Taking taylor expansion of 1 in a
1.143 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.143 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.143 * [taylor]: Taking taylor expansion of 1/3 in a
1.143 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.143 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.143 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.143 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.143 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.143 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.143 * [taylor]: Taking taylor expansion of -1 in a
1.143 * [taylor]: Taking taylor expansion of a in a
1.143 * [taylor]: Taking taylor expansion of 1 in a
1.144 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.144 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.144 * [taylor]: Taking taylor expansion of 1/3 in a
1.144 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.144 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.144 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.144 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.144 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.144 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.144 * [taylor]: Taking taylor expansion of -1 in a
1.144 * [taylor]: Taking taylor expansion of a in a
1.145 * [taylor]: Taking taylor expansion of 1 in a
1.203 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
1.203 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.204 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.204 * [taylor]: Taking taylor expansion of 1/3 in a
1.204 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.204 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.204 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.204 * [taylor]: Rewrote expression to (- (exp a) 1)
1.204 * [taylor]: Taking taylor expansion of (exp a) in a
1.204 * [taylor]: Taking taylor expansion of a in a
1.204 * [taylor]: Taking taylor expansion of 1 in a
1.206 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.206 * [taylor]: Taking taylor expansion of 1/3 in a
1.206 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.206 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.206 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.206 * [taylor]: Rewrote expression to (- (exp a) 1)
1.206 * [taylor]: Taking taylor expansion of (exp a) in a
1.207 * [taylor]: Taking taylor expansion of a in a
1.207 * [taylor]: Taking taylor expansion of 1 in a
1.219 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.219 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.219 * [taylor]: Taking taylor expansion of 1/3 in a
1.219 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.219 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.219 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.219 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.219 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.219 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.219 * [taylor]: Taking taylor expansion of a in a
1.220 * [taylor]: Taking taylor expansion of 1 in a
1.220 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.220 * [taylor]: Taking taylor expansion of 1/3 in a
1.220 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.220 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.220 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.221 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.221 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.221 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.221 * [taylor]: Taking taylor expansion of a in a
1.221 * [taylor]: Taking taylor expansion of 1 in a
1.276 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.276 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.276 * [taylor]: Taking taylor expansion of 1/3 in a
1.276 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.276 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.276 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.276 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.276 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.276 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.276 * [taylor]: Taking taylor expansion of -1 in a
1.276 * [taylor]: Taking taylor expansion of a in a
1.277 * [taylor]: Taking taylor expansion of 1 in a
1.277 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.277 * [taylor]: Taking taylor expansion of 1/3 in a
1.277 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.277 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.278 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.278 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.278 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.278 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.278 * [taylor]: Taking taylor expansion of -1 in a
1.278 * [taylor]: Taking taylor expansion of a in a
1.278 * [taylor]: Taking taylor expansion of 1 in a
1.336 * * * [progress]: simplifying candidates
1.337 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (pow a 2/3) (* 1/3 (pow (pow a 5) 1/3))) (* 1/36 (pow (pow a 8) 1/3)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
1.342 * * [simplify]: iteration  0 :  182  enodes  (cost  758 )
1.346 * * [simplify]: iteration  1 :  639  enodes  (cost  657 )
1.364 * * [simplify]: iteration  2 :  3589  enodes  (cost  621 )
1.451 * * [simplify]: iteration  3 :  5001  enodes  (cost  605 )
1.454 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2/3)
  2
  (* 2/3 (log (sin (expm1 a))))
  (* 2/3 (log (sin (expm1 a))))
  (pow (exp 1) (pow (sin (expm1 a)) 2/3))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (sin (expm1 a)) 2/3)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sin (expm1 a)) 2/3)
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3))))
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
1.455 * * * [progress]: adding candidates to table
1.742 * * [progress]: iteration 3 / 4
1.742 * * * [progress]: picking best candidate
1.846 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
1.846 * * * [progress]: localizing error
1.870 * * * [progress]: generating rewritten candidates
1.870 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.871 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
1.874 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
1.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
1.882 * * * [progress]: generating series expansions
1.882 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.883 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.883 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.883 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.884 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.884 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.884 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.885 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.885 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.886 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.886 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
1.886 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
1.886 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
1.886 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
1.886 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
1.886 * [taylor]: Taking taylor expansion of 1/9 in a
1.886 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.886 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.886 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.886 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.886 * [taylor]: Rewrote expression to (- (exp a) 1)
1.886 * [taylor]: Taking taylor expansion of (exp a) in a
1.886 * [taylor]: Taking taylor expansion of a in a
1.886 * [taylor]: Taking taylor expansion of 1 in a
1.890 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
1.890 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
1.890 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
1.890 * [taylor]: Taking taylor expansion of 1/9 in a
1.890 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.890 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.890 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.890 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.890 * [taylor]: Rewrote expression to (- (exp a) 1)
1.890 * [taylor]: Taking taylor expansion of (exp a) in a
1.890 * [taylor]: Taking taylor expansion of a in a
1.890 * [taylor]: Taking taylor expansion of 1 in a
1.903 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
1.903 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
1.904 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.904 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.904 * [taylor]: Taking taylor expansion of 1/9 in a
1.904 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.904 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.904 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.904 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.904 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.904 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.904 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.904 * [taylor]: Taking taylor expansion of a in a
1.904 * [taylor]: Taking taylor expansion of 1 in a
1.905 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
1.905 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.905 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.905 * [taylor]: Taking taylor expansion of 1/9 in a
1.905 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.905 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.905 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.905 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.905 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.905 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.905 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.905 * [taylor]: Taking taylor expansion of a in a
1.906 * [taylor]: Taking taylor expansion of 1 in a
1.970 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
1.970 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
1.970 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.970 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.970 * [taylor]: Taking taylor expansion of 1/9 in a
1.970 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.970 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.970 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.970 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.970 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.970 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.970 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.970 * [taylor]: Taking taylor expansion of -1 in a
1.970 * [taylor]: Taking taylor expansion of a in a
1.971 * [taylor]: Taking taylor expansion of 1 in a
1.972 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
1.972 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.972 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.972 * [taylor]: Taking taylor expansion of 1/9 in a
1.972 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.972 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.972 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.972 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.972 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.972 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.972 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.972 * [taylor]: Taking taylor expansion of -1 in a
1.972 * [taylor]: Taking taylor expansion of a in a
1.972 * [taylor]: Taking taylor expansion of 1 in a
2.034 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
2.035 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.035 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.035 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.035 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.035 * [taylor]: Taking taylor expansion of 1/9 in a
2.035 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.035 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.035 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.035 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.035 * [taylor]: Rewrote expression to (- (exp a) 1)
2.035 * [taylor]: Taking taylor expansion of (exp a) in a
2.035 * [taylor]: Taking taylor expansion of a in a
2.035 * [taylor]: Taking taylor expansion of 1 in a
2.038 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.038 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.038 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.038 * [taylor]: Taking taylor expansion of 1/9 in a
2.038 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.038 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.038 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.038 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.038 * [taylor]: Rewrote expression to (- (exp a) 1)
2.038 * [taylor]: Taking taylor expansion of (exp a) in a
2.038 * [taylor]: Taking taylor expansion of a in a
2.038 * [taylor]: Taking taylor expansion of 1 in a
2.055 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.055 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.055 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.055 * [taylor]: Taking taylor expansion of 1/9 in a
2.055 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.055 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.055 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.055 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.055 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.055 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.055 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.055 * [taylor]: Taking taylor expansion of a in a
2.056 * [taylor]: Taking taylor expansion of 1 in a
2.057 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.057 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.057 * [taylor]: Taking taylor expansion of 1/9 in a
2.057 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.057 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.057 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.057 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.057 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.057 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.057 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.057 * [taylor]: Taking taylor expansion of a in a
2.057 * [taylor]: Taking taylor expansion of 1 in a
2.119 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
2.119 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.119 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.119 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.119 * [taylor]: Taking taylor expansion of 1/9 in a
2.120 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.120 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.120 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.120 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.120 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.120 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.120 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.120 * [taylor]: Taking taylor expansion of -1 in a
2.120 * [taylor]: Taking taylor expansion of a in a
2.120 * [taylor]: Taking taylor expansion of 1 in a
2.121 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.121 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.121 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.121 * [taylor]: Taking taylor expansion of 1/9 in a
2.121 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.121 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.121 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.121 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.121 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.121 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.121 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.121 * [taylor]: Taking taylor expansion of -1 in a
2.121 * [taylor]: Taking taylor expansion of a in a
2.122 * [taylor]: Taking taylor expansion of 1 in a
2.186 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
2.187 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.187 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.187 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.187 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.187 * [taylor]: Taking taylor expansion of 1/9 in a
2.187 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.187 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.187 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.187 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.187 * [taylor]: Rewrote expression to (- (exp a) 1)
2.187 * [taylor]: Taking taylor expansion of (exp a) in a
2.187 * [taylor]: Taking taylor expansion of a in a
2.187 * [taylor]: Taking taylor expansion of 1 in a
2.190 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.190 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.190 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.190 * [taylor]: Taking taylor expansion of 1/9 in a
2.190 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.190 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.190 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.190 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.190 * [taylor]: Rewrote expression to (- (exp a) 1)
2.190 * [taylor]: Taking taylor expansion of (exp a) in a
2.190 * [taylor]: Taking taylor expansion of a in a
2.190 * [taylor]: Taking taylor expansion of 1 in a
2.204 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.204 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.204 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.204 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.204 * [taylor]: Taking taylor expansion of 1/9 in a
2.204 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.204 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.204 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.204 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.204 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.204 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.204 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.204 * [taylor]: Taking taylor expansion of a in a
2.204 * [taylor]: Taking taylor expansion of 1 in a
2.205 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.205 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.205 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.205 * [taylor]: Taking taylor expansion of 1/9 in a
2.205 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.205 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.205 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.205 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.206 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.206 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.206 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.206 * [taylor]: Taking taylor expansion of a in a
2.206 * [taylor]: Taking taylor expansion of 1 in a
2.271 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
2.271 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.271 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.271 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.271 * [taylor]: Taking taylor expansion of 1/9 in a
2.271 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.271 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.271 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.271 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.271 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.271 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.271 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.271 * [taylor]: Taking taylor expansion of -1 in a
2.271 * [taylor]: Taking taylor expansion of a in a
2.272 * [taylor]: Taking taylor expansion of 1 in a
2.272 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.273 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.273 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.273 * [taylor]: Taking taylor expansion of 1/9 in a
2.273 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.273 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.273 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.273 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.273 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.273 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.273 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.273 * [taylor]: Taking taylor expansion of -1 in a
2.273 * [taylor]: Taking taylor expansion of a in a
2.273 * [taylor]: Taking taylor expansion of 1 in a
2.337 * * * [progress]: simplifying candidates
2.338 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
2.342 * * [simplify]: iteration  0 :  91  enodes  (cost  843 )
2.344 * * [simplify]: iteration  1 :  182  enodes  (cost  714 )
2.348 * * [simplify]: iteration  2 :  466  enodes  (cost  708 )
2.357 * * [simplify]: iteration  3 :  1540  enodes  (cost  708 )
2.409 * * [simplify]: iteration  4 :  5001  enodes  (cost  708 )
2.412 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
2.412 * * * [progress]: adding candidates to table
2.652 * * [progress]: iteration 4 / 4
2.652 * * * [progress]: picking best candidate
2.781 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
2.781 * * * [progress]: localizing error
2.812 * * * [progress]: generating rewritten candidates
2.812 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.812 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
2.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2 1 1)
2.818 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
2.822 * * * [progress]: generating series expansions
2.822 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.823 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.823 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.823 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.824 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.824 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.824 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.825 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.825 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.826 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.826 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
2.826 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.826 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.826 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.826 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.826 * [taylor]: Taking taylor expansion of 1/9 in a
2.826 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.826 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.826 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.826 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.826 * [taylor]: Rewrote expression to (- (exp a) 1)
2.826 * [taylor]: Taking taylor expansion of (exp a) in a
2.826 * [taylor]: Taking taylor expansion of a in a
2.826 * [taylor]: Taking taylor expansion of 1 in a
2.830 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.830 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.830 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.830 * [taylor]: Taking taylor expansion of 1/9 in a
2.830 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.830 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.830 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.830 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.830 * [taylor]: Rewrote expression to (- (exp a) 1)
2.830 * [taylor]: Taking taylor expansion of (exp a) in a
2.830 * [taylor]: Taking taylor expansion of a in a
2.830 * [taylor]: Taking taylor expansion of 1 in a
2.843 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.843 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.843 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.843 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.843 * [taylor]: Taking taylor expansion of 1/9 in a
2.843 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.844 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.844 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.844 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.844 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.844 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.844 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.844 * [taylor]: Taking taylor expansion of a in a
2.844 * [taylor]: Taking taylor expansion of 1 in a
2.845 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.845 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.845 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.845 * [taylor]: Taking taylor expansion of 1/9 in a
2.845 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.845 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.845 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.845 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.845 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.845 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.845 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.845 * [taylor]: Taking taylor expansion of a in a
2.845 * [taylor]: Taking taylor expansion of 1 in a
2.911 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
2.911 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.911 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.911 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.911 * [taylor]: Taking taylor expansion of 1/9 in a
2.911 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.911 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.912 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.912 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.912 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.912 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.912 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.912 * [taylor]: Taking taylor expansion of -1 in a
2.912 * [taylor]: Taking taylor expansion of a in a
2.912 * [taylor]: Taking taylor expansion of 1 in a
2.913 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
2.913 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.913 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.913 * [taylor]: Taking taylor expansion of 1/9 in a
2.913 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.913 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.913 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.913 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.913 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.913 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.913 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.913 * [taylor]: Taking taylor expansion of -1 in a
2.914 * [taylor]: Taking taylor expansion of a in a
2.914 * [taylor]: Taking taylor expansion of 1 in a
2.980 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2 1 1)
2.980 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
2.980 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.980 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.980 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.980 * [taylor]: Taking taylor expansion of 1/9 in a
2.980 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.980 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.980 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.980 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.980 * [taylor]: Rewrote expression to (- (exp a) 1)
2.980 * [taylor]: Taking taylor expansion of (exp a) in a
2.980 * [taylor]: Taking taylor expansion of a in a
2.980 * [taylor]: Taking taylor expansion of 1 in a
2.983 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
2.983 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
2.983 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
2.983 * [taylor]: Taking taylor expansion of 1/9 in a
2.983 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.983 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.983 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.983 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.983 * [taylor]: Rewrote expression to (- (exp a) 1)
2.983 * [taylor]: Taking taylor expansion of (exp a) in a
2.983 * [taylor]: Taking taylor expansion of a in a
2.983 * [taylor]: Taking taylor expansion of 1 in a
2.997 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
2.997 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.997 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.997 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.997 * [taylor]: Taking taylor expansion of 1/9 in a
2.997 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.997 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.997 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.997 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.997 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.997 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.997 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.997 * [taylor]: Taking taylor expansion of a in a
2.998 * [taylor]: Taking taylor expansion of 1 in a
2.999 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
2.999 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.999 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.999 * [taylor]: Taking taylor expansion of 1/9 in a
2.999 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.999 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.999 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.999 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.999 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.999 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.999 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.999 * [taylor]: Taking taylor expansion of a in a
2.999 * [taylor]: Taking taylor expansion of 1 in a
3.065 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.065 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.065 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.065 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.065 * [taylor]: Taking taylor expansion of 1/9 in a
3.065 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.065 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.065 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.065 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.065 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.065 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.065 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.065 * [taylor]: Taking taylor expansion of -1 in a
3.065 * [taylor]: Taking taylor expansion of a in a
3.066 * [taylor]: Taking taylor expansion of 1 in a
3.067 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.067 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.067 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.067 * [taylor]: Taking taylor expansion of 1/9 in a
3.067 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.067 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.067 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.067 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.067 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.067 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.067 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.067 * [taylor]: Taking taylor expansion of -1 in a
3.067 * [taylor]: Taking taylor expansion of a in a
3.067 * [taylor]: Taking taylor expansion of 1 in a
3.129 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 2)
3.129 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.129 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.129 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.129 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.129 * [taylor]: Taking taylor expansion of 1/9 in a
3.129 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.129 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.129 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.129 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.129 * [taylor]: Rewrote expression to (- (exp a) 1)
3.130 * [taylor]: Taking taylor expansion of (exp a) in a
3.130 * [taylor]: Taking taylor expansion of a in a
3.130 * [taylor]: Taking taylor expansion of 1 in a
3.135 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.135 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.135 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.135 * [taylor]: Taking taylor expansion of 1/9 in a
3.135 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.135 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.135 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.135 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.135 * [taylor]: Rewrote expression to (- (exp a) 1)
3.135 * [taylor]: Taking taylor expansion of (exp a) in a
3.135 * [taylor]: Taking taylor expansion of a in a
3.135 * [taylor]: Taking taylor expansion of 1 in a
3.149 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.149 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.149 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.149 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.149 * [taylor]: Taking taylor expansion of 1/9 in a
3.149 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.149 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.149 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.149 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.149 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.149 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.149 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.149 * [taylor]: Taking taylor expansion of a in a
3.150 * [taylor]: Taking taylor expansion of 1 in a
3.151 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.151 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.151 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.151 * [taylor]: Taking taylor expansion of 1/9 in a
3.151 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.151 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.151 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.151 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.151 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.151 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.151 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.151 * [taylor]: Taking taylor expansion of a in a
3.151 * [taylor]: Taking taylor expansion of 1 in a
3.212 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.212 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.212 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.212 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.212 * [taylor]: Taking taylor expansion of 1/9 in a
3.212 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.212 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.212 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.212 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.212 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.212 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.212 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.212 * [taylor]: Taking taylor expansion of -1 in a
3.212 * [taylor]: Taking taylor expansion of a in a
3.213 * [taylor]: Taking taylor expansion of 1 in a
3.214 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.214 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.214 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.214 * [taylor]: Taking taylor expansion of 1/9 in a
3.214 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.214 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.214 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.214 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.214 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.214 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.214 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.214 * [taylor]: Taking taylor expansion of -1 in a
3.214 * [taylor]: Taking taylor expansion of a in a
3.214 * [taylor]: Taking taylor expansion of 1 in a
3.278 * * * [progress]: simplifying candidates
3.279 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (log1p (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp 1/3)
  (exp 1)
  (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp 1)
  (exp (log (cbrt (cbrt (sin (expm1 a))))))
  (exp (log (cbrt (cbrt (sin (expm1 a))))))
  (exp (log (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (log (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (log 1))
  (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (log (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (exp (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (* (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (cbrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (* (* (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (sqrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (sqrt (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
3.284 * * [simplify]: iteration  0 :  130  enodes  (cost  955 )
3.286 * * [simplify]: iteration  1 :  242  enodes  (cost  822 )
3.290 * * [simplify]: iteration  2 :  560  enodes  (cost  788 )
3.301 * * [simplify]: iteration  3 :  1820  enodes  (cost  780 )
3.353 * * [simplify]: iteration  4 :  5002  enodes  (cost  780 )
3.356 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp 1/3)
  E
  (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))
  (exp (sqrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))
  E
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  1
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2)
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
3.357 * * * [progress]: adding candidates to table
3.637 * [progress]: [Phase 3 of 3] Extracting.
3.637 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (log (exp (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (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 (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
3.661 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
3.662 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (log (exp (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (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 (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
3.892 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (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 (* (* (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)))))>)
3.937 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (log (exp (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (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 (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
4.177 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (log (exp (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (sqrt (cbrt (sin (expm1 a)))) (pow (sqrt (cbrt (sin (expm1 a)))) 3)) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (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 (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 2) 1/9)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow E (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 2) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a))))) (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (sin (expm1 a)) 2/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 5) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp (* (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (pow (exp 1/3) (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (pow (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) 1/3)) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
4.391 * * * [regime]: Found split indices: #<option (#s(si 20 255))>
4.391 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))))
4.392 * * [simplify]: iteration  0 :  22  enodes  (cost  114 )
4.392 * * [simplify]: iteration  1 :  22  enodes  (cost  114 )
4.393 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))))
20.850 * [regime-testing]: Baseline error score: 33.50768995796048
20.851 * [regime-testing]: Oracle error score: 31.255754648485574
20.853 * [regime-testing]: End program error score: 33.50768995796048