0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.426 * * * [progress]: [2/2] Setting up program.
0.430 * [progress]: [Phase 2 of 3] Improving.
0.430 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.432 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.432 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.432 * * [progress]: iteration 1 / 4
0.433 * * * [progress]: picking best candidate
0.435 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.436 * * * [progress]: localizing error
0.448 * * * [progress]: generating rewritten candidates
0.448 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.449 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.449 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.450 * * * [progress]: generating series expansions
0.450 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.450 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.450 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.451 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.452 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.453 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.453 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.453 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.453 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.453 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.453 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.453 * [taylor]: Rewrote expression to (- (exp a) 1)
0.453 * [taylor]: Taking taylor expansion of (exp a) in a
0.453 * [taylor]: Taking taylor expansion of a in a
0.453 * [taylor]: Taking taylor expansion of 1 in a
0.455 * [taylor]: Taking taylor expansion of 1 in a
0.455 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.455 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.456 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.456 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.456 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.456 * [taylor]: Rewrote expression to (- (exp a) 1)
0.456 * [taylor]: Taking taylor expansion of (exp a) in a
0.456 * [taylor]: Taking taylor expansion of a in a
0.456 * [taylor]: Taking taylor expansion of 1 in a
0.458 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.468 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.468 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.468 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.468 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.468 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.468 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.468 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.468 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.468 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.469 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.469 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.469 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.469 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.469 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.469 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.469 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.469 * [taylor]: Taking taylor expansion of a in a
0.470 * [taylor]: Taking taylor expansion of 1 in a
0.470 * [taylor]: Taking taylor expansion of 1 in a
0.508 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.508 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.509 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.509 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.509 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.509 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.509 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.509 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.509 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.509 * [taylor]: Taking taylor expansion of -1 in a
0.509 * [taylor]: Taking taylor expansion of a in a
0.509 * [taylor]: Taking taylor expansion of 1 in a
0.510 * [taylor]: Taking taylor expansion of 1 in a
0.510 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.510 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.510 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.510 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.510 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.510 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.510 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.510 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.510 * [taylor]: Taking taylor expansion of -1 in a
0.510 * [taylor]: Taking taylor expansion of a in a
0.510 * [taylor]: Taking taylor expansion of 1 in a
0.511 * [taylor]: Taking taylor expansion of 1 in a
0.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.543 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.543 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.543 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.544 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.544 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.544 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.544 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.545 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.545 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.545 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.545 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.545 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.545 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.545 * [taylor]: Rewrote expression to (- (exp a) 1)
0.545 * [taylor]: Taking taylor expansion of (exp a) in a
0.545 * [taylor]: Taking taylor expansion of a in a
0.545 * [taylor]: Taking taylor expansion of 1 in a
0.547 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.547 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.547 * [taylor]: Rewrote expression to (- (exp a) 1)
0.547 * [taylor]: Taking taylor expansion of (exp a) in a
0.547 * [taylor]: Taking taylor expansion of a in a
0.547 * [taylor]: Taking taylor expansion of 1 in a
0.557 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.557 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.557 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.557 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.557 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.557 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.557 * [taylor]: Taking taylor expansion of a in a
0.558 * [taylor]: Taking taylor expansion of 1 in a
0.558 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.558 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.558 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.558 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.558 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.558 * [taylor]: Taking taylor expansion of a in a
0.558 * [taylor]: Taking taylor expansion of 1 in a
0.580 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.580 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.580 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.580 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.580 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.580 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.580 * [taylor]: Taking taylor expansion of -1 in a
0.580 * [taylor]: Taking taylor expansion of a in a
0.581 * [taylor]: Taking taylor expansion of 1 in a
0.581 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.581 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.581 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.581 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.581 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.581 * [taylor]: Taking taylor expansion of -1 in a
0.581 * [taylor]: Taking taylor expansion of a in a
0.582 * [taylor]: Taking taylor expansion of 1 in a
0.608 * * * [progress]: simplifying candidates
0.608 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (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)
  (+ (* 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))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
0.612 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.614 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.618 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.635 * * [simplify]: iteration  3 :  2934  enodes  (cost  264 )
0.731 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.732 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (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)))
  (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)
  (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))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
