0.011 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.438 * * * [progress]: [2/2] Setting up program.
0.441 * [progress]: [Phase 2 of 3] Improving.
0.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.444 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.444 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.444 * * [progress]: iteration 1 / 4
0.444 * * * [progress]: picking best candidate
0.447 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.447 * * * [progress]: localizing error
0.459 * * * [progress]: generating rewritten candidates
0.459 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.459 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.460 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.460 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.461 * * * [progress]: generating series expansions
0.461 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.461 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.461 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.462 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.462 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.462 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.462 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.463 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.463 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.463 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.464 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.464 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.464 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.464 * [taylor]: Rewrote expression to (- (exp a) 1)
0.464 * [taylor]: Taking taylor expansion of (exp a) in a
0.464 * [taylor]: Taking taylor expansion of a in a
0.464 * [taylor]: Taking taylor expansion of 1 in a
0.465 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.465 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.466 * [taylor]: Rewrote expression to (- (exp a) 1)
0.466 * [taylor]: Taking taylor expansion of (exp a) in a
0.466 * [taylor]: Taking taylor expansion of a in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.480 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.480 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.480 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.480 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.480 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.480 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.480 * [taylor]: Taking taylor expansion of a in a
0.480 * [taylor]: Taking taylor expansion of 1 in a
0.481 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.481 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.481 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.481 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.481 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.481 * [taylor]: Taking taylor expansion of a in a
0.481 * [taylor]: Taking taylor expansion of 1 in a
0.503 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.503 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.503 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.503 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.503 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.503 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.503 * [taylor]: Taking taylor expansion of -1 in a
0.503 * [taylor]: Taking taylor expansion of a in a
0.503 * [taylor]: Taking taylor expansion of 1 in a
0.504 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.504 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.504 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.504 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.504 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.504 * [taylor]: Taking taylor expansion of -1 in a
0.504 * [taylor]: Taking taylor expansion of a in a
0.504 * [taylor]: Taking taylor expansion of 1 in a
0.525 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.525 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.525 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.525 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.525 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.525 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.525 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.525 * [taylor]: Rewrote expression to (- (exp a) 1)
0.525 * [taylor]: Taking taylor expansion of (exp a) in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.525 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.527 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.527 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.527 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.527 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.527 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.527 * [taylor]: Rewrote expression to (- (exp a) 1)
0.527 * [taylor]: Taking taylor expansion of (exp a) in a
0.527 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.529 * [taylor]: Taking taylor expansion of 1 in a
0.538 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.538 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.539 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.539 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.539 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.539 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.539 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.539 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.539 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.539 * [taylor]: Taking taylor expansion of a in a
0.539 * [taylor]: Taking taylor expansion of 1 in a
0.540 * [taylor]: Taking taylor expansion of 1 in a
0.540 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.540 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.540 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.540 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.540 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.540 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.540 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.540 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.540 * [taylor]: Taking taylor expansion of a in a
0.540 * [taylor]: Taking taylor expansion of 1 in a
0.541 * [taylor]: Taking taylor expansion of 1 in a
0.574 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.574 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.575 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.575 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.575 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.575 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.575 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.575 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.575 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.575 * [taylor]: Taking taylor expansion of -1 in a
0.575 * [taylor]: Taking taylor expansion of a in a
0.575 * [taylor]: Taking taylor expansion of 1 in a
0.576 * [taylor]: Taking taylor expansion of 1 in a
0.576 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.576 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.576 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.576 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.576 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.576 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.576 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.576 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.576 * [taylor]: Taking taylor expansion of -1 in a
0.576 * [taylor]: Taking taylor expansion of a in a
0.576 * [taylor]: Taking taylor expansion of 1 in a
0.577 * [taylor]: Taking taylor expansion of 1 in a
0.608 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.608 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.608 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.608 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.609 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.609 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.609 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.609 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.609 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.610 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.610 * * * [progress]: simplifying candidates
0.611 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.614 * * [simplify]: iteration  0 :  108  enodes  (cost  302 )
0.616 * * [simplify]: iteration  1 :  242  enodes  (cost  264 )
0.620 * * [simplify]: iteration  2 :  720  enodes  (cost  264 )
0.636 * * [simplify]: iteration  3 :  2933  enodes  (cost  264 )
0.728 * * [simplify]: iteration  4 :  5001  enodes  (cost  264 )
0.729 * [simplify]: Simplified to:
   (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (pow (expm1 (sin (expm1 a))) 3)
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (expm1 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log1p (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
0.730 * * * [progress]: adding candidates to table
0.889 * * [progress]: iteration 2 / 4
0.889 * * * [progress]: picking best candidate
0.934 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
0.934 * * * [progress]: localizing error
0.950 * * * [progress]: generating rewritten candidates
0.950 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.951 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
0.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.952 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.954 * * * [progress]: generating series expansions
0.954 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.955 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.955 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.956 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.956 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.956 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.956 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.957 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
0.957 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.957 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.957 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.957 * [taylor]: Rewrote expression to (- (exp a) 1)
0.957 * [taylor]: Taking taylor expansion of (exp a) in a
0.957 * [taylor]: Taking taylor expansion of a in a
0.957 * [taylor]: Taking taylor expansion of 1 in a
0.959 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.959 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.959 * [taylor]: Rewrote expression to (- (exp a) 1)
0.959 * [taylor]: Taking taylor expansion of (exp a) in a
0.959 * [taylor]: Taking taylor expansion of a in a
0.959 * [taylor]: Taking taylor expansion of 1 in a
0.969 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.969 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.969 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.969 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.969 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.969 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.969 * [taylor]: Taking taylor expansion of a in a
0.969 * [taylor]: Taking taylor expansion of 1 in a
0.970 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.970 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.970 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.970 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.970 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.970 * [taylor]: Taking taylor expansion of a in a
0.970 * [taylor]: Taking taylor expansion of 1 in a
0.990 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.990 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.991 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.991 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.991 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.991 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.991 * [taylor]: Taking taylor expansion of -1 in a
0.991 * [taylor]: Taking taylor expansion of a in a
0.991 * [taylor]: Taking taylor expansion of 1 in a
0.991 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.991 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.991 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.991 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.991 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.992 * [taylor]: Taking taylor expansion of -1 in a
0.992 * [taylor]: Taking taylor expansion of a in a
0.992 * [taylor]: Taking taylor expansion of 1 in a
1.012 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.012 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.012 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.012 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.012 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.012 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.024 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.024 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.024 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.024 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.024 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.033 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.033 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.033 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.034 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.034 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.043 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.043 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.043 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.043 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.043 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.043 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.044 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.044 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.044 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.044 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.045 * * * [progress]: simplifying candidates
1.045 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.049 * * [simplify]: iteration  0 :  108  enodes  (cost  467 )
1.051 * * [simplify]: iteration  1 :  208  enodes  (cost  407 )
1.054 * * [simplify]: iteration  2 :  487  enodes  (cost  407 )
1.063 * * [simplify]: iteration  3 :  1838  enodes  (cost  407 )
1.121 * * [simplify]: iteration  4 :  5001  enodes  (cost  407 )
1.122 * [simplify]: Simplified to:
   (expm1 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log1p (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (expm1 (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log1p (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.123 * * * [progress]: adding candidates to table
1.315 * * [progress]: iteration 3 / 4
1.315 * * * [progress]: picking best candidate
1.382 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))>
1.383 * * * [progress]: localizing error
1.403 * * * [progress]: generating rewritten candidates
1.403 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.403 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
1.404 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1.405 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.405 * * * [progress]: generating series expansions
1.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.406 * [approximate]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) in (a) around 0
1.406 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) in a
1.406 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) in a
1.406 * [approximate]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))) (/ 1 a)) in (a) around 0
1.407 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))) (/ 1 a)) in a
1.407 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))) (/ 1 a)) in a
1.408 * [approximate]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))) (/ -1 a)) in (a) around 0
1.408 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))) (/ -1 a)) in a
1.408 * [taylor]: Taking taylor expansion of (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))) (/ -1 a)) in a
1.409 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
1.409 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.409 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.409 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.409 * [taylor]: Rewrote expression to (- (exp a) 1)
1.409 * [taylor]: Taking taylor expansion of (exp a) in a
1.409 * [taylor]: Taking taylor expansion of a in a
1.409 * [taylor]: Taking taylor expansion of 1 in a
1.410 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.410 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.410 * [taylor]: Rewrote expression to (- (exp a) 1)
1.411 * [taylor]: Taking taylor expansion of (exp a) in a
1.411 * [taylor]: Taking taylor expansion of a in a
1.411 * [taylor]: Taking taylor expansion of 1 in a
1.420 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.420 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.420 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.420 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.420 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.420 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.420 * [taylor]: Taking taylor expansion of a in a
1.421 * [taylor]: Taking taylor expansion of 1 in a
1.421 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.421 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.421 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
1.421 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.421 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.421 * [taylor]: Taking taylor expansion of a in a
1.422 * [taylor]: Taking taylor expansion of 1 in a
1.445 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.445 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.445 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.445 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.445 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.445 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.445 * [taylor]: Taking taylor expansion of -1 in a
1.445 * [taylor]: Taking taylor expansion of a in a
1.445 * [taylor]: Taking taylor expansion of 1 in a
1.446 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.446 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.446 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
1.446 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.446 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.446 * [taylor]: Taking taylor expansion of -1 in a
1.446 * [taylor]: Taking taylor expansion of a in a
1.446 * [taylor]: Taking taylor expansion of 1 in a
1.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.467 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.467 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.467 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.467 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.467 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.476 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.476 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.476 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.476 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.476 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.485 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.485 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.485 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.485 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.485 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.494 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.494 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) in (a) around 0
1.494 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.494 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1)
1.494 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.494 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.494 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
1.494 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.494 * [taylor]: Taking taylor expansion of 1 in a
1.494 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.494 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.495 * [taylor]: Taking taylor expansion of 1 in a
1.495 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.495 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1)
1.495 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) in a
1.495 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.495 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
1.495 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) in a
1.495 * [taylor]: Taking taylor expansion of 1 in a
1.495 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.495 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.496 * [taylor]: Taking taylor expansion of 1 in a
1.540 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in (a) around 0
1.540 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.540 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) 1)
1.540 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.540 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.541 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))
1.541 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.541 * [taylor]: Taking taylor expansion of 1 in a
1.541 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.541 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.541 * [taylor]: Taking taylor expansion of 1 in a
1.541 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.541 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) 1)
1.541 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) in a
1.541 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.541 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))
1.541 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) in a
1.541 * [taylor]: Taking taylor expansion of 1 in a
1.541 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.541 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.542 * [taylor]: Taking taylor expansion of 1 in a
1.584 * [approximate]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in (a) around 0
1.584 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.584 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) 1)
1.584 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.584 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.584 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))
1.584 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.584 * [taylor]: Taking taylor expansion of 1 in a
1.584 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.584 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.585 * [taylor]: Taking taylor expansion of 1 in a
1.585 * [taylor]: Taking taylor expansion of (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.585 * [taylor]: Rewrote expression to (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) 1)
1.585 * [taylor]: Taking taylor expansion of (exp (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) in a
1.585 * [taylor]: Taking taylor expansion of (log1p (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.585 * [taylor]: Rewrote expression to (log (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))
1.585 * [taylor]: Taking taylor expansion of (+ 1 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) in a
1.585 * [taylor]: Taking taylor expansion of 1 in a
1.585 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.585 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.586 * [taylor]: Taking taylor expansion of 1 in a
1.631 * * * [progress]: simplifying candidates
1.631 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log1p (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (exp (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (* (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))
  (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (* (* (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (sqrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (sqrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (expm1 (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log1p (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (exp (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (* (cbrt (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (cbrt (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))
  (cbrt (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (* (* (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (sqrt (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (sqrt (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.635 * * [simplify]: iteration  0 :  101  enodes  (cost  443 )
1.637 * * [simplify]: iteration  1 :  189  enodes  (cost  392 )
1.639 * * [simplify]: iteration  2 :  440  enodes  (cost  392 )
1.648 * * [simplify]: iteration  3 :  1635  enodes  (cost  392 )
1.700 * * [simplify]: iteration  4 :  5001  enodes  (cost  392 )
1.702 * [simplify]: Simplified to:
   (expm1 (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log1p (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (log (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (exp (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (* (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))
  (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (pow (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a) 3)
  (sqrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (sqrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (expm1 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.702 * * * [progress]: adding candidates to table
1.902 * * [progress]: iteration 4 / 4
1.902 * * * [progress]: picking best candidate
1.982 * * * * [pick]: Picked  #<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)))>
1.983 * * * [progress]: localizing error
1.999 * * * [progress]: generating rewritten candidates
1.999 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.999 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1)
2.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1)
2.001 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
2.002 * * * [progress]: generating series expansions
2.002 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
2.003 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.003 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.003 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.004 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.004 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.004 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.005 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.005 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.005 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.005 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1)
2.005 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
2.005 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.005 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.005 * [taylor]: Rewrote expression to (- (exp a) 1)
2.005 * [taylor]: Taking taylor expansion of (exp a) in a
2.005 * [taylor]: Taking taylor expansion of a in a
2.006 * [taylor]: Taking taylor expansion of 1 in a
2.007 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.007 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.007 * [taylor]: Rewrote expression to (- (exp a) 1)
2.007 * [taylor]: Taking taylor expansion of (exp a) in a
2.007 * [taylor]: Taking taylor expansion of a in a
2.007 * [taylor]: Taking taylor expansion of 1 in a
2.021 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
2.021 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.021 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.021 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.021 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.021 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.021 * [taylor]: Taking taylor expansion of a in a
2.021 * [taylor]: Taking taylor expansion of 1 in a
2.022 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.022 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.022 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.022 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.022 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.022 * [taylor]: Taking taylor expansion of a in a
2.022 * [taylor]: Taking taylor expansion of 1 in a
2.043 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
2.043 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.043 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.043 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.043 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.043 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.043 * [taylor]: Taking taylor expansion of -1 in a
2.043 * [taylor]: Taking taylor expansion of a in a
2.043 * [taylor]: Taking taylor expansion of 1 in a
2.044 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.044 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.044 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.044 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.044 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.044 * [taylor]: Taking taylor expansion of -1 in a
2.044 * [taylor]: Taking taylor expansion of a in a
2.044 * [taylor]: Taking taylor expansion of 1 in a
2.065 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1)
2.065 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
2.065 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.065 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.065 * [taylor]: Rewrote expression to (- (exp a) 1)
2.065 * [taylor]: Taking taylor expansion of (exp a) in a
2.065 * [taylor]: Taking taylor expansion of a in a
2.065 * [taylor]: Taking taylor expansion of 1 in a
2.067 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.067 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.067 * [taylor]: Rewrote expression to (- (exp a) 1)
2.067 * [taylor]: Taking taylor expansion of (exp a) in a
2.067 * [taylor]: Taking taylor expansion of a in a
2.067 * [taylor]: Taking taylor expansion of 1 in a
2.077 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
2.077 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.077 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.077 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.077 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.077 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.077 * [taylor]: Taking taylor expansion of a in a
2.077 * [taylor]: Taking taylor expansion of 1 in a
2.078 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.078 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.078 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.078 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.078 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.078 * [taylor]: Taking taylor expansion of a in a
2.078 * [taylor]: Taking taylor expansion of 1 in a
2.104 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
2.104 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.104 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.104 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.104 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.104 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.104 * [taylor]: Taking taylor expansion of -1 in a
2.104 * [taylor]: Taking taylor expansion of a in a
2.104 * [taylor]: Taking taylor expansion of 1 in a
2.105 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.105 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.105 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.105 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.105 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.105 * [taylor]: Taking taylor expansion of -1 in a
2.105 * [taylor]: Taking taylor expansion of a in a
2.105 * [taylor]: Taking taylor expansion of 1 in a
2.126 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
2.126 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
2.126 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.126 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.126 * [taylor]: Rewrote expression to (- (exp a) 1)
2.126 * [taylor]: Taking taylor expansion of (exp a) in a
2.126 * [taylor]: Taking taylor expansion of a in a
2.126 * [taylor]: Taking taylor expansion of 1 in a
2.128 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
2.128 * [taylor]: Taking taylor expansion of (expm1 a) in a
2.128 * [taylor]: Rewrote expression to (- (exp a) 1)
2.128 * [taylor]: Taking taylor expansion of (exp a) in a
2.128 * [taylor]: Taking taylor expansion of a in a
2.128 * [taylor]: Taking taylor expansion of 1 in a
2.137 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
2.137 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.137 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.138 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.138 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.138 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.138 * [taylor]: Taking taylor expansion of a in a
2.138 * [taylor]: Taking taylor expansion of 1 in a
2.138 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
2.138 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
2.138 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
2.138 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.138 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.138 * [taylor]: Taking taylor expansion of a in a
2.139 * [taylor]: Taking taylor expansion of 1 in a
2.159 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
2.159 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.159 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.160 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.160 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.160 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.160 * [taylor]: Taking taylor expansion of -1 in a
2.160 * [taylor]: Taking taylor expansion of a in a
2.160 * [taylor]: Taking taylor expansion of 1 in a
2.160 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
2.160 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
2.160 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
2.160 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.160 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.160 * [taylor]: Taking taylor expansion of -1 in a
2.160 * [taylor]: Taking taylor expansion of a in a
2.161 * [taylor]: Taking taylor expansion of 1 in a
2.186 * * * [progress]: simplifying candidates
2.187 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (* (* (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) (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)) (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))
  (sqrt (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))
  (sqrt (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))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (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)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
2.191 * * [simplify]: iteration  0 :  72  enodes  (cost  444 )
2.192 * * [simplify]: iteration  1 :  144  enodes  (cost  383 )
2.195 * * [simplify]: iteration  2 :  368  enodes  (cost  383 )
2.203 * * [simplify]: iteration  3 :  1409  enodes  (cost  368 )
2.250 * * [simplify]: iteration  4 :  5001  enodes  (cost  368 )
2.251 * [simplify]: Simplified to:
   (expm1 (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))
  (log1p (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))
  (log (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))
  (exp (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))
  (* (cbrt (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)) (cbrt (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)))
  (cbrt (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))
  (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3)
  (sqrt (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))
  (sqrt (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))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (pow (sin (expm1 a)) 3)
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (expm1 (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 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
2.252 * * * [progress]: adding candidates to table
2.484 * [progress]: [Phase 3 of 3] Extracting.
2.484 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1)) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))> #<alt (λ (a) (fabs (expm1 (log1p (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (log (exp (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 (log (exp (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (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)) (sqrt (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)))))>)
2.493 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.493 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1)) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))> #<alt (λ (a) (fabs (expm1 (log1p (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (log (exp (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 (log (exp (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (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)) (sqrt (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)))))>)
2.646 * * * * [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 (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.680 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (* (cbrt (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)) (cbrt (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))) (cbrt (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 (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))) (cbrt (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (* (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a))))) (cbrt (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (- (exp (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 1)) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))) a)))> #<alt (λ (a) (fabs (expm1 (log1p (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (expm1 (log1p (exp (atan2 (expm1 (log (exp (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 (log (exp (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (expm1 (log1p (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (sqrt (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)) (sqrt (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)))))>)
2.816 * * * [regime]: Found split indices: #<option (#s(si 22 255))>
2.816 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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))
2.817 * * [simplify]: iteration  0 :  12  enodes  (cost  22 )
2.817 * * [simplify]: iteration  1 :  12  enodes  (cost  22 )
2.817 * [simplify]: Simplified to:
   (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))
18.856 * [regime-testing]: Baseline error score: 33.77094949880958
18.857 * [regime-testing]: Oracle error score: 31.937067934097424
18.858 * [regime-testing]: End program error score: 33.77094949880958