0.008 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.413 * * * [progress]: [2/2] Setting up program.
0.417 * [progress]: [Phase 2 of 3] Improving.
0.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.419 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.420 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.420 * * [progress]: iteration 1 / 4
0.420 * * * [progress]: picking best candidate
0.423 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.423 * * * [progress]: localizing error
0.435 * * * [progress]: generating rewritten candidates
0.435 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.436 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.438 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.439 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.440 * * * [progress]: generating series expansions
0.440 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.442 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.443 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.444 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.446 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.446 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.447 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.448 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.448 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.448 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.448 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.448 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.448 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.448 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.449 * [taylor]: Rewrote expression to (- (exp a) 1)
0.449 * [taylor]: Taking taylor expansion of (exp a) in a
0.449 * [taylor]: Taking taylor expansion of a in a
0.449 * [taylor]: Taking taylor expansion of 1 in a
0.451 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.452 * [taylor]: Rewrote expression to (- (exp a) 1)
0.452 * [taylor]: Taking taylor expansion of (exp a) in a
0.452 * [taylor]: Taking taylor expansion of a in a
0.452 * [taylor]: Taking taylor expansion of 1 in a
0.463 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.463 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.463 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.463 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.463 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.463 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.463 * [taylor]: Taking taylor expansion of a in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.464 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.464 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.464 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.464 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.464 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.464 * [taylor]: Taking taylor expansion of a in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.486 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.486 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.486 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.486 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.486 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.486 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.486 * [taylor]: Taking taylor expansion of -1 in a
0.486 * [taylor]: Taking taylor expansion of a in a
0.487 * [taylor]: Taking taylor expansion of 1 in a
0.487 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.487 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.487 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.487 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.487 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.487 * [taylor]: Taking taylor expansion of -1 in a
0.487 * [taylor]: Taking taylor expansion of a in a
0.488 * [taylor]: Taking taylor expansion of 1 in a
0.512 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.512 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.513 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.513 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.513 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.513 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.513 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.513 * [taylor]: Rewrote expression to (- (exp a) 1)
0.513 * [taylor]: Taking taylor expansion of (exp a) in a
0.513 * [taylor]: Taking taylor expansion of a in a
0.513 * [taylor]: Taking taylor expansion of 1 in a
0.515 * [taylor]: Taking taylor expansion of 1 in a
0.515 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.515 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.515 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.515 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.515 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.515 * [taylor]: Rewrote expression to (- (exp a) 1)
0.515 * [taylor]: Taking taylor expansion of (exp a) in a
0.515 * [taylor]: Taking taylor expansion of a in a
0.515 * [taylor]: Taking taylor expansion of 1 in a
0.517 * [taylor]: Taking taylor expansion of 1 in a
0.526 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.526 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.526 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.526 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.526 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.526 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.526 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.527 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.527 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.527 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.527 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.559 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.559 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.559 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.559 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.559 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.559 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.559 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.559 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.559 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.559 * [taylor]: Taking taylor expansion of -1 in a
0.559 * [taylor]: Taking taylor expansion of a in a
0.559 * [taylor]: Taking taylor expansion of 1 in a
0.560 * [taylor]: Taking taylor expansion of 1 in a
0.560 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.560 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.560 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.560 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.560 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.560 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.560 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.560 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.560 * [taylor]: Taking taylor expansion of -1 in a
0.560 * [taylor]: Taking taylor expansion of a in a
0.561 * [taylor]: Taking taylor expansion of 1 in a
0.561 * [taylor]: Taking taylor expansion of 1 in a
0.595 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.595 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.595 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.595 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.595 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.595 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.596 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.596 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.596 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.596 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.597 * * * [progress]: simplifying candidates
0.597 * [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.601 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.603 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.607 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.623 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.719 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.721 * [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.721 * * * [progress]: adding candidates to table
0.886 * * [progress]: iteration 2 / 4
0.886 * * * [progress]: picking best candidate
0.931 * * * * [pick]: Picked  #<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)))))>
0.931 * * * [progress]: localizing error
0.947 * * * [progress]: generating rewritten candidates
0.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
0.947 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
0.947 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
0.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
0.949 * * * [progress]: generating series expansions
0.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
0.949 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.949 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.949 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.950 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.950 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.950 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.950 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.951 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.951 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
0.951 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.951 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.951 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.952 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.952 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.952 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.953 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.953 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.953 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.953 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
0.953 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.953 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.954 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.954 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.954 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.954 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.955 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.955 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
0.955 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.955 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.956 * [taylor]: Rewrote expression to (- (exp a) 1)
0.956 * [taylor]: Taking taylor expansion of (exp a) in a
0.956 * [taylor]: Taking taylor expansion of a in a
0.956 * [taylor]: Taking taylor expansion of 1 in a
0.957 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.957 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.957 * [taylor]: Rewrote expression to (- (exp a) 1)
0.957 * [taylor]: Taking taylor expansion of (exp a) in a
0.957 * [taylor]: Taking taylor expansion of a in a
0.957 * [taylor]: Taking taylor expansion of 1 in a
0.967 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.967 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.967 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.967 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.967 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.967 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.967 * [taylor]: Taking taylor expansion of a in a
0.968 * [taylor]: Taking taylor expansion of 1 in a
0.968 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.968 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.968 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.968 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.968 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.968 * [taylor]: Taking taylor expansion of a in a
0.968 * [taylor]: Taking taylor expansion of 1 in a
0.992 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.992 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.992 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.992 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.992 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.992 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.992 * [taylor]: Taking taylor expansion of -1 in a
0.992 * [taylor]: Taking taylor expansion of a in a
0.992 * [taylor]: Taking taylor expansion of 1 in a
0.992 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.993 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.993 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.993 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.993 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.993 * [taylor]: Taking taylor expansion of -1 in a
0.993 * [taylor]: Taking taylor expansion of a in a
0.993 * [taylor]: Taking taylor expansion of 1 in a
1.013 * * * [progress]: simplifying candidates
1.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (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 (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 (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)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
1.017 * * [simplify]: iteration  0 :  67  enodes  (cost  360 )
1.019 * * [simplify]: iteration  1 :  138  enodes  (cost  315 )
1.021 * * [simplify]: iteration  2 :  360  enodes  (cost  315 )
1.029 * * [simplify]: iteration  3 :  1390  enodes  (cost  315 )
1.076 * * [simplify]: iteration  4 :  5001  enodes  (cost  315 )
1.078 * [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 (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 (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)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
1.078 * * * [progress]: adding candidates to table
1.277 * * [progress]: iteration 3 / 4
1.278 * * * [progress]: picking best candidate
1.355 * * * * [pick]: Picked  #<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 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>
1.355 * * * [progress]: localizing error
1.383 * * * [progress]: generating rewritten candidates
1.383 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
1.383 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.384 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
1.384 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
1.392 * * * [progress]: generating series expansions
1.392 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
1.393 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.393 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.393 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.393 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.393 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.393 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.394 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.394 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.394 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.395 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.395 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.395 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.395 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.396 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.396 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.396 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.397 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
1.397 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.397 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.397 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.398 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.398 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.398 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.399 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.399 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.399 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.399 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1)
1.399 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
1.399 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.399 * [taylor]: Taking taylor expansion of 1/3 in a
1.399 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.399 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.400 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.400 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.400 * [taylor]: Rewrote expression to (- (exp a) 1)
1.400 * [taylor]: Taking taylor expansion of (exp a) in a
1.400 * [taylor]: Taking taylor expansion of a in a
1.400 * [taylor]: Taking taylor expansion of 1 in a
1.403 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
1.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
1.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
1.403 * [taylor]: Taking taylor expansion of 1/3 in a
1.403 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
1.403 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
1.403 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.403 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.403 * [taylor]: Rewrote expression to (- (exp a) 1)
1.403 * [taylor]: Taking taylor expansion of (exp a) in a
1.403 * [taylor]: Taking taylor expansion of a in a
1.403 * [taylor]: Taking taylor expansion of 1 in a
1.420 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
1.420 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.420 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.420 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.420 * [taylor]: Taking taylor expansion of 1/3 in a
1.420 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.420 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.420 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.420 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.420 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.420 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.420 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.420 * [taylor]: Taking taylor expansion of a in a
1.420 * [taylor]: Taking taylor expansion of 1 in a
1.421 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
1.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
1.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
1.422 * [taylor]: Taking taylor expansion of 1/3 in a
1.422 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
1.422 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
1.422 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.422 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.422 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.422 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.422 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.422 * [taylor]: Taking taylor expansion of a in a
1.422 * [taylor]: Taking taylor expansion of 1 in a
1.481 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
1.481 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.481 * [taylor]: Taking taylor expansion of 1/3 in a
1.481 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.481 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.481 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.481 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.481 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.481 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.481 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.481 * [taylor]: Taking taylor expansion of -1 in a
1.481 * [taylor]: Taking taylor expansion of a in a
1.481 * [taylor]: Taking taylor expansion of 1 in a
1.482 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.482 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.482 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.482 * [taylor]: Taking taylor expansion of 1/3 in a
1.482 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.482 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.482 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.482 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.483 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.483 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.483 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.483 * [taylor]: Taking taylor expansion of -1 in a
1.483 * [taylor]: Taking taylor expansion of a in a
1.483 * [taylor]: Taking taylor expansion of 1 in a
1.544 * * * [progress]: simplifying candidates
1.545 * [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 (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 (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))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (pow 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.549 * * [simplify]: iteration  0 :  151  enodes  (cost  788 )
1.552 * * [simplify]: iteration  1 :  447  enodes  (cost  697 )
1.564 * * [simplify]: iteration  2 :  1900  enodes  (cost  571 )
1.608 * * [simplify]: iteration  3 :  5001  enodes  (cost  561 )
1.611 * [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 (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 (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 (* (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 (pow (sin (expm1 a)) 2) 1/3)
  2
  (* 2 (log (cbrt (sin (expm1 a)))))
  (* 2 (log (cbrt (sin (expm1 a)))))
  (pow (exp 1) (pow (sqrt (cbrt (sin (expm1 a)))) 4))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (pow (sin (expm1 a)) 2) 1/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 (pow (sin (expm1 a)) 2) 1/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 (pow (sin (expm1 a)) 2) 1/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
1.611 * * * [progress]: adding candidates to table
1.975 * * [progress]: iteration 4 / 4
1.976 * * * [progress]: picking best candidate
2.121 * * * * [pick]: Picked  #<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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))))>
2.122 * * * [progress]: localizing error
2.155 * * * [progress]: generating rewritten candidates
2.155 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1)
2.155 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
2.155 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
2.156 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1 1 2)
2.160 * * * [progress]: generating series expansions
2.160 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1)
2.160 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.160 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.160 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.160 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.160 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.161 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.161 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.161 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.161 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.162 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
2.162 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.162 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.162 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.163 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.163 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.163 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.163 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.163 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.164 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.164 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
2.165 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.165 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.165 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.165 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.165 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.166 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.166 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.167 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.167 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.167 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1 1 2)
2.167 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in (a) around 0
2.167 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
2.167 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
2.167 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
2.167 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
2.167 * [taylor]: Taking taylor expansion of 1/9 in a
2.167 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.167 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.167 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.167 * [taylor]: Rewrote expression to (- (exp a) 1)
2.168 * [taylor]: Taking taylor expansion of (exp a) in a
2.168 * [taylor]: Taking taylor expansion of a in a
2.168 * [taylor]: Taking taylor expansion of 1 in a
2.170 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 1/9) 4) in a
2.170 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/9) in a
2.170 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 a))))) in a
2.170 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 a)))) in a
2.170 * [taylor]: Taking taylor expansion of 1/9 in a
2.170 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.170 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.170 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.170 * [taylor]: Rewrote expression to (- (exp a) 1)
2.170 * [taylor]: Taking taylor expansion of (exp a) in a
2.170 * [taylor]: Taking taylor expansion of a in a
2.170 * [taylor]: Taking taylor expansion of 1 in a
2.185 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in (a) around 0
2.185 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
2.185 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
2.185 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
2.185 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
2.185 * [taylor]: Taking taylor expansion of 1/9 in a
2.185 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.185 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.185 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.185 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.185 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.185 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.185 * [taylor]: Taking taylor expansion of a in a
2.185 * [taylor]: Taking taylor expansion of 1 in a
2.186 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 1/9) 4) in a
2.186 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/9) in a
2.186 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ 1 a)))))) in a
2.186 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ 1 a))))) in a
2.186 * [taylor]: Taking taylor expansion of 1/9 in a
2.186 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.186 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.186 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.186 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.186 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.186 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.186 * [taylor]: Taking taylor expansion of a in a
2.187 * [taylor]: Taking taylor expansion of 1 in a
2.253 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in (a) around 0
2.253 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
2.253 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
2.253 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
2.253 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
2.253 * [taylor]: Taking taylor expansion of 1/9 in a
2.253 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.253 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.253 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.253 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.253 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.253 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.253 * [taylor]: Taking taylor expansion of -1 in a
2.253 * [taylor]: Taking taylor expansion of a in a
2.253 * [taylor]: Taking taylor expansion of 1 in a
2.254 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 1/9) 4) in a
2.254 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/9) in a
2.254 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (sin (expm1 (/ -1 a)))))) in a
2.254 * [taylor]: Taking taylor expansion of (* 1/9 (log (sin (expm1 (/ -1 a))))) in a
2.254 * [taylor]: Taking taylor expansion of 1/9 in a
2.254 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.254 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.254 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.254 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.254 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.254 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.254 * [taylor]: Taking taylor expansion of -1 in a
2.254 * [taylor]: Taking taylor expansion of a in a
2.255 * [taylor]: Taking taylor expansion of 1 in a
2.321 * * * [progress]: simplifying candidates
2.322 * [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 (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 (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log1p (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (log (cbrt (cbrt (sin (expm1 a))))) 4)
  (* (log (cbrt (cbrt (sin (expm1 a))))) 4)
  (* 1/3 4)
  (* 1 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt (sin (expm1 a)))) (sqrt 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) 1)
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt 1)) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt 1) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (sqrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (sqrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow 1 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (* (pow (cbrt (cbrt (sin (expm1 a)))) 4) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) (/ 4 2))
  (pow (cbrt (cbrt (sin (expm1 a)))) (/ 4 2))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (pow (pow a 4) 1/9) (* 2/9 (pow (pow a 13) 1/9))) (* 5/162 (pow (pow a 22) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 4) 1/9)
  (pow (pow (sin (- (exp a) 1)) 4) 1/9)