0.733 * * * [progress]: adding candidates to table
0.899 * * [progress]: iteration 2 / 4
0.899 * * * [progress]: picking best candidate
0.943 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
0.943 * * * [progress]: localizing error
0.961 * * * [progress]: generating rewritten candidates
0.961 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.961 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
0.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
0.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2)
0.971 * * * [progress]: generating series expansions
0.971 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.971 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.972 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.972 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.973 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.973 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.973 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.974 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
0.974 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
0.974 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.974 * [taylor]: Taking taylor expansion of 1/3 in a
0.974 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.974 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.974 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.974 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.974 * [taylor]: Rewrote expression to (- (exp a) 1)
0.974 * [taylor]: Taking taylor expansion of (exp a) in a
0.974 * [taylor]: Taking taylor expansion of a in a
0.974 * [taylor]: Taking taylor expansion of 1 in a
0.978 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
0.978 * [taylor]: Taking taylor expansion of 1/3 in a
0.978 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
0.978 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
0.978 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.978 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.978 * [taylor]: Rewrote expression to (- (exp a) 1)
0.978 * [taylor]: Taking taylor expansion of (exp a) in a
0.978 * [taylor]: Taking taylor expansion of a in a
0.978 * [taylor]: Taking taylor expansion of 1 in a
0.992 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
0.992 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.992 * [taylor]: Taking taylor expansion of 1/3 in a
0.992 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.992 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) 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 a in a
0.993 * [taylor]: Taking taylor expansion of 1 in a
0.994 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
0.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
0.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
0.994 * [taylor]: Taking taylor expansion of 1/3 in a
0.994 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
0.994 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
0.994 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.994 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.994 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.994 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.994 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.994 * [taylor]: Taking taylor expansion of a in a
0.994 * [taylor]: Taking taylor expansion of 1 in a
1.059 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
1.059 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.059 * [taylor]: Taking taylor expansion of 1/3 in a
1.059 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.059 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.059 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.059 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.060 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.060 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.060 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.060 * [taylor]: Taking taylor expansion of -1 in a
1.060 * [taylor]: Taking taylor expansion of a in a
1.060 * [taylor]: Taking taylor expansion of 1 in a
1.061 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
1.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
1.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
1.061 * [taylor]: Taking taylor expansion of 1/3 in a
1.061 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
1.061 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
1.061 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.061 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.061 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.061 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.061 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.061 * [taylor]: Taking taylor expansion of -1 in a
1.061 * [taylor]: Taking taylor expansion of a in a
1.062 * [taylor]: Taking taylor expansion of 1 in a
1.129 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
1.129 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.129 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.129 * [taylor]: Taking taylor expansion of 1/3 in a
1.129 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.129 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.129 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.129 * [taylor]: Rewrote expression to (- (exp a) 1)
1.129 * [taylor]: Taking taylor expansion of (exp a) in a
1.129 * [taylor]: Taking taylor expansion of a in a
1.129 * [taylor]: Taking taylor expansion of 1 in a
1.132 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.132 * [taylor]: Taking taylor expansion of 1/3 in a
1.132 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.132 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.132 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.132 * [taylor]: Rewrote expression to (- (exp a) 1)
1.132 * [taylor]: Taking taylor expansion of (exp a) in a
1.132 * [taylor]: Taking taylor expansion of a in a
1.132 * [taylor]: Taking taylor expansion of 1 in a
1.145 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.145 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.145 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.145 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.145 * [taylor]: Taking taylor expansion of 1/3 in a
1.145 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.145 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.145 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.145 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.145 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.145 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.145 * [taylor]: Taking taylor expansion of a in a
1.145 * [taylor]: Taking taylor expansion of 1 in a
1.146 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.146 * [taylor]: Taking taylor expansion of 1/3 in a
1.146 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.146 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.146 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.146 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.146 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.146 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.146 * [taylor]: Taking taylor expansion of a in a
1.147 * [taylor]: Taking taylor expansion of 1 in a
1.207 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.207 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.207 * [taylor]: Taking taylor expansion of 1/3 in a
1.207 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.207 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.207 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.207 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.207 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.207 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.207 * [taylor]: Taking taylor expansion of -1 in a
1.207 * [taylor]: Taking taylor expansion of a in a
1.207 * [taylor]: Taking taylor expansion of 1 in a
1.208 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.208 * [taylor]: Taking taylor expansion of 1/3 in a
1.208 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.208 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.208 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.208 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.208 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.208 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.208 * [taylor]: Taking taylor expansion of -1 in a
1.208 * [taylor]: Taking taylor expansion of a in a
1.209 * [taylor]: Taking taylor expansion of 1 in a
1.269 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2)
1.269 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
1.269 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.269 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.269 * [taylor]: Taking taylor expansion of 1/3 in a
1.269 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.269 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.269 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.269 * [taylor]: Rewrote expression to (- (exp a) 1)
1.269 * [taylor]: Taking taylor expansion of (exp a) in a
1.269 * [taylor]: Taking taylor expansion of a in a
1.269 * [taylor]: Taking taylor expansion of 1 in a
1.272 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
1.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
1.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
1.272 * [taylor]: Taking taylor expansion of 1/3 in a
1.272 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
1.272 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.272 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.272 * [taylor]: Rewrote expression to (- (exp a) 1)
1.272 * [taylor]: Taking taylor expansion of (exp a) in a
1.272 * [taylor]: Taking taylor expansion of a in a
1.272 * [taylor]: Taking taylor expansion of 1 in a
1.284 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
1.284 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.284 * [taylor]: Taking taylor expansion of 1/3 in a
1.284 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.284 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.284 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.284 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.284 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.284 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.284 * [taylor]: Taking taylor expansion of a in a
1.284 * [taylor]: Taking taylor expansion of 1 in a
1.285 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
1.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
1.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
1.285 * [taylor]: Taking taylor expansion of 1/3 in a
1.285 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
1.285 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.285 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.285 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.285 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.285 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.285 * [taylor]: Taking taylor expansion of a in a
1.286 * [taylor]: Taking taylor expansion of 1 in a
1.346 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
1.346 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.346 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.346 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.346 * [taylor]: Taking taylor expansion of 1/3 in a
1.346 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.346 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.346 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.346 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.346 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.346 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.346 * [taylor]: Taking taylor expansion of -1 in a
1.346 * [taylor]: Taking taylor expansion of a in a
1.347 * [taylor]: Taking taylor expansion of 1 in a
1.348 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
1.348 * [taylor]: Taking taylor expansion of 1/3 in a
1.348 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
1.348 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.348 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.348 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.348 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.348 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.348 * [taylor]: Taking taylor expansion of -1 in a
1.348 * [taylor]: Taking taylor expansion of a in a
1.348 * [taylor]: Taking taylor expansion of 1 in a
1.403 * * * [progress]: simplifying candidates
1.404 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (+ 1 1)
  (+ (log (cbrt (sin (expm1 a)))) (log (cbrt (sin (expm1 a)))))
  (log (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (exp (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (sin (expm1 a)) (sin (expm1 a)))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (sqrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 1 1)
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (sqrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (cbrt 1))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (sqrt (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (pow a 2/3) (* 1/3 (pow (pow a 5) 1/3))) (* 1/36 (pow (pow a 8) 1/3)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
1.408 * * [simplify]: iteration  0 :  182  enodes  (cost  758 )
1.412 * * [simplify]: iteration  1 :  639  enodes  (cost  657 )
1.431 * * [simplify]: iteration  2 :  3589  enodes  (cost  621 )
1.521 * * [simplify]: iteration  3 :  5001  enodes  (cost  605 )
1.524 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (log1p (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  2/3
  2
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2/3)
  2
  (* 2/3 (log (sin (expm1 a))))
  (* 2/3 (log (sin (expm1 a))))
  (pow (exp 1) (pow (sin (expm1 a)) 2/3))
  (pow (sin (expm1 a)) 2)
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (fabs (cbrt (sin (expm1 a))))
  (fabs (cbrt (sin (expm1 a))))
  (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  1
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  1
  (pow (sin (expm1 a)) 2/3)
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (cbrt (sqrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sqrt (sin (expm1 a)))) (sqrt (cbrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  2/3
  2
  (* (cbrt (sin (expm1 a))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 5)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (cbrt (sin (expm1 a)))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sin (expm1 a))) (cbrt (sqrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (pow (sqrt (cbrt (sin (expm1 a)))) 3)
  (pow (sin (expm1 a)) 2/3)
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  1
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3))))
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
1.525 * * * [progress]: adding candidates to table
1.824 * * [progress]: iteration 3 / 4
1.824 * * * [progress]: picking best candidate
1.927 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
1.927 * * * [progress]: localizing error
1.948 * * * [progress]: generating rewritten candidates
1.948 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.948 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1)
2.005 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 2)
2.025 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
2.028 * * * [progress]: generating series expansions
2.028 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.028 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.028 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.029 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.029 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.029 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.030 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.031 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.031 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.031 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.031 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1)
2.031 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in (a) around 0
2.031 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.032 * [taylor]: Taking taylor expansion of 1/3 in a
2.032 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.032 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.032 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.032 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.032 * [taylor]: Rewrote expression to (- (exp a) 1)
2.032 * [taylor]: Taking taylor expansion of (exp a) in a
2.032 * [taylor]: Taking taylor expansion of a in a
2.032 * [taylor]: Taking taylor expansion of 1 in a
2.035 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/3) in a
2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 a)) 2)))) in a
2.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 a)) 2))) in a
2.035 * [taylor]: Taking taylor expansion of 1/3 in a
2.035 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
2.035 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
2.035 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.035 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.035 * [taylor]: Rewrote expression to (- (exp a) 1)
2.035 * [taylor]: Taking taylor expansion of (exp a) in a
2.035 * [taylor]: Taking taylor expansion of a in a
2.035 * [taylor]: Taking taylor expansion of 1 in a
2.053 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in (a) around 0
2.053 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.053 * [taylor]: Taking taylor expansion of 1/3 in a
2.053 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.053 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.053 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.053 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.053 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.053 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.053 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.053 * [taylor]: Taking taylor expansion of a in a
2.054 * [taylor]: Taking taylor expansion of 1 in a
2.055 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/3) in a
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
2.055 * [taylor]: Taking taylor expansion of 1/3 in a
2.055 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
2.055 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
2.055 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.055 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.055 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.055 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.055 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.055 * [taylor]: Taking taylor expansion of a in a
2.055 * [taylor]: Taking taylor expansion of 1 in a
2.116 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in (a) around 0
2.116 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.116 * [taylor]: Taking taylor expansion of 1/3 in a
2.116 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.116 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.116 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.116 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.116 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.116 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.116 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.116 * [taylor]: Taking taylor expansion of -1 in a
2.116 * [taylor]: Taking taylor expansion of a in a
2.116 * [taylor]: Taking taylor expansion of 1 in a
2.117 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/3) in a
2.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
2.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
2.117 * [taylor]: Taking taylor expansion of 1/3 in a
2.117 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
2.117 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
2.117 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.117 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.117 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.117 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.117 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.117 * [taylor]: Taking taylor expansion of -1 in a
2.117 * [taylor]: Taking taylor expansion of a in a
2.118 * [taylor]: Taking taylor expansion of 1 in a
2.182 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 2)
2.183 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
2.183 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.183 * [taylor]: Taking taylor expansion of 1/3 in a
2.183 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.183 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.183 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.183 * [taylor]: Rewrote expression to (- (exp a) 1)
2.183 * [taylor]: Taking taylor expansion of (exp a) in a
2.183 * [taylor]: Taking taylor expansion of a in a
2.183 * [taylor]: Taking taylor expansion of 1 in a
2.186 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.186 * [taylor]: Taking taylor expansion of 1/3 in a
2.186 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.186 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.186 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.186 * [taylor]: Rewrote expression to (- (exp a) 1)
2.186 * [taylor]: Taking taylor expansion of (exp a) in a
2.186 * [taylor]: Taking taylor expansion of a in a
2.186 * [taylor]: Taking taylor expansion of 1 in a
2.198 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
2.198 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.198 * [taylor]: Taking taylor expansion of 1/3 in a
2.198 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.199 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.199 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.199 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.199 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.199 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.199 * [taylor]: Taking taylor expansion of a in a
2.199 * [taylor]: Taking taylor expansion of 1 in a
2.200 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.200 * [taylor]: Taking taylor expansion of 1/3 in a
2.200 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.200 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.200 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.200 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.200 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.200 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.200 * [taylor]: Taking taylor expansion of a in a
2.200 * [taylor]: Taking taylor expansion of 1 in a
2.259 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
2.259 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.259 * [taylor]: Taking taylor expansion of 1/3 in a
2.259 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.259 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.259 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.259 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.259 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.259 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.259 * [taylor]: Taking taylor expansion of -1 in a
2.259 * [taylor]: Taking taylor expansion of a in a
2.260 * [taylor]: Taking taylor expansion of 1 in a
2.260 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.261 * [taylor]: Taking taylor expansion of 1/3 in a
2.261 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.261 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.261 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.261 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.261 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.261 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.261 * [taylor]: Taking taylor expansion of -1 in a
2.261 * [taylor]: Taking taylor expansion of a in a
2.261 * [taylor]: Taking taylor expansion of 1 in a
2.320 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.320 * [approximate]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in (a) around 0
2.320 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.320 * [taylor]: Taking taylor expansion of 1/3 in a
2.320 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.320 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.320 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.320 * [taylor]: Rewrote expression to (- (exp a) 1)
2.320 * [taylor]: Taking taylor expansion of (exp a) in a
2.320 * [taylor]: Taking taylor expansion of a in a
2.320 * [taylor]: Taking taylor expansion of 1 in a
2.323 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 1/3) in a
2.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 a))))) in a
2.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 a)))) in a
2.323 * [taylor]: Taking taylor expansion of 1/3 in a
2.323 * [taylor]: Taking taylor expansion of (log (sin (expm1 a))) in a
2.323 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.323 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.323 * [taylor]: Rewrote expression to (- (exp a) 1)
2.323 * [taylor]: Taking taylor expansion of (exp a) in a
2.323 * [taylor]: Taking taylor expansion of a in a
2.323 * [taylor]: Taking taylor expansion of 1 in a
2.335 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in (a) around 0
2.335 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.335 * [taylor]: Taking taylor expansion of 1/3 in a
2.335 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.335 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.335 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.336 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.336 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.336 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.336 * [taylor]: Taking taylor expansion of a in a
2.336 * [taylor]: Taking taylor expansion of 1 in a
2.337 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 1/3) in a
2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ 1 a)))))) in a
2.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ 1 a))))) in a
2.337 * [taylor]: Taking taylor expansion of 1/3 in a
2.337 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ 1 a)))) in a
2.337 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.337 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.337 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.337 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.337 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.337 * [taylor]: Taking taylor expansion of a in a
2.337 * [taylor]: Taking taylor expansion of 1 in a
2.398 * [approximate]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in (a) around 0
2.398 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.398 * [taylor]: Taking taylor expansion of 1/3 in a
2.398 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.398 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.398 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.398 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.398 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.398 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.399 * [taylor]: Taking taylor expansion of -1 in a
2.399 * [taylor]: Taking taylor expansion of a in a
2.399 * [taylor]: Taking taylor expansion of 1 in a
2.400 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 1/3) in a
2.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (expm1 (/ -1 a)))))) in a
2.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (expm1 (/ -1 a))))) in a
2.400 * [taylor]: Taking taylor expansion of 1/3 in a
2.400 * [taylor]: Taking taylor expansion of (log (sin (expm1 (/ -1 a)))) in a
2.400 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.400 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.400 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.400 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.400 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.400 * [taylor]: Taking taylor expansion of -1 in a
2.400 * [taylor]: Taking taylor expansion of a in a
2.400 * [taylor]: Taking taylor expansion of 1 in a
2.454 * * * [progress]: simplifying candidates
2.456 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (log1p (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (+ 1 (+ (+ 1/3 1/3) 1/3))
  (+ 1 (+ (* 2 1/3) 1/3))
  (* (sin (expm1 a)) (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (+ (log (cbrt (sin (expm1 a)))) (+ (+ (log (cbrt (cbrt (sin (expm1 a))))) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a)))))))
  (+ (log (cbrt (sin (expm1 a)))) (+ (log (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a)))))))
  (+ (log (cbrt (sin (expm1 a)))) (log (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (log (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (exp (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (sin (expm1 a)) (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a)))))
  (* (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)))))) (cbrt (sin (expm1 a)))))
  (* (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)))))) (* (* (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))))) (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))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (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)))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (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 (sqrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (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)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (expm1 (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (log1p (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (+ (+ 1/3 1/3) 1/3)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1/3) 1/3)
  (+ (* 2 1) 1)
  (* (* (cbrt (sin (expm1 a))) (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)))))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (cbrt (cbrt (sin (expm1 a))))) (log (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (+ (log (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))) (log (cbrt (cbrt (sin (expm1 a))))))
  (log (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (exp (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (* (* (* (* (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)))))) (cbrt (sin (expm1 a))))
  (* (cbrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (cbrt (* (* (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))))) (* (* (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (sqrt (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt 1)))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt 1))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) 1)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (pow a 2/3) (* 1/3 (pow (pow a 5) 1/3))) (* 1/36 (pow (pow a 8) 1/3)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (pow (pow (sin (- (exp a) 1)) 2) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
  (- (+ (* 1/6 (pow (pow a 4) 1/3)) (pow a 1/3)) (* 1/36 (pow (pow a 7) 1/3)))
  (pow (sin (- (exp a) 1)) 1/3)
  (pow (sin (- (exp a) 1)) 1/3)
2.467 * * [simplify]: iteration  0 :  309  enodes  (cost  1548 )
2.474 * * [simplify]: iteration  1 :  1176  enodes  (cost  1193 )
2.508 * * [simplify]: iteration  2 :  5002  enodes  (cost  940 )
2.512 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (log1p (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  2
  2
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (pow (sin (expm1 a)) 2/3)
  (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))
  (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))
  (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))
  (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))
  (pow (exp (cbrt (sin (expm1 a)))) (* 2 (* (/ (cbrt (sin (expm1 a))) 1) 1/2)))
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2)
  (pow (sin (expm1 a)) 2)
  (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (pow (sin (expm1 a)) 2)
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (sqrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (* (cbrt (sin (expm1 a))) (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (cbrt (sqrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (pow (sin (expm1 a)) 2/3)
  (pow (cbrt (cbrt (sin (expm1 a)))) 4)
  (* (sqrt (cbrt (sin (expm1 a)))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (pow (sin (expm1 a)) 2/3)
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  1
  3
  3
  3
  1
  3
  (sin (expm1 a))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  3
  3
  3
  3
  (log (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sin (expm1 a))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (sin (expm1 a)))) (sqrt (cbrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sqrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt 1)))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (sqrt (cbrt (sin (expm1 a))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt 1))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a)))))))
  (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (sqrt (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)))))
  (expm1 (cbrt (sin (expm1 a))))
  (log1p (cbrt (sin (expm1 a))))
  (log (cbrt (sin (expm1 a))))
  (exp (cbrt (sin (expm1 a))))
  (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt (sqrt (sin (expm1 a))))
  (cbrt 1)
  (cbrt (sin (expm1 a)))
  (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a)))))
  (cbrt (cbrt (sin (expm1 a))))
  (sin (expm1 a))
  (sqrt (cbrt (sin (expm1 a))))
  (sqrt (cbrt (sin (expm1 a))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 5) 1/3) 1/3 (- (pow a 2/3) (* 1/36 (pow (pow a 8) 1/3))))
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (pow (pow (sin (expm1 a)) 2) 1/3)
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
  (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3))))
  (cbrt (sin (expm1 a)))
  (cbrt (sin (expm1 a)))
2.513 * * * [progress]: adding candidates to table
2.844 * * [progress]: iteration 4 / 4
2.844 * * * [progress]: picking best candidate
2.967 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>
2.967 * * * [progress]: localizing error
2.997 * * * [progress]: generating rewritten candidates
2.997 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
2.998 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2)
3.004 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 2)
3.052 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
3.103 * * * [progress]: generating series expansions
3.103 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.104 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
3.104 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.104 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
3.105 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.105 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.105 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
3.107 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.107 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.107 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
3.108 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2)
3.108 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.108 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.108 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.108 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.108 * [taylor]: Taking taylor expansion of 1/9 in a
3.108 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.108 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.108 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.108 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.108 * [taylor]: Rewrote expression to (- (exp a) 1)
3.108 * [taylor]: Taking taylor expansion of (exp a) in a
3.108 * [taylor]: Taking taylor expansion of a in a
3.108 * [taylor]: Taking taylor expansion of 1 in a
3.111 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.111 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.111 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.111 * [taylor]: Taking taylor expansion of 1/9 in a
3.111 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.111 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.111 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.111 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.111 * [taylor]: Rewrote expression to (- (exp a) 1)
3.111 * [taylor]: Taking taylor expansion of (exp a) in a
3.111 * [taylor]: Taking taylor expansion of a in a
3.111 * [taylor]: Taking taylor expansion of 1 in a
3.126 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.126 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.126 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.126 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.126 * [taylor]: Taking taylor expansion of 1/9 in a
3.126 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.126 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.126 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.126 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.126 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.126 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.126 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.126 * [taylor]: Taking taylor expansion of a in a
3.126 * [taylor]: Taking taylor expansion of 1 in a
3.127 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.127 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.127 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.127 * [taylor]: Taking taylor expansion of 1/9 in a
3.127 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.127 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.127 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.127 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.128 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.128 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.128 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.128 * [taylor]: Taking taylor expansion of a in a
3.128 * [taylor]: Taking taylor expansion of 1 in a
3.194 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.194 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.194 * [taylor]: Taking taylor expansion of 1/9 in a
3.194 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.194 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.194 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.194 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.195 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.195 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.195 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.195 * [taylor]: Taking taylor expansion of -1 in a
3.195 * [taylor]: Taking taylor expansion of a in a
3.195 * [taylor]: Taking taylor expansion of 1 in a
3.196 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.197 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.197 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.197 * [taylor]: Taking taylor expansion of 1/9 in a
3.197 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.197 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.197 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.197 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.197 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.197 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.197 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.197 * [taylor]: Taking taylor expansion of -1 in a
3.197 * [taylor]: Taking taylor expansion of a in a
3.197 * [taylor]: Taking taylor expansion of 1 in a
3.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 2)
3.264 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.264 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.264 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.264 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.264 * [taylor]: Taking taylor expansion of 1/9 in a
3.264 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.264 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.264 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.264 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.264 * [taylor]: Rewrote expression to (- (exp a) 1)
3.264 * [taylor]: Taking taylor expansion of (exp a) in a
3.264 * [taylor]: Taking taylor expansion of a in a
3.264 * [taylor]: Taking taylor expansion of 1 in a
3.267 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.267 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.267 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.267 * [taylor]: Taking taylor expansion of 1/9 in a
3.267 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.267 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.267 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.267 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.267 * [taylor]: Rewrote expression to (- (exp a) 1)
3.267 * [taylor]: Taking taylor expansion of (exp a) in a
3.267 * [taylor]: Taking taylor expansion of a in a
3.267 * [taylor]: Taking taylor expansion of 1 in a
3.281 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.281 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.281 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.281 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.281 * [taylor]: Taking taylor expansion of 1/9 in a
3.281 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.281 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.281 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.281 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.281 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.281 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.281 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.281 * [taylor]: Taking taylor expansion of a in a
3.282 * [taylor]: Taking taylor expansion of 1 in a
3.283 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.283 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.283 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.283 * [taylor]: Taking taylor expansion of 1/9 in a
3.283 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.283 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.283 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.283 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.283 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.283 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.283 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.283 * [taylor]: Taking taylor expansion of a in a
3.283 * [taylor]: Taking taylor expansion of 1 in a
3.350 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.350 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.350 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.350 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.350 * [taylor]: Taking taylor expansion of 1/9 in a
3.350 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.350 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.350 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.350 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.350 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.350 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.350 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.350 * [taylor]: Taking taylor expansion of -1 in a
3.350 * [taylor]: Taking taylor expansion of a in a
3.351 * [taylor]: Taking taylor expansion of 1 in a
3.352 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.352 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.352 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.352 * [taylor]: Taking taylor expansion of 1/9 in a
3.352 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.352 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.352 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.352 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.352 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.352 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.352 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.352 * [taylor]: Taking taylor expansion of -1 in a
3.352 * [taylor]: Taking taylor expansion of a in a
3.352 * [taylor]: Taking taylor expansion of 1 in a
3.414 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
3.415 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in (a) around 0
3.415 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.415 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.415 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.415 * [taylor]: Taking taylor expansion of 1/9 in a
3.415 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.415 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.415 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.415 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.415 * [taylor]: Rewrote expression to (- (exp a) 1)
3.415 * [taylor]: Taking taylor expansion of (exp a) in a
3.415 * [taylor]: Taking taylor expansion of a in a
3.415 * [taylor]: Taking taylor expansion of 1 in a
3.418 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 a)) 2) 1/9) in a
3.418 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 a)) 2)))) in a
3.418 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 a)) 2))) in a
3.418 * [taylor]: Taking taylor expansion of 1/9 in a
3.418 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 a)) 2)) in a
3.418 * [taylor]: Taking taylor expansion of (pow (sin (expm1 a)) 2) in a
3.418 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
3.418 * [taylor]: Taking taylor expansion of (expm1 a) in a
3.418 * [taylor]: Rewrote expression to (- (exp a) 1)
3.418 * [taylor]: Taking taylor expansion of (exp a) in a
3.418 * [taylor]: Taking taylor expansion of a in a
3.418 * [taylor]: Taking taylor expansion of 1 in a
3.438 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in (a) around 0
3.438 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.438 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.438 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.438 * [taylor]: Taking taylor expansion of 1/9 in a
3.438 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.438 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.438 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.438 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.438 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.438 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.438 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.438 * [taylor]: Taking taylor expansion of a in a
3.438 * [taylor]: Taking taylor expansion of 1 in a
3.439 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ 1 a))) 2) 1/9) in a
3.439 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2)))) in a
3.439 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ 1 a))) 2))) in a
3.439 * [taylor]: Taking taylor expansion of 1/9 in a
3.439 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ 1 a))) 2)) in a
3.439 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ 1 a))) 2) in a
3.439 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
3.439 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
3.439 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
3.439 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.439 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.439 * [taylor]: Taking taylor expansion of a in a
3.440 * [taylor]: Taking taylor expansion of 1 in a
3.501 * [approximate]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in (a) around 0
3.501 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.501 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.501 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.501 * [taylor]: Taking taylor expansion of 1/9 in a
3.501 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.501 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.501 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.501 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.501 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.501 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.501 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.501 * [taylor]: Taking taylor expansion of -1 in a
3.501 * [taylor]: Taking taylor expansion of a in a
3.502 * [taylor]: Taking taylor expansion of 1 in a
3.503 * [taylor]: Taking taylor expansion of (pow (pow (sin (expm1 (/ -1 a))) 2) 1/9) in a
3.503 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2)))) in a
3.503 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow (sin (expm1 (/ -1 a))) 2))) in a
3.503 * [taylor]: Taking taylor expansion of 1/9 in a
3.503 * [taylor]: Taking taylor expansion of (log (pow (sin (expm1 (/ -1 a))) 2)) in a
3.503 * [taylor]: Taking taylor expansion of (pow (sin (expm1 (/ -1 a))) 2) in a
3.503 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
3.503 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
3.503 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
3.503 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.503 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.503 * [taylor]: Taking taylor expansion of -1 in a
3.503 * [taylor]: Taking taylor expansion of a in a
3.503 * [taylor]: Taking taylor expansion of 1 in a
3.570 * * * [progress]: simplifying candidates
3.571 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (* (* (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (exp (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))))
  (cbrt (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)))) (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (exp (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 (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))))
  (cbrt (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)))) (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (- (+ (* 1/9 (pow (pow a 11) 1/9)) (pow a 2/9)) (* 7/324 (pow (pow a 20) 1/9)))
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
  (pow (pow (sin (- (exp a) 1)) 2) 1/9)
3.576 * * [simplify]: iteration  0 :  114  enodes  (cost  1393 )
3.579 * * [simplify]: iteration  1 :  222  enodes  (cost  1176 )
3.583 * * [simplify]: iteration  2 :  529  enodes  (cost  928 )
3.593 * * [simplify]: iteration  3 :  1756  enodes  (cost  922 )
3.647 * * [simplify]: iteration  4 :  5001  enodes  (cost  922 )
3.651 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (log (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 6)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 6)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log1p (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (cbrt (cbrt (sin (expm1 a))))
  (cbrt (cbrt (sin (expm1 a))))
  (* (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))
  (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (pow (cbrt (cbrt (sin (expm1 a)))) 6)
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (sqrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))
  (pow (pow (sin (expm1 a)) 2) 1/9)
  (pow (pow (sin (expm1 a)) 2) 1/9)
3.651 * * * [progress]: adding candidates to table
3.978 * [progress]: [Phase 3 of 3] Extracting.
3.978 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (pow (sin (expm1 a)) 2) 1/9) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (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 (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2/3) 1) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (log1p (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (exp (log (cbrt (* (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
4.009 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
4.009 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (pow (sin (expm1 a)) 2) 1/9) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (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 (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2/3) 1) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (log1p (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (exp (log (cbrt (* (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
4.226 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
4.269 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (* 2/3 (log (sin (expm1 a))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (exp (log (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2) 1/3) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (pow (sin (expm1 a)) 1/3))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (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))))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (exp (log (cbrt (sin (expm1 a))))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (log (exp (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (pow (cbrt (cbrt (sin (expm1 a)))) 6))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (pow (pow (sin (expm1 a)) 2) 1/9) (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (* (sqrt (expm1 (sin (expm1 a)))) (sqrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (- (exp (sin (expm1 a))) 1) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (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 (fmod (atan2 (expm1 (* (pow (pow (sin (expm1 a)) 2/3) 1) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (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 (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))))) (cbrt (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (* (cbrt (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (cbrt (cbrt (sin (expm1 a))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (exp (fma 1/3 (log (sin (expm1 a))) (* 3 (log (cbrt (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) (fma (pow (pow a 4) 1/3) 1/6 (- (pow a 1/3) (* 1/36 (pow (pow a 7) 1/3)))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (log1p (expm1 (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (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)))))))) (fma (pow (pow a 11) 1/9) 1/9 (- (pow a 2/9) (* 7/324 (pow (pow a 20) 1/9))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (cbrt (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a))))))) (pow (* (cbrt (sin (expm1 a))) (* (* (cbrt (cbrt (sin (expm1 a)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))) 1/3)) (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (* (exp (log (cbrt (* (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 (sin (expm1 a)))))) (cbrt (sin (expm1 a))))) (atan a)) a)))>)
4.471 * * * [regime]: Found split indices: #<option (#s(si 28 255))>
4.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
4.472 * * [simplify]: iteration  0 :  25  enodes  (cost  59 )
4.472 * * [simplify]: iteration  1 :  25  enodes  (cost  59 )
4.473 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (* (* (* (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)))) (cbrt (cbrt (sin (expm1 a))))) (cbrt (cbrt (sin (expm1 a)))))))) (exp (log (cbrt (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))))))) (cbrt (sin (expm1 a))))) (atan a)) a))
21.253 * [regime-testing]: Baseline error score: 33.33936719714312
21.254 * [regime-testing]: Oracle error score: 31.321870192740985
21.255 * [regime-testing]: End program error score: 33.33936719714312