2.326 * * [simplify]: iteration  0 :  180  enodes  (cost  743 )
2.329 * * [simplify]: iteration  1 :  492  enodes  (cost  656 )
2.339 * * [simplify]: iteration  2 :  1705  enodes  (cost  648 )
2.386 * * [simplify]: iteration  3 :  5001  enodes  (cost  648 )
2.389 * [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 (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 (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log1p (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  4/3
  4
  (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (cbrt (cbrt (sin (expm1 a))))
  (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sqrt (sin (expm1 a))))) 4)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8)
  (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  1
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (log (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (* (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))
  (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3)
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4))
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (pow (cbrt (cbrt (sin (expm1 a)))) 2)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 13) 1/9) 2/9 (- (pow (pow a 4) 1/9) (* 5/162 (pow (pow a 22) 1/9))))
  (pow (pow (sin (expm1 a)) 4) 1/9)
  (pow (pow (sin (expm1 a)) 4) 1/9)
2.390 * * * [progress]: adding candidates to table
2.767 * [progress]: [Phase 3 of 3] Extracting.
2.767 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (exp (log (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (sin (expm1 a))) 4/3)) (cbrt (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 (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (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 (* (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 4) 1/9)) (cbrt (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (* (* 1 (pow (pow (sin (expm1 a)) 2) 1/3)) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3))) (cbrt (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 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4) (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
2.798 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.798 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (exp (log (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (sin (expm1 a))) 4/3)) (cbrt (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 (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (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 (* (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 4) 1/9)) (cbrt (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (* (* 1 (pow (pow (sin (expm1 a)) 2) 1/3)) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3))) (cbrt (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 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4) (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
3.032 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
3.071 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (log (exp (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (log (exp (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (exp (log (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (exp (log (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (sin (expm1 a))) 4/3)) (cbrt (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 (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (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 (* (* (* (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) 4) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (cbrt (cbrt (sin (expm1 a)))) (* (cbrt 4) (cbrt 4))) (cbrt 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (pow (sin (expm1 a)) 4) 1/9)) (cbrt (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 (* (sqrt (sin (expm1 a))) (sqrt (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 (* (exp (* 2 (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (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 (* (* 1 (pow (pow (sin (expm1 a)) 2) 1/3)) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (pow (pow (cbrt (cbrt (sin (expm1 a)))) 4) 3))) (cbrt (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 (* (* (pow (sqrt (cbrt (sin (expm1 a)))) 3) (sqrt (cbrt (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (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 (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (log (exp (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (sqrt (pow (cbrt (cbrt (sin (expm1 a)))) 4)))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 8) (pow (cbrt (cbrt (cbrt (sin (expm1 a))))) 4))) (cbrt (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 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4) (pow (cbrt (sqrt (cbrt (sin (expm1 a))))) 4))) (cbrt (sin (expm1 a))))) (atan a)) a)))))>)
3.287 * * * [regime]: Found split indices: #<option (#s(si 24 255))>
3.287 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))))
3.288 * * [simplify]: iteration  0 :  30  enodes  (cost  58 )
3.288 * * [simplify]: iteration  1 :  30  enodes  (cost  58 )
3.288 * [simplify]: Simplified to:
   (fabs (* (* (cbrt (* (* (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)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (pow (cbrt (cbrt (sin (expm1 a)))) 4)) (cbrt (sin (expm1 a))))) (atan a)) a))))
19.968 * [regime-testing]: Baseline error score: 33.39172102502324
19.969 * [regime-testing]: Oracle error score: 31.571853151291396
19.970 * [regime-testing]: End program error score: 33.39172102502324