0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.439 * * * [progress]: [2/2] Setting up program.
0.443 * [progress]: [Phase 2 of 3] Improving.
0.443 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.445 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
0.445 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.446 * * [progress]: iteration 1 / 4
0.446 * * * [progress]: picking best candidate
0.449 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.449 * * * [progress]: localizing error
0.461 * * * [progress]: generating rewritten candidates
0.461 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.461 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.462 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.463 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1)
0.465 * * * [progress]: generating series expansions
0.465 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.465 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.465 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.465 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.466 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.466 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.466 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.467 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.467 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.467 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.468 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.468 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.468 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.468 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.468 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.468 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.468 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.469 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.469 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.469 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.470 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.470 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.470 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.470 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.470 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.470 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.470 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.470 * [taylor]: Rewrote expression to (- (exp a) 1)
0.470 * [taylor]: Taking taylor expansion of (exp a) in a
0.470 * [taylor]: Taking taylor expansion of a in a
0.470 * [taylor]: Taking taylor expansion of 1 in a
0.473 * [taylor]: Taking taylor expansion of 1 in a
0.473 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.473 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
0.473 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
0.473 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.473 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.473 * [taylor]: Rewrote expression to (- (exp a) 1)
0.473 * [taylor]: Taking taylor expansion of (exp a) in a
0.473 * [taylor]: Taking taylor expansion of a in a
0.473 * [taylor]: Taking taylor expansion of 1 in a
0.475 * [taylor]: Taking taylor expansion of 1 in a
0.485 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.485 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.485 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.485 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.485 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.485 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.485 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.485 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.485 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.485 * [taylor]: Taking taylor expansion of a in a
0.486 * [taylor]: Taking taylor expansion of 1 in a
0.487 * [taylor]: Taking taylor expansion of 1 in a
0.487 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.487 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
0.487 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
0.487 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.487 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.487 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.487 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.487 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.487 * [taylor]: Taking taylor expansion of a in a
0.487 * [taylor]: Taking taylor expansion of 1 in a
0.488 * [taylor]: Taking taylor expansion of 1 in a
0.526 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.526 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.526 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.526 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.526 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.526 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.526 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.526 * [taylor]: Taking taylor expansion of -1 in a
0.526 * [taylor]: Taking taylor expansion of a in a
0.527 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.528 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
0.528 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
0.528 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.528 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.528 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.528 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.528 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.528 * [taylor]: Taking taylor expansion of -1 in a
0.528 * [taylor]: Taking taylor expansion of a in a
0.528 * [taylor]: Taking taylor expansion of 1 in a
0.529 * [taylor]: Taking taylor expansion of 1 in a
0.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1)
0.562 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.562 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.562 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.562 * [taylor]: Rewrote expression to (- (exp a) 1)
0.562 * [taylor]: Taking taylor expansion of (exp a) in a
0.562 * [taylor]: Taking taylor expansion of a in a
0.562 * [taylor]: Taking taylor expansion of 1 in a
0.564 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.564 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.564 * [taylor]: Rewrote expression to (- (exp a) 1)
0.564 * [taylor]: Taking taylor expansion of (exp a) in a
0.564 * [taylor]: Taking taylor expansion of a in a
0.564 * [taylor]: Taking taylor expansion of 1 in a
0.574 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.574 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.574 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.574 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
0.574 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.574 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.574 * [taylor]: Taking taylor expansion of a in a
0.575 * [taylor]: Taking taylor expansion of 1 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 a in a
0.575 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.600 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.600 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.600 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.600 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.600 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.600 * [taylor]: Taking taylor expansion of -1 in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.601 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.601 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.601 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
0.601 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
0.601 * [taylor]: Taking taylor expansion of (/ -1 a) in a
0.601 * [taylor]: Taking taylor expansion of -1 in a
0.601 * [taylor]: Taking taylor expansion of a in a
0.601 * [taylor]: Taking taylor expansion of 1 in a
0.623 * * * [progress]: simplifying candidates
0.623 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
0.626 * * [simplify]: iteration  0 :  69  enodes  (cost  64 )
0.627 * * [simplify]: iteration  1 :  167  enodes  (cost  62 )
0.631 * * [simplify]: iteration  2 :  528  enodes  (cost  62 )
0.644 * * [simplify]: iteration  3 :  2131  enodes  (cost  62 )
0.714 * * [simplify]: iteration  4 :  5001  enodes  (cost  62 )
0.715 * [simplify]: Simplified to:
   (exp (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (fma (pow a 3) 2/3 (fma a a a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (pow a 2) 1/2 (- a (* 5/24 (pow a 4))))
  (sin (expm1 a))
  (sin (expm1 a))
0.715 * * * [progress]: adding candidates to table
0.732 * * [progress]: iteration 2 / 4
0.732 * * * [progress]: picking best candidate
0.737 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))>
0.737 * * * [progress]: localizing error
0.756 * * * [progress]: generating rewritten candidates
0.756 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.756 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.765 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
0.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
0.776 * * * [progress]: generating series expansions
0.777 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.778 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a) in (a) around 0
0.778 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a) in a
0.778 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a) in a
0.781 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.781 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in a
0.782 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in a
0.786 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.786 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in a
0.786 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in a
0.789 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.790 * [approximate]: Taking taylor expansion of (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a)))) in (a) around 0
0.790 * [taylor]: Taking taylor expansion of (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a)))) in a
0.790 * [taylor]: Taking taylor expansion of (* (sin (exp a)) (cos 1)) in a
0.790 * [taylor]: Taking taylor expansion of (sin (exp a)) in a
0.790 * [taylor]: Taking taylor expansion of (exp a) in a
0.790 * [taylor]: Taking taylor expansion of a in a
0.790 * [taylor]: Taking taylor expansion of (cos 1) in a
0.790 * [taylor]: Taking taylor expansion of 1 in a
0.791 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
0.791 * [taylor]: Taking taylor expansion of (sin 1) in a
0.791 * [taylor]: Taking taylor expansion of 1 in a
0.791 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
0.792 * [taylor]: Taking taylor expansion of (exp a) in a
0.792 * [taylor]: Taking taylor expansion of a in a
0.792 * [taylor]: Taking taylor expansion of (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a)))) in a
0.792 * [taylor]: Taking taylor expansion of (* (sin (exp a)) (cos 1)) in a
0.792 * [taylor]: Taking taylor expansion of (sin (exp a)) in a
0.792 * [taylor]: Taking taylor expansion of (exp a) in a
0.792 * [taylor]: Taking taylor expansion of a in a
0.793 * [taylor]: Taking taylor expansion of (cos 1) in a
0.793 * [taylor]: Taking taylor expansion of 1 in a
0.793 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
0.793 * [taylor]: Taking taylor expansion of (sin 1) in a
0.793 * [taylor]: Taking taylor expansion of 1 in a
0.794 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
0.794 * [taylor]: Taking taylor expansion of (exp a) in a
0.794 * [taylor]: Taking taylor expansion of a in a
0.983 * [approximate]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1))) in (a) around 0
0.983 * [taylor]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1))) in a
0.983 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ 1 a)))) in a
0.983 * [taylor]: Taking taylor expansion of (cos 1) in a
0.983 * [taylor]: Taking taylor expansion of 1 in a
0.983 * [taylor]: Taking taylor expansion of (sin (exp (/ 1 a))) in a
0.983 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.983 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.983 * [taylor]: Taking taylor expansion of a in a
0.984 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
0.984 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
0.984 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.984 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.984 * [taylor]: Taking taylor expansion of a in a
0.984 * [taylor]: Taking taylor expansion of (sin 1) in a
0.984 * [taylor]: Taking taylor expansion of 1 in a
0.985 * [taylor]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ 1 a)))) (* (cos (exp (/ 1 a))) (sin 1))) in a
0.985 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ 1 a)))) in a
0.985 * [taylor]: Taking taylor expansion of (cos 1) in a
0.985 * [taylor]: Taking taylor expansion of 1 in a
0.986 * [taylor]: Taking taylor expansion of (sin (exp (/ 1 a))) in a
0.986 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.986 * [taylor]: Taking taylor expansion of a in a
0.986 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
0.986 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
0.986 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
0.986 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.986 * [taylor]: Taking taylor expansion of a in a
0.987 * [taylor]: Taking taylor expansion of (sin 1) in a
0.987 * [taylor]: Taking taylor expansion of 1 in a
1.088 * [approximate]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1))) in (a) around 0
1.088 * [taylor]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1))) in a
1.088 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ -1 a)))) in a
1.088 * [taylor]: Taking taylor expansion of (cos 1) in a
1.088 * [taylor]: Taking taylor expansion of 1 in a
1.088 * [taylor]: Taking taylor expansion of (sin (exp (/ -1 a))) in a
1.088 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.088 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.088 * [taylor]: Taking taylor expansion of -1 in a
1.088 * [taylor]: Taking taylor expansion of a in a
1.089 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.089 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.089 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.089 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.089 * [taylor]: Taking taylor expansion of -1 in a
1.089 * [taylor]: Taking taylor expansion of a in a
1.089 * [taylor]: Taking taylor expansion of (sin 1) in a
1.089 * [taylor]: Taking taylor expansion of 1 in a
1.090 * [taylor]: Taking taylor expansion of (- (* (cos 1) (sin (exp (/ -1 a)))) (* (cos (exp (/ -1 a))) (sin 1))) in a
1.090 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ -1 a)))) in a
1.090 * [taylor]: Taking taylor expansion of (cos 1) in a
1.090 * [taylor]: Taking taylor expansion of 1 in a
1.090 * [taylor]: Taking taylor expansion of (sin (exp (/ -1 a))) in a
1.090 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.090 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.090 * [taylor]: Taking taylor expansion of -1 in a
1.090 * [taylor]: Taking taylor expansion of a in a
1.091 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.091 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.091 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.091 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.091 * [taylor]: Taking taylor expansion of -1 in a
1.091 * [taylor]: Taking taylor expansion of a in a
1.091 * [taylor]: Taking taylor expansion of (sin 1) in a
1.091 * [taylor]: Taking taylor expansion of 1 in a
1.196 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1.196 * [approximate]: Taking taylor expansion of (* (sin (exp a)) (cos 1)) in (a) around 0
1.196 * [taylor]: Taking taylor expansion of (* (sin (exp a)) (cos 1)) in a
1.196 * [taylor]: Taking taylor expansion of (sin (exp a)) in a
1.196 * [taylor]: Taking taylor expansion of (exp a) in a
1.196 * [taylor]: Taking taylor expansion of a in a
1.197 * [taylor]: Taking taylor expansion of (cos 1) in a
1.197 * [taylor]: Taking taylor expansion of 1 in a
1.197 * [taylor]: Taking taylor expansion of (* (sin (exp a)) (cos 1)) in a
1.197 * [taylor]: Taking taylor expansion of (sin (exp a)) in a
1.198 * [taylor]: Taking taylor expansion of (exp a) in a
1.198 * [taylor]: Taking taylor expansion of a in a
1.198 * [taylor]: Taking taylor expansion of (cos 1) in a
1.198 * [taylor]: Taking taylor expansion of 1 in a
1.232 * [approximate]: Taking taylor expansion of (* (cos 1) (sin (exp (/ 1 a)))) in (a) around 0
1.232 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ 1 a)))) in a
1.232 * [taylor]: Taking taylor expansion of (cos 1) in a
1.232 * [taylor]: Taking taylor expansion of 1 in a
1.233 * [taylor]: Taking taylor expansion of (sin (exp (/ 1 a))) in a
1.233 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.233 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.233 * [taylor]: Taking taylor expansion of a in a
1.233 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ 1 a)))) in a
1.233 * [taylor]: Taking taylor expansion of (cos 1) in a
1.233 * [taylor]: Taking taylor expansion of 1 in a
1.234 * [taylor]: Taking taylor expansion of (sin (exp (/ 1 a))) in a
1.234 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.234 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.234 * [taylor]: Taking taylor expansion of a in a
1.288 * [approximate]: Taking taylor expansion of (* (cos 1) (sin (exp (/ -1 a)))) in (a) around 0
1.288 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ -1 a)))) in a
1.288 * [taylor]: Taking taylor expansion of (cos 1) in a
1.288 * [taylor]: Taking taylor expansion of 1 in a
1.288 * [taylor]: Taking taylor expansion of (sin (exp (/ -1 a))) in a
1.288 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.288 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.288 * [taylor]: Taking taylor expansion of -1 in a
1.288 * [taylor]: Taking taylor expansion of a in a
1.289 * [taylor]: Taking taylor expansion of (* (cos 1) (sin (exp (/ -1 a)))) in a
1.289 * [taylor]: Taking taylor expansion of (cos 1) in a
1.289 * [taylor]: Taking taylor expansion of 1 in a
1.289 * [taylor]: Taking taylor expansion of (sin (exp (/ -1 a))) in a
1.289 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.289 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.289 * [taylor]: Taking taylor expansion of -1 in a
1.289 * [taylor]: Taking taylor expansion of a in a
1.337 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
1.338 * [approximate]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in (a) around 0
1.338 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
1.338 * [taylor]: Taking taylor expansion of (sin 1) in a
1.338 * [taylor]: Taking taylor expansion of 1 in a
1.338 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
1.338 * [taylor]: Taking taylor expansion of (exp a) in a
1.338 * [taylor]: Taking taylor expansion of a in a
1.339 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
1.339 * [taylor]: Taking taylor expansion of (sin 1) in a
1.339 * [taylor]: Taking taylor expansion of 1 in a
1.339 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
1.339 * [taylor]: Taking taylor expansion of (exp a) in a
1.339 * [taylor]: Taking taylor expansion of a in a
1.385 * [approximate]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in (a) around 0
1.385 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
1.385 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
1.385 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.385 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.385 * [taylor]: Taking taylor expansion of a in a
1.386 * [taylor]: Taking taylor expansion of (sin 1) in a
1.386 * [taylor]: Taking taylor expansion of 1 in a
1.386 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
1.386 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
1.386 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.386 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.386 * [taylor]: Taking taylor expansion of a in a
1.387 * [taylor]: Taking taylor expansion of (sin 1) in a
1.387 * [taylor]: Taking taylor expansion of 1 in a
1.440 * [approximate]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in (a) around 0
1.440 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.440 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.440 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.440 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.440 * [taylor]: Taking taylor expansion of -1 in a
1.440 * [taylor]: Taking taylor expansion of a in a
1.440 * [taylor]: Taking taylor expansion of (sin 1) in a
1.440 * [taylor]: Taking taylor expansion of 1 in a
1.441 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.441 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.441 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.441 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.441 * [taylor]: Taking taylor expansion of -1 in a
1.441 * [taylor]: Taking taylor expansion of a in a
1.441 * [taylor]: Taking taylor expansion of (sin 1) in a
1.441 * [taylor]: Taking taylor expansion of 1 in a
1.486 * * * [progress]: simplifying candidates
1.487 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (sin (exp a)) (cos 1) (- (* (sin 1) (cos (exp a)))))
  (fma (- (sin 1)) (cos (exp a)) (* (sin 1) (cos (exp a))))
  (fma (sin (exp a)) (cos 1) (- (* (cos (exp a)) (sin 1))))
  (fma (- (cos (exp a))) (sin 1) (* (cos (exp a)) (sin 1)))
  (fma (cos 1) (sin (exp a)) (- (* (sin 1) (cos (exp a)))))
  (fma (- (sin 1)) (cos (exp a)) (* (sin 1) (cos (exp a))))
  (fma (cos 1) (sin (exp a)) (- (* (cos (exp a)) (sin 1))))
  (fma (- (cos (exp a))) (sin 1) (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (pow (* (sin (exp a)) (cos 1)) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (+ (* (* (sin (exp a)) (cos 1)) (* (sin (exp a)) (cos 1))) (+ (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))))
  (- (* (cos (exp a)) (sin 1)))
  (- (* (* (sin (exp a)) (cos 1)) (* (sin (exp a)) (cos 1))) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))))
  (+ (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1)))
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (- (+ (* a (pow (cos 1) 2)) (+ (* 1/2 (* (pow a 2) (pow (sin 1) 2))) (+ (* a (pow (sin 1) 2)) (* 1/2 (* (pow a 2) (pow (cos 1) 2)))))) (+ (* 5/24 (* (pow a 4) (pow (sin 1) 2))) (* 5/24 (* (pow a 4) (pow (cos 1) 2)))))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (- (+ (* a (pow (cos 1) 2)) (+ (* 1/2 (* (pow a 2) (pow (cos 1) 2))) (* (cos 1) (sin 1)))) (* 1/2 (* (pow a 2) (* (cos 1) (sin 1)))))
  (* (sin (exp a)) (cos 1))
  (* (sin (exp a)) (cos 1))
  (- (* (cos 1) (sin 1)) (+ (* a (pow (sin 1) 2)) (+ (* 1/2 (* (pow a 2) (pow (sin 1) 2))) (* 1/2 (* (pow a 2) (* (cos 1) (sin 1)))))))
  (* (sin 1) (cos (exp a)))
  (* (sin 1) (cos (exp a)))
1.491 * * [simplify]: iteration  0 :  209  enodes  (cost  297 )
1.495 * * [simplify]: iteration  1 :  789  enodes  (cost  281 )
1.512 * * [simplify]: iteration  2 :  3340  enodes  (cost  266 )
1.589 * * [simplify]: iteration  3 :  5001  enodes  (cost  254 )
1.591 * [simplify]: Simplified to:
   (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (pow (* (sin (exp a)) (cos 1)) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (fma (* (sin 1) (cos (exp a))) (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1))) (* (* (sin (exp a)) (sin (exp a))) (pow (cos 1) 2)))
  (- (* (cos (exp a)) (sin 1)))
  (fma (pow (cos 1) 2) (* (sin (exp a)) (sin (exp a))) (* (- (* (cos (exp a)) (cos (exp a)))) (pow (sin 1) 2)))
  (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1)))
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fma (fma (* 1/2 a) a a) 1 (- (* 5/24 (pow a 4))))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (- (* (sin (exp a)) (cos 1)) (* (sin 1) (cos (exp a))))
  (fma (pow (cos 1) 2) (fma (* 1/2 a) a a) (* (cos 1) (- (sin 1) (* (* 1/2 (pow a 2)) (sin 1)))))
  (* (sin (exp a)) (cos 1))
  (* (sin (exp a)) (cos 1))
  (fma (- (pow (sin 1) 2)) (fma (* 1/2 a) a a) (* (cos 1) (- (sin 1) (* (* 1/2 (pow a 2)) (sin 1)))))
  (* (sin 1) (cos (exp a)))
  (* (sin 1) (cos (exp a)))
1.591 * * * [progress]: adding candidates to table
1.661 * * [progress]: iteration 3 / 4
1.661 * * * [progress]: picking best candidate
1.679 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))) (atan a)) a)))>
1.679 * * * [progress]: localizing error
1.705 * * * [progress]: generating rewritten candidates
1.705 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
1.718 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.719 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
1.722 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2)
1.726 * * * [progress]: generating series expansions
1.726 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
1.727 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a)))) in (a) around 0
1.727 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a)))) in a
1.727 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) in a
1.727 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp a)))) in a
1.727 * [taylor]: Taking taylor expansion of 1/2 in a
1.727 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
1.727 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
1.727 * [taylor]: Taking taylor expansion of 1 in a
1.727 * [taylor]: Taking taylor expansion of (exp a) in a
1.727 * [taylor]: Taking taylor expansion of a in a
1.727 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp a) 1))) in a
1.728 * [taylor]: Taking taylor expansion of 1/2 in a
1.728 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
1.728 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
1.728 * [taylor]: Taking taylor expansion of (exp a) in a
1.728 * [taylor]: Taking taylor expansion of a in a
1.728 * [taylor]: Taking taylor expansion of 1 in a
1.729 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
1.729 * [taylor]: Taking taylor expansion of (sin 1) in a
1.729 * [taylor]: Taking taylor expansion of 1 in a
1.730 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
1.730 * [taylor]: Taking taylor expansion of (exp a) in a
1.730 * [taylor]: Taking taylor expansion of a in a
1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a)))) in a
1.731 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) in a
1.731 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp a)))) in a
1.731 * [taylor]: Taking taylor expansion of 1/2 in a
1.731 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
1.731 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
1.731 * [taylor]: Taking taylor expansion of 1 in a
1.731 * [taylor]: Taking taylor expansion of (exp a) in a
1.731 * [taylor]: Taking taylor expansion of a in a
1.732 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp a) 1))) in a
1.732 * [taylor]: Taking taylor expansion of 1/2 in a
1.732 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
1.732 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
1.732 * [taylor]: Taking taylor expansion of (exp a) in a
1.732 * [taylor]: Taking taylor expansion of a in a
1.732 * [taylor]: Taking taylor expansion of 1 in a
1.733 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
1.733 * [taylor]: Taking taylor expansion of (sin 1) in a
1.733 * [taylor]: Taking taylor expansion of 1 in a
1.734 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
1.734 * [taylor]: Taking taylor expansion of (exp a) in a
1.734 * [taylor]: Taking taylor expansion of a in a
1.831 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1))) in (a) around 0
1.831 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1))) in a
1.831 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) in a
1.831 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp (/ 1 a))))) in a
1.831 * [taylor]: Taking taylor expansion of 1/2 in a
1.831 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
1.831 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
1.831 * [taylor]: Taking taylor expansion of 1 in a
1.831 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.831 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.831 * [taylor]: Taking taylor expansion of a in a
1.832 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp (/ 1 a)) 1))) in a
1.832 * [taylor]: Taking taylor expansion of 1/2 in a
1.832 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
1.832 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
1.832 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.832 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.832 * [taylor]: Taking taylor expansion of a in a
1.832 * [taylor]: Taking taylor expansion of 1 in a
1.832 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
1.832 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
1.833 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.833 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.833 * [taylor]: Taking taylor expansion of a in a
1.833 * [taylor]: Taking taylor expansion of (sin 1) in a
1.833 * [taylor]: Taking taylor expansion of 1 in a
1.833 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1))) in a
1.834 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) in a
1.834 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp (/ 1 a))))) in a
1.834 * [taylor]: Taking taylor expansion of 1/2 in a
1.834 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
1.834 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
1.834 * [taylor]: Taking taylor expansion of 1 in a
1.834 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.834 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.834 * [taylor]: Taking taylor expansion of a in a
1.834 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp (/ 1 a)) 1))) in a
1.834 * [taylor]: Taking taylor expansion of 1/2 in a
1.834 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
1.834 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
1.834 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.834 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.834 * [taylor]: Taking taylor expansion of a in a
1.835 * [taylor]: Taking taylor expansion of 1 in a
1.835 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
1.835 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
1.835 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
1.835 * [taylor]: Taking taylor expansion of (/ 1 a) in a
1.835 * [taylor]: Taking taylor expansion of a in a
1.835 * [taylor]: Taking taylor expansion of (sin 1) in a
1.835 * [taylor]: Taking taylor expansion of 1 in a
1.947 * [approximate]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1))) in (a) around 0
1.947 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1))) in a
1.947 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) in a
1.947 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp (/ -1 a))))) in a
1.947 * [taylor]: Taking taylor expansion of 1/2 in a
1.947 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
1.947 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
1.947 * [taylor]: Taking taylor expansion of 1 in a
1.947 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.947 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.947 * [taylor]: Taking taylor expansion of -1 in a
1.947 * [taylor]: Taking taylor expansion of a in a
1.948 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp (/ -1 a)) 1))) in a
1.948 * [taylor]: Taking taylor expansion of 1/2 in a
1.948 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
1.948 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
1.948 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.948 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.948 * [taylor]: Taking taylor expansion of -1 in a
1.948 * [taylor]: Taking taylor expansion of a in a
1.948 * [taylor]: Taking taylor expansion of 1 in a
1.949 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.949 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.949 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.949 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.949 * [taylor]: Taking taylor expansion of -1 in a
1.949 * [taylor]: Taking taylor expansion of a in a
1.949 * [taylor]: Taking taylor expansion of (sin 1) in a
1.949 * [taylor]: Taking taylor expansion of 1 in a
1.950 * [taylor]: Taking taylor expansion of (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1))) in a
1.950 * [taylor]: Taking taylor expansion of (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) in a
1.950 * [taylor]: Taking taylor expansion of (* 1/2 (sin (+ 1 (exp (/ -1 a))))) in a
1.950 * [taylor]: Taking taylor expansion of 1/2 in a
1.950 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
1.950 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
1.950 * [taylor]: Taking taylor expansion of 1 in a
1.950 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.950 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.950 * [taylor]: Taking taylor expansion of -1 in a
1.950 * [taylor]: Taking taylor expansion of a in a
1.950 * [taylor]: Taking taylor expansion of (* 1/2 (sin (- (exp (/ -1 a)) 1))) in a
1.950 * [taylor]: Taking taylor expansion of 1/2 in a
1.950 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
1.950 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
1.950 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.950 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.950 * [taylor]: Taking taylor expansion of -1 in a
1.950 * [taylor]: Taking taylor expansion of a in a
1.951 * [taylor]: Taking taylor expansion of 1 in a
1.951 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
1.951 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
1.951 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
1.951 * [taylor]: Taking taylor expansion of (/ -1 a) in a
1.951 * [taylor]: Taking taylor expansion of -1 in a
1.951 * [taylor]: Taking taylor expansion of a in a
1.952 * [taylor]: Taking taylor expansion of (sin 1) in a
1.952 * [taylor]: Taking taylor expansion of 1 in a
2.059 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.059 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a) in (a) around 0
2.059 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a) in a
2.060 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp a)))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a) in a
2.062 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.062 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in a
2.063 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ 1 a))))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (* (cos (exp (/ 1 a))) (sin 1)))) (atan (/ 1 a))) (/ 1 a)) in a
2.066 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.066 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in a
2.067 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ 1 (exp (/ -1 a))))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (* (cos (exp (/ -1 a))) (sin 1)))) (atan (/ -1 a))) (/ -1 a)) in a
2.069 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
2.069 * [approximate]: Taking taylor expansion of (- (exp a) 1) in (a) around 0
2.069 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.069 * [taylor]: Taking taylor expansion of (exp a) in a
2.069 * [taylor]: Taking taylor expansion of a in a
2.069 * [taylor]: Taking taylor expansion of 1 in a
2.069 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.069 * [taylor]: Taking taylor expansion of (exp a) in a
2.069 * [taylor]: Taking taylor expansion of a in a
2.069 * [taylor]: Taking taylor expansion of 1 in a
2.074 * [approximate]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in (a) around 0
2.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.074 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.074 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.074 * [taylor]: Taking taylor expansion of a in a
2.074 * [taylor]: Taking taylor expansion of 1 in a
2.074 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.074 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.074 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.074 * [taylor]: Taking taylor expansion of a in a
2.075 * [taylor]: Taking taylor expansion of 1 in a
2.078 * [approximate]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in (a) around 0
2.078 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
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 -1 in a
2.078 * [taylor]: Taking taylor expansion of a in a
2.078 * [taylor]: Taking taylor expansion of 1 in a
2.078 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
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 -1 in a
2.078 * [taylor]: Taking taylor expansion of a in a
2.079 * [taylor]: Taking taylor expansion of 1 in a
2.082 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2)
2.082 * [approximate]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in (a) around 0
2.082 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
2.082 * [taylor]: Taking taylor expansion of (sin 1) in a
2.082 * [taylor]: Taking taylor expansion of 1 in a
2.083 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
2.083 * [taylor]: Taking taylor expansion of (exp a) in a
2.083 * [taylor]: Taking taylor expansion of a in a
2.083 * [taylor]: Taking taylor expansion of (* (sin 1) (cos (exp a))) in a
2.084 * [taylor]: Taking taylor expansion of (sin 1) in a
2.084 * [taylor]: Taking taylor expansion of 1 in a
2.084 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
2.084 * [taylor]: Taking taylor expansion of (exp a) in a
2.084 * [taylor]: Taking taylor expansion of a in a
2.128 * [approximate]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in (a) around 0
2.128 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
2.128 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
2.128 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.128 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.128 * [taylor]: Taking taylor expansion of a in a
2.128 * [taylor]: Taking taylor expansion of (sin 1) in a
2.128 * [taylor]: Taking taylor expansion of 1 in a
2.129 * [taylor]: Taking taylor expansion of (* (cos (exp (/ 1 a))) (sin 1)) in a
2.129 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
2.129 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.129 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.129 * [taylor]: Taking taylor expansion of a in a
2.129 * [taylor]: Taking taylor expansion of (sin 1) in a
2.129 * [taylor]: Taking taylor expansion of 1 in a
2.176 * [approximate]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in (a) around 0
2.176 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
2.176 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
2.176 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.176 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.176 * [taylor]: Taking taylor expansion of -1 in a
2.176 * [taylor]: Taking taylor expansion of a in a
2.176 * [taylor]: Taking taylor expansion of (sin 1) in a
2.177 * [taylor]: Taking taylor expansion of 1 in a
2.177 * [taylor]: Taking taylor expansion of (* (cos (exp (/ -1 a))) (sin 1)) in a
2.177 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
2.177 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
2.177 * [taylor]: Taking taylor expansion of (/ -1 a) in a
2.177 * [taylor]: Taking taylor expansion of -1 in a
2.177 * [taylor]: Taking taylor expansion of a in a
2.178 * [taylor]: Taking taylor expansion of (sin 1) in a
2.178 * [taylor]: Taking taylor expansion of 1 in a
2.228 * * * [progress]: simplifying candidates
2.228 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) (/ 1 2) (- (* (sin 1) (cos (exp a)))))
  (fma (- (sin 1)) (cos (exp a)) (* (sin 1) (cos (exp a))))
  (fma (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) (/ 1 2) (- (* (cos (exp a)) (sin 1))))
  (fma (- (cos (exp a))) (sin 1) (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (+ (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (+ (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))))
  (- (* (cos (exp a)) (sin 1)))
  (- (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))))
  (+ (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))
  (+ (/ (- (* (cos (exp a)) (sin 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (pow (exp a) 3) (pow 1 3))
  (+ (* (exp a) (exp a)) (+ (* 1 1) (* (exp a) 1)))
  (- 1)
  (- (* (exp a) (exp a)) (* 1 1))
  (+ (exp a) 1)
  (- 1)
  (- (+ (* 1/2 (* (pow a 2) (pow (sin 1) 2))) (+ (* 1/4 (pow a 2)) (+ (* 1/4 (* (pow a 2) (cos 2))) (+ (* 1/2 (* a (cos 2))) (+ (* a (pow (sin 1) 2)) (+ (* 1/2 a) (+ (* 1/2 (* (pow a 2) (* (cos 1) (sin 1)))) (* 1/2 (sin 2))))))))) (+ (* (cos 1) (sin 1)) (* 1/4 (* (pow a 2) (sin 2)))))
  (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))
  (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
  (- (* (cos 1) (sin 1)) (+ (* a (pow (sin 1) 2)) (+ (* 1/2 (* (pow a 2) (pow (sin 1) 2))) (* 1/2 (* (pow a 2) (* (cos 1) (sin 1)))))))
  (* (sin 1) (cos (exp a)))
  (* (sin 1) (cos (exp a)))
2.232 * * [simplify]: iteration  0 :  273  enodes  (cost  332 )
2.238 * * [simplify]: iteration  1 :  996  enodes  (cost  315 )
2.258 * * [simplify]: iteration  2 :  4574  enodes  (cost  305 )
2.339 * * [simplify]: iteration  3 :  5001  enodes  (cost  302 )
2.340 * [simplify]: Simplified to:
   (fma (sin (+ (exp a) 1)) 1/2 (- (* 1/2 (sin (- (exp a) 1))) (* (sin 1) (cos (exp a)))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (fma (sin (+ (exp a) 1)) 1/2 (- (* 1/2 (sin (- (exp a) 1))) (* (sin 1) (cos (exp a)))))
  (* (cos (exp a)) (+ (- (sin 1)) (sin 1)))
  (- (* (cos (exp a)) (sin 1)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2)))
  (- (* (cos (exp a)) (sin 1)))
  (fma (- (pow (sin 1) 2)) (* (cos (exp a)) (cos (exp a))) (/ (* (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1)))) 4))
  (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2))
  (fma (cos (exp a)) (sin 1) (/ (- (* (cos (exp a)) (sin 1)) (sin (+ (exp a) 1))) 2))
  (- (* (cos (exp a)) (sin 1)))
  (expm1 (+ (+ a a) a))
  (fma (exp a) (+ (exp a) 1) 1)
  (- 1)
  (expm1 (+ a a))
  (+ (exp a) 1)
  (- 1)
  (+ (* 1/4 (pow a 2)) (- (+ (fma (cos 2) (fma (pow a 2) 1/4 (* 1/2 a)) (* 1/2 (+ a (fma (* (pow a 2) (cos 1)) (sin 1) (sin 2))))) (* (pow (sin 1) 2) (fma 1/2 (pow a 2) a))) (fma (cos 1) (sin 1) (* 1/4 (* (pow a 2) (sin 2))))))
  (fma (sin (+ (exp a) 1)) 1/2 (- (* 1/2 (sin (- (exp a) 1))) (* (sin 1) (cos (exp a)))))
  (fma (sin (+ (exp a) 1)) 1/2 (- (* 1/2 (sin (- (exp a) 1))) (* (sin 1) (cos (exp a)))))
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fmod (atan2 (expm1 (- (+ (* 1/2 (sin (+ (exp a) 1))) (* 1/2 (sin (- (exp a) 1)))) (* (sin 1) (cos (exp a))))) (atan a)) a)
  (fma 1/6 (pow a 3) (fma 1/2 (pow a 2) a))
  (expm1 a)
  (expm1 a)
  (- (- (* (cos 1) (sin 1)) (* (pow (sin 1) 2) (fma 1/2 (pow a 2) a))) (* 1/2 (* (pow a 2) (* (cos 1) (sin 1)))))
  (* (sin 1) (cos (exp a)))
  (* (sin 1) (cos (exp a)))
2.341 * * * [progress]: adding candidates to table
2.446 * * [progress]: iteration 4 / 4
2.446 * * * [progress]: picking best candidate
2.469 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3)) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))>
2.469 * * * [progress]: localizing error
2.508 * * * [progress]: generating rewritten candidates
2.508 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1)
2.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.523 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2 3 1 1 1)
2.526 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 2 1 3 2 1)
2.530 * * * [progress]: generating series expansions
2.530 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1)
2.532 * [approximate]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) in (a) around 0
2.532 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) in a
2.532 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) in a
2.532 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp a) 1)) 3)) in a
2.532 * [taylor]: Taking taylor expansion of 1/8 in a
2.532 * [taylor]: Taking taylor expansion of (pow (sin (- (exp a) 1)) 3) in a
2.532 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.532 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.532 * [taylor]: Taking taylor expansion of (exp a) in a
2.532 * [taylor]: Taking taylor expansion of a in a
2.532 * [taylor]: Taking taylor expansion of 1 in a
2.534 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2))))) in a
2.534 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) in a
2.534 * [taylor]: Taking taylor expansion of 3/8 in a
2.534 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1))) in a
2.534 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp a))) 2) in a
2.534 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.534 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.534 * [taylor]: Taking taylor expansion of 1 in a
2.534 * [taylor]: Taking taylor expansion of (exp a) in a
2.534 * [taylor]: Taking taylor expansion of a in a
2.536 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.536 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.536 * [taylor]: Taking taylor expansion of (exp a) in a
2.536 * [taylor]: Taking taylor expansion of a in a
2.536 * [taylor]: Taking taylor expansion of 1 in a
2.538 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))) in a
2.538 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp a))) 3)) in a
2.538 * [taylor]: Taking taylor expansion of 1/8 in a
2.538 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp a))) 3) in a
2.538 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.538 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.538 * [taylor]: Taking taylor expansion of 1 in a
2.538 * [taylor]: Taking taylor expansion of (exp a) in a
2.538 * [taylor]: Taking taylor expansion of a in a
2.540 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2))) in a
2.540 * [taylor]: Taking taylor expansion of 3/8 in a
2.540 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)) in a
2.540 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.540 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.540 * [taylor]: Taking taylor expansion of 1 in a
2.540 * [taylor]: Taking taylor expansion of (exp a) in a
2.540 * [taylor]: Taking taylor expansion of a in a
2.541 * [taylor]: Taking taylor expansion of (pow (sin (- (exp a) 1)) 2) in a
2.541 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.541 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.541 * [taylor]: Taking taylor expansion of (exp a) in a
2.541 * [taylor]: Taking taylor expansion of a in a
2.541 * [taylor]: Taking taylor expansion of 1 in a
2.543 * [taylor]: Taking taylor expansion of (* (pow (sin 1) 3) (pow (cos (exp a)) 3)) in a
2.543 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
2.543 * [taylor]: Taking taylor expansion of (sin 1) in a
2.543 * [taylor]: Taking taylor expansion of 1 in a
2.545 * [taylor]: Taking taylor expansion of (pow (cos (exp a)) 3) in a
2.545 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
2.545 * [taylor]: Taking taylor expansion of (exp a) in a
2.545 * [taylor]: Taking taylor expansion of a in a
2.547 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) in a
2.547 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) in a
2.547 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp a) 1)) 3)) in a
2.547 * [taylor]: Taking taylor expansion of 1/8 in a
2.547 * [taylor]: Taking taylor expansion of (pow (sin (- (exp a) 1)) 3) in a
2.547 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.547 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.547 * [taylor]: Taking taylor expansion of (exp a) in a
2.547 * [taylor]: Taking taylor expansion of a in a
2.547 * [taylor]: Taking taylor expansion of 1 in a
2.549 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2))))) in a
2.549 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) in a
2.549 * [taylor]: Taking taylor expansion of 3/8 in a
2.549 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1))) in a
2.549 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp a))) 2) in a
2.549 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.549 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.549 * [taylor]: Taking taylor expansion of 1 in a
2.549 * [taylor]: Taking taylor expansion of (exp a) in a
2.550 * [taylor]: Taking taylor expansion of a in a
2.552 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.552 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.552 * [taylor]: Taking taylor expansion of (exp a) in a
2.552 * [taylor]: Taking taylor expansion of a in a
2.552 * [taylor]: Taking taylor expansion of 1 in a
2.553 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))) in a
2.553 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp a))) 3)) in a
2.553 * [taylor]: Taking taylor expansion of 1/8 in a
2.553 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp a))) 3) in a
2.553 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.553 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.553 * [taylor]: Taking taylor expansion of 1 in a
2.553 * [taylor]: Taking taylor expansion of (exp a) in a
2.553 * [taylor]: Taking taylor expansion of a in a
2.555 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2))) in a
2.555 * [taylor]: Taking taylor expansion of 3/8 in a
2.555 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)) in a
2.556 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp a))) in a
2.556 * [taylor]: Taking taylor expansion of (+ 1 (exp a)) in a
2.556 * [taylor]: Taking taylor expansion of 1 in a
2.556 * [taylor]: Taking taylor expansion of (exp a) in a
2.556 * [taylor]: Taking taylor expansion of a in a
2.556 * [taylor]: Taking taylor expansion of (pow (sin (- (exp a) 1)) 2) in a
2.556 * [taylor]: Taking taylor expansion of (sin (- (exp a) 1)) in a
2.556 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
2.556 * [taylor]: Taking taylor expansion of (exp a) in a
2.556 * [taylor]: Taking taylor expansion of a in a
2.556 * [taylor]: Taking taylor expansion of 1 in a
2.558 * [taylor]: Taking taylor expansion of (* (pow (sin 1) 3) (pow (cos (exp a)) 3)) in a
2.558 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
2.558 * [taylor]: Taking taylor expansion of (sin 1) in a
2.558 * [taylor]: Taking taylor expansion of 1 in a
2.560 * [taylor]: Taking taylor expansion of (pow (cos (exp a)) 3) in a
2.560 * [taylor]: Taking taylor expansion of (cos (exp a)) in a
2.560 * [taylor]: Taking taylor expansion of (exp a) in a
2.560 * [taylor]: Taking taylor expansion of a in a
2.958 * [approximate]: Taking taylor expansion of (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) in (a) around 0
2.958 * [taylor]: Taking taylor expansion of (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) in a
2.958 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) in a
2.958 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) in a
2.958 * [taylor]: Taking taylor expansion of 3/8 in a
2.958 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1))) in a
2.958 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ 1 a)))) 2) in a
2.958 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.958 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.958 * [taylor]: Taking taylor expansion of 1 in a
2.958 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.958 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.958 * [taylor]: Taking taylor expansion of a in a
2.959 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.959 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.959 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.959 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.959 * [taylor]: Taking taylor expansion of a in a
2.959 * [taylor]: Taking taylor expansion of 1 in a
2.959 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2))))) in a
2.959 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) in a
2.959 * [taylor]: Taking taylor expansion of 1/8 in a
2.959 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ 1 a)) 1)) 3) in a
2.959 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.959 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.960 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.960 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.960 * [taylor]: Taking taylor expansion of a in a
2.960 * [taylor]: Taking taylor expansion of 1 in a
2.960 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))) in a
2.961 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) in a
2.961 * [taylor]: Taking taylor expansion of 1/8 in a
2.961 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ 1 a)))) 3) in a
2.961 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.961 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.961 * [taylor]: Taking taylor expansion of 1 in a
2.961 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.961 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.961 * [taylor]: Taking taylor expansion of a in a
2.961 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2))) in a
2.961 * [taylor]: Taking taylor expansion of 3/8 in a
2.961 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)) in a
2.961 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.961 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.961 * [taylor]: Taking taylor expansion of 1 in a
2.961 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.961 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.961 * [taylor]: Taking taylor expansion of a in a
2.962 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ 1 a)) 1)) 2) in a
2.962 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.962 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.962 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.962 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.962 * [taylor]: Taking taylor expansion of a in a
2.963 * [taylor]: Taking taylor expansion of 1 in a
2.963 * [taylor]: Taking taylor expansion of (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3)) in a
2.963 * [taylor]: Taking taylor expansion of (pow (cos (exp (/ 1 a))) 3) in a
2.963 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
2.963 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.963 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.963 * [taylor]: Taking taylor expansion of a in a
2.964 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
2.964 * [taylor]: Taking taylor expansion of (sin 1) in a
2.964 * [taylor]: Taking taylor expansion of 1 in a
2.966 * [taylor]: Taking taylor expansion of (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) in a
2.966 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) in a
2.966 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) in a
2.966 * [taylor]: Taking taylor expansion of 3/8 in a
2.966 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1))) in a
2.966 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ 1 a)))) 2) in a
2.966 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.966 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.966 * [taylor]: Taking taylor expansion of 1 in a
2.966 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.966 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.966 * [taylor]: Taking taylor expansion of a in a
2.967 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.967 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.967 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.967 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.967 * [taylor]: Taking taylor expansion of a in a
2.967 * [taylor]: Taking taylor expansion of 1 in a
2.968 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2))))) in a
2.968 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) in a
2.968 * [taylor]: Taking taylor expansion of 1/8 in a
2.968 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ 1 a)) 1)) 3) in a
2.968 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.968 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.968 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.968 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.968 * [taylor]: Taking taylor expansion of a in a
2.968 * [taylor]: Taking taylor expansion of 1 in a
2.969 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))) in a
2.969 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) in a
2.969 * [taylor]: Taking taylor expansion of 1/8 in a
2.969 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ 1 a)))) 3) in a
2.969 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.969 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.969 * [taylor]: Taking taylor expansion of 1 in a
2.969 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.969 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.969 * [taylor]: Taking taylor expansion of a in a
2.970 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2))) in a
2.970 * [taylor]: Taking taylor expansion of 3/8 in a
2.970 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)) in a
2.970 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ 1 a)))) in a
2.970 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 a))) in a
2.970 * [taylor]: Taking taylor expansion of 1 in a
2.970 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.970 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.970 * [taylor]: Taking taylor expansion of a in a
2.970 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ 1 a)) 1)) 2) in a
2.970 * [taylor]: Taking taylor expansion of (sin (- (exp (/ 1 a)) 1)) in a
2.970 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
2.970 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.970 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.970 * [taylor]: Taking taylor expansion of a in a
2.971 * [taylor]: Taking taylor expansion of 1 in a
2.971 * [taylor]: Taking taylor expansion of (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3)) in a
2.971 * [taylor]: Taking taylor expansion of (pow (cos (exp (/ 1 a))) 3) in a
2.971 * [taylor]: Taking taylor expansion of (cos (exp (/ 1 a))) in a
2.971 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
2.971 * [taylor]: Taking taylor expansion of (/ 1 a) in a
2.971 * [taylor]: Taking taylor expansion of a in a
2.972 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
2.972 * [taylor]: Taking taylor expansion of (sin 1) in a
2.972 * [taylor]: Taking taylor expansion of 1 in a
3.257 * [approximate]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) in (a) around 0
3.257 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) in a
3.257 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) in a
3.257 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) in a
3.257 * [taylor]: Taking taylor expansion of 1/8 in a
3.257 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ -1 a)) 1)) 3) in a
3.257 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.257 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.257 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.257 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.257 * [taylor]: Taking taylor expansion of -1 in a
3.257 * [taylor]: Taking taylor expansion of a in a
3.257 * [taylor]: Taking taylor expansion of 1 in a
3.258 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3)))) in a
3.258 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) in a
3.258 * [taylor]: Taking taylor expansion of 3/8 in a
3.258 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2)) in a
3.258 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.258 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.258 * [taylor]: Taking taylor expansion of 1 in a
3.258 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.258 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.258 * [taylor]: Taking taylor expansion of -1 in a
3.258 * [taylor]: Taking taylor expansion of a in a
3.259 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ -1 a)) 1)) 2) in a
3.259 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.259 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.259 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.259 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.259 * [taylor]: Taking taylor expansion of -1 in a
3.259 * [taylor]: Taking taylor expansion of a in a
3.259 * [taylor]: Taking taylor expansion of 1 in a
3.260 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))) in a
3.260 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) in a
3.260 * [taylor]: Taking taylor expansion of 3/8 in a
3.260 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1))) in a
3.260 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ -1 a)))) 2) in a
3.260 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.260 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.260 * [taylor]: Taking taylor expansion of 1 in a
3.260 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.260 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.260 * [taylor]: Taking taylor expansion of -1 in a
3.260 * [taylor]: Taking taylor expansion of a in a
3.261 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.261 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.261 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.261 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.261 * [taylor]: Taking taylor expansion of -1 in a
3.261 * [taylor]: Taking taylor expansion of a in a
3.261 * [taylor]: Taking taylor expansion of 1 in a
3.262 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3)) in a
3.262 * [taylor]: Taking taylor expansion of 1/8 in a
3.262 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ -1 a)))) 3) in a
3.262 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.262 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.262 * [taylor]: Taking taylor expansion of 1 in a
3.262 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.262 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.262 * [taylor]: Taking taylor expansion of -1 in a
3.262 * [taylor]: Taking taylor expansion of a in a
3.262 * [taylor]: Taking taylor expansion of (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3)) in a
3.262 * [taylor]: Taking taylor expansion of (pow (cos (exp (/ -1 a))) 3) in a
3.262 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
3.262 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.262 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.262 * [taylor]: Taking taylor expansion of -1 in a
3.262 * [taylor]: Taking taylor expansion of a in a
3.263 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
3.263 * [taylor]: Taking taylor expansion of (sin 1) in a
3.263 * [taylor]: Taking taylor expansion of 1 in a
3.265 * [taylor]: Taking taylor expansion of (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) in a
3.265 * [taylor]: Taking taylor expansion of (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) in a
3.265 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) in a
3.265 * [taylor]: Taking taylor expansion of 1/8 in a
3.266 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ -1 a)) 1)) 3) in a
3.266 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.266 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.266 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.266 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.266 * [taylor]: Taking taylor expansion of -1 in a
3.266 * [taylor]: Taking taylor expansion of a in a
3.266 * [taylor]: Taking taylor expansion of 1 in a
3.267 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3)))) in a
3.267 * [taylor]: Taking taylor expansion of (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) in a
3.267 * [taylor]: Taking taylor expansion of 3/8 in a
3.267 * [taylor]: Taking taylor expansion of (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2)) in a
3.267 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.267 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.267 * [taylor]: Taking taylor expansion of 1 in a
3.267 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.267 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.267 * [taylor]: Taking taylor expansion of -1 in a
3.267 * [taylor]: Taking taylor expansion of a in a
3.267 * [taylor]: Taking taylor expansion of (pow (sin (- (exp (/ -1 a)) 1)) 2) in a
3.267 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.267 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.267 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.267 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.267 * [taylor]: Taking taylor expansion of -1 in a
3.267 * [taylor]: Taking taylor expansion of a in a
3.268 * [taylor]: Taking taylor expansion of 1 in a
3.268 * [taylor]: Taking taylor expansion of (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))) in a
3.268 * [taylor]: Taking taylor expansion of (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) in a
3.268 * [taylor]: Taking taylor expansion of 3/8 in a
3.268 * [taylor]: Taking taylor expansion of (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1))) in a
3.268 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ -1 a)))) 2) in a
3.268 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.268 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.268 * [taylor]: Taking taylor expansion of 1 in a
3.269 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.269 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.269 * [taylor]: Taking taylor expansion of -1 in a
3.269 * [taylor]: Taking taylor expansion of a in a
3.269 * [taylor]: Taking taylor expansion of (sin (- (exp (/ -1 a)) 1)) in a
3.269 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.269 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.269 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.269 * [taylor]: Taking taylor expansion of -1 in a
3.269 * [taylor]: Taking taylor expansion of a in a
3.270 * [taylor]: Taking taylor expansion of 1 in a
3.270 * [taylor]: Taking taylor expansion of (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3)) in a
3.270 * [taylor]: Taking taylor expansion of 1/8 in a
3.270 * [taylor]: Taking taylor expansion of (pow (sin (+ 1 (exp (/ -1 a)))) 3) in a
3.270 * [taylor]: Taking taylor expansion of (sin (+ 1 (exp (/ -1 a)))) in a
3.270 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 a))) in a
3.270 * [taylor]: Taking taylor expansion of 1 in a
3.270 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.270 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.270 * [taylor]: Taking taylor expansion of -1 in a
3.270 * [taylor]: Taking taylor expansion of a in a
3.271 * [taylor]: Taking taylor expansion of (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3)) in a
3.271 * [taylor]: Taking taylor expansion of (pow (cos (exp (/ -1 a))) 3) in a
3.271 * [taylor]: Taking taylor expansion of (cos (exp (/ -1 a))) in a
3.271 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.271 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.271 * [taylor]: Taking taylor expansion of -1 in a
3.271 * [taylor]: Taking taylor expansion of a in a
3.272 * [taylor]: Taking taylor expansion of (pow (sin 1) 3) in a
3.272 * [taylor]: Taking taylor expansion of (sin 1) in a
3.272 * [taylor]: Taking taylor expansion of 1 in a
3.564 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.567 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ 1 (exp a))) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ 1 (exp a))) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a) in (a) around 0
3.567 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ 1 (exp a))) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ 1 (exp a))) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a) in a
3.570 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ 1 (exp a))) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (pow (sin (+ 1 (exp a))) 3)) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ 1 (exp a))) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ 1 (exp a))) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a) in a
3.582 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ 1 a)))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (fma (cos (exp (/ 1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ 1 a)))) (sin (- (exp (/ 1 a)) 1))))) (* (pow (cos (exp (/ 1 a))) 2) (pow (sin 1) 2))))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
3.582 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ 1 a)))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (fma (cos (exp (/ 1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ 1 a)))) (sin (- (exp (/ 1 a)) 1))))) (* (pow (cos (exp (/ 1 a))) 2) (pow (sin 1) 2))))) (atan (/ 1 a))) (/ 1 a)) in a
3.586 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ 1 a)))) 2) (sin (- (exp (/ 1 a)) 1)))) (+ (* 1/8 (pow (sin (- (exp (/ 1 a)) 1)) 3)) (+ (* 1/8 (pow (sin (+ 1 (exp (/ 1 a)))) 3)) (* 3/8 (* (sin (+ 1 (exp (/ 1 a)))) (pow (sin (- (exp (/ 1 a)) 1)) 2)))))) (* (pow (cos (exp (/ 1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ 1 a)))) (* 1/2 (sin (- (exp (/ 1 a)) 1)))) (fma (cos (exp (/ 1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ 1 a)))) (sin (- (exp (/ 1 a)) 1))))) (* (pow (cos (exp (/ 1 a))) 2) (pow (sin 1) 2))))) (atan (/ 1 a))) (/ 1 a)) in a
3.599 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ -1 a)))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (fma (cos (exp (/ -1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ -1 a)))) (sin (- (exp (/ -1 a)) 1))))) (* (pow (cos (exp (/ -1 a))) 2) (pow (sin 1) 2))))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
3.599 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ -1 a)))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (fma (cos (exp (/ -1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ -1 a)))) (sin (- (exp (/ -1 a)) 1))))) (* (pow (cos (exp (/ -1 a))) 2) (pow (sin 1) 2))))) (atan (/ -1 a))) (/ -1 a)) in a
3.603 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp (/ -1 a)) 1)) 3)) (+ (* 3/8 (* (sin (+ 1 (exp (/ -1 a)))) (pow (sin (- (exp (/ -1 a)) 1)) 2))) (+ (* 3/8 (* (pow (sin (+ 1 (exp (/ -1 a)))) 2) (sin (- (exp (/ -1 a)) 1)))) (* 1/8 (pow (sin (+ 1 (exp (/ -1 a)))) 3))))) (* (pow (cos (exp (/ -1 a))) 3) (pow (sin 1) 3))) (fma (fma 1/2 (sin (+ 1 (exp (/ -1 a)))) (* 1/2 (sin (- (exp (/ -1 a)) 1)))) (fma (cos (exp (/ -1 a))) (sin 1) (* 1/2 (+ (sin (+ 1 (exp (/ -1 a)))) (sin (- (exp (/ -1 a)) 1))))) (* (pow (cos (exp (/ -1 a))) 2) (pow (sin 1) 2))))) (atan (/ -1 a))) (/ -1 a)) in a
3.614 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2 3 1 1 1)
3.614 * [approximate]: Taking taylor expansion of (- (exp a) 1) in (a) around 0
3.614 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
3.614 * [taylor]: Taking taylor expansion of (exp a) in a
3.614 * [taylor]: Taking taylor expansion of a in a
3.614 * [taylor]: Taking taylor expansion of 1 in a
3.614 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
3.614 * [taylor]: Taking taylor expansion of (exp a) in a
3.614 * [taylor]: Taking taylor expansion of a in a
3.614 * [taylor]: Taking taylor expansion of 1 in a
3.619 * [approximate]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in (a) around 0
3.619 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
3.619 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.619 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.619 * [taylor]: Taking taylor expansion of a in a
3.620 * [taylor]: Taking taylor expansion of 1 in a
3.620 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
3.620 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.620 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.620 * [taylor]: Taking taylor expansion of a in a
3.620 * [taylor]: Taking taylor expansion of 1 in a
3.623 * [approximate]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in (a) around 0
3.623 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.623 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.623 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.623 * [taylor]: Taking taylor expansion of -1 in a
3.623 * [taylor]: Taking taylor expansion of a in a
3.624 * [taylor]: Taking taylor expansion of 1 in a
3.624 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.624 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.624 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.624 * [taylor]: Taking taylor expansion of -1 in a
3.624 * [taylor]: Taking taylor expansion of a in a
3.624 * [taylor]: Taking taylor expansion of 1 in a
3.627 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 2 1 3 2 1)
3.627 * [approximate]: Taking taylor expansion of (- (exp a) 1) in (a) around 0
3.627 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
3.627 * [taylor]: Taking taylor expansion of (exp a) in a
3.627 * [taylor]: Taking taylor expansion of a in a
3.628 * [taylor]: Taking taylor expansion of 1 in a
3.628 * [taylor]: Taking taylor expansion of (- (exp a) 1) in a
3.628 * [taylor]: Taking taylor expansion of (exp a) in a
3.628 * [taylor]: Taking taylor expansion of a in a
3.628 * [taylor]: Taking taylor expansion of 1 in a
3.637 * [approximate]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in (a) around 0
3.637 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
3.637 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.637 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.637 * [taylor]: Taking taylor expansion of a in a
3.638 * [taylor]: Taking taylor expansion of 1 in a
3.638 * [taylor]: Taking taylor expansion of (- (exp (/ 1 a)) 1) in a
3.638 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
3.638 * [taylor]: Taking taylor expansion of (/ 1 a) in a
3.638 * [taylor]: Taking taylor expansion of a in a
3.638 * [taylor]: Taking taylor expansion of 1 in a
3.641 * [approximate]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in (a) around 0
3.641 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.641 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.641 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.641 * [taylor]: Taking taylor expansion of -1 in a
3.641 * [taylor]: Taking taylor expansion of a in a
3.641 * [taylor]: Taking taylor expansion of 1 in a
3.642 * [taylor]: Taking taylor expansion of (- (exp (/ -1 a)) 1) in a
3.642 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
3.642 * [taylor]: Taking taylor expansion of (/ -1 a) in a
3.642 * [taylor]: Taking taylor expansion of -1 in a
3.642 * [taylor]: Taking taylor expansion of a in a
3.642 * [taylor]: Taking taylor expansion of 1 in a
3.645 * * * [progress]: simplifying candidates
3.646 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) (pow (/ 1 2) 3) (- (* (pow (sin 1) 3) (pow (cos (exp a)) 3))))
  (fma (- (pow (sin 1) 3)) (pow (cos (exp a)) 3) (* (pow (sin 1) 3) (pow (cos (exp a)) 3)))
  (fma (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) (pow (/ 1 2) 3) (- (* (pow (cos (exp a)) 3) (pow (sin 1) 3))))
  (fma (- (pow (cos (exp a)) 3)) (pow (sin 1) 3) (* (pow (cos (exp a)) 3) (pow (sin 1) 3)))
  (fma (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) (pow (/ 1 2) 3) (- (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))))))
  (fma (- (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1)))))
  (fma (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) (pow (/ 1 2) 3) (- (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)))))
  (fma (- (pow (* (cos (exp a)) (sin 1)) (/ 3 2))) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2))))
  (fma (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (- (* (pow (sin 1) 3) (pow (cos (exp a)) 3))))
  (fma (- (pow (sin 1) 3)) (pow (cos (exp a)) 3) (* (pow (sin 1) 3) (pow (cos (exp a)) 3)))
  (fma (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (- (* (pow (cos (exp a)) 3) (pow (sin 1) 3))))
  (fma (- (pow (cos (exp a)) 3)) (pow (sin 1) 3) (* (pow (cos (exp a)) 3) (pow (sin 1) 3)))
  (fma (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (- (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))))))
  (fma (- (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1)))))
  (fma (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (- (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)))))
  (fma (- (pow (* (cos (exp a)) (sin 1)) (/ 3 2))) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2))))
  (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (* (pow (sin 1) 3) (pow (cos (exp a)) 3))))
  (fma (- (pow (sin 1) 3)) (pow (cos (exp a)) 3) (* (pow (sin 1) 3) (pow (cos (exp a)) 3)))
  (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (* (pow (cos (exp a)) 3) (pow (sin 1) 3))))
  (fma (- (pow (cos (exp a)) 3)) (pow (sin 1) 3) (* (pow (cos (exp a)) 3) (pow (sin 1) 3)))
  (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))))))
  (fma (- (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (* (cos (exp a)) (sin 1)) (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1)))))
  (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)))))
  (fma (- (pow (* (cos (exp a)) (sin 1)) (/ 3 2))) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (* (pow (* (cos (exp a)) (sin 1)) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2))))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (+ (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (+ (* (* (cos (exp a)) (sin 1)) (* (cos (exp a)) (sin 1))) (* (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))))
  (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))
  (- (pow (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) 3) (pow (pow (* (cos (exp a)) (sin 1)) 3) 3))
  (+ (* (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3)) (+ (* (pow (* (cos (exp a)) (sin 1)) 3) (pow (* (cos (exp a)) (sin 1)) 3)) (* (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (* (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3)) (* (pow (* (cos (exp a)) (sin 1)) 3) (pow (* (cos (exp a)) (sin 1)) 3)))
  (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (* (cos (exp a)) (sin 1)) (/ 3 2)))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (exp a) 3) (pow 1 3))
  (+ (* (exp a) (exp a)) (+ (* 1 1) (* (exp a) 1)))
  (- 1)
  (- (* (exp a) (exp a)) (* 1 1))
  (+ (exp a) 1)
  (- 1)
  (- (pow (exp a) 3) (pow 1 3))
  (+ (* (exp a) (exp a)) (+ (* 1 1) (* (exp a) 1)))
  (- 1)
  (- (* (exp a) (exp a)) (* 1 1))
  (+ (exp a) 1)
  (- 1)
  (- (+ (* 3/2 (* (pow a 2) (* (pow (cos 1) 3) (pow (sin 1) 3)))) (+ (* 3/8 (* a (pow (sin 2) 2))) (+ (* 3/8 (* (pow a 2) (sin 2))) (+ (* 3/8 (* (cos 2) (* a (pow (sin 2) 2)))) (+ (* 1/8 (pow (sin 2) 3)) (+ (* 3/4 (* (pow a 2) (* (cos 2) (sin 2)))) (+ (* 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4)))) (+ (* 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4)))) (+ (* 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2)))) (+ (* 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2)))) (* 3/16 (* (pow a 2) (pow (sin 2) 2))))))))))))) (+ (* 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5)))) (+ (* 3/16 (* (pow a 2) (pow (sin 2) 3))) (* (pow (cos 1) 3) (pow (sin 1) 3)))))
  (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1)))) (+ (* 1/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (+ 1 (exp a))))) (* 3/8 (* (sin (+ 1 (exp a))) (pow (sin (- (exp a) 1)) 2)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3)))
  (- (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (+ 1 (exp a))))) (+ (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1)))) (* 1/8 (pow (sin (- (exp a) 1)) 3))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3)))
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
3.654 * * [simplify]: iteration  0 :  566  enodes  (cost  1126 )
3.665 * * [simplify]: iteration  1 :  2384  enodes  (cost  895 )
3.715 * * [simplify]: iteration  2 :  5001  enodes  (cost  886 )
3.718 * [simplify]: Simplified to:
   (- (* (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) 1/8) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (* (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) 1/8) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (* (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) 1/8) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (* (pow (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 3) 1/8) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (* (pow (cos (exp a)) 3) (+ (- (pow (sin 1) 3)) (pow (sin 1) 3)))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2)))
  (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))
  (- (pow (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) 3) (pow (pow (* (cos (exp a)) (sin 1)) 3) 3))
  (fma (pow (* (cos (exp a)) (sin 1)) 3) (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (fma (- (pow (* (cos (exp a)) (sin 1)) 3)) (pow (* (cos (exp a)) (sin 1)) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6))
  (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))
  (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3/2) (pow (* (cos (exp a)) (sin 1)) 3/2))
  (- (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3/2) (pow (* (cos (exp a)) (sin 1)) 3/2))
  (- (pow (* (cos (exp a)) (sin 1)) 3))
  (- (pow (exp a) 3) 1)
  (+ (+ (exp (+ a a)) 1) (exp a))
  (- 1)
  (expm1 (+ a a))
  (+ (exp a) 1)
  (- 1)
  (- (pow (exp a) 3) 1)
  (+ (+ (exp (+ a a)) 1) (exp a))
  (- 1)
  (expm1 (+ a a))
  (+ (exp a) 1)
  (- 1)
  (fma (* 3/2 (pow a 2)) (* (pow (cos 1) 3) (pow (sin 1) 3)) (- (fma 3/8 (* a (pow (sin 2) 2)) (fma 3/8 (* (pow a 2) (sin 2)) (fma 3/8 (* (cos 2) (* a (pow (sin 2) 2))) (fma 1/8 (pow (sin 2) 3) (fma 3/4 (* (pow a 2) (* (cos 2) (sin 2))) (fma 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2))) (fma 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2))) (* 3/16 (* (pow a 2) (pow (sin 2) 2)))))))))))) (fma 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5))) (fma 3/16 (* (pow a 2) (pow (sin 2) 3)) (* (pow (cos 1) 3) (pow (sin 1) 3))))))
  (fma (pow (sin (- (exp a) 1)) 3) 1/8 (- (fma 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2)) (fma 1/8 (pow (sin (+ (exp a) 1)) 3) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))))
  (fma (pow (sin (- (exp a) 1)) 3) 1/8 (- (fma 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2)) (fma 1/8 (pow (sin (+ (exp a) 1)) 3) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1)))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))))
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (fmod (atan2 (expm1 (/ (- (+ (* 1/8 (pow (sin (- (exp a) 1)) 3)) (+ (* 3/8 (* (sin (+ (exp a) 1)) (pow (sin (- (exp a) 1)) 2))) (+ (* 1/8 (pow (sin (+ (exp a) 1)) 3)) (* 3/8 (* (pow (sin (+ (exp a) 1)) 2) (sin (- (exp a) 1))))))) (* (pow (sin 1) 3) (pow (cos (exp a)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (* 1/2 (+ (sin (+ (exp a) 1)) (sin (- (exp a) 1))))) (* (pow (sin 1) 2) (pow (cos (exp a)) 2))))) (atan a)) a)
  (fma 1/6 (pow a 3) (fma 1/2 (pow a 2) a))
  (expm1 a)
  (expm1 a)
  (fma 1/6 (pow a 3) (fma 1/2 (pow a 2) a))
  (expm1 a)
  (expm1 a)
3.719 * * * [progress]: adding candidates to table
3.972 * [progress]: [Phase 3 of 3] Extracting.
3.972 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (cos 1) 2) (* (sin (exp a)) (sin (exp a))) (* (- (* (cos (exp a)) (cos (exp a)))) (pow (sin 1) 2))) (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (* 3/2 (pow a 2)) (* (pow (cos 1) 3) (pow (sin 1) 3)) (- (fma 3/8 (* a (pow (sin 2) 2)) (fma 3/8 (* (pow a 2) (sin 2)) (fma 3/8 (* (cos 2) (* a (pow (sin 2) 2))) (fma 1/8 (pow (sin 2) 3) (fma 3/4 (* (pow a 2) (* (cos 2) (sin 2))) (fma 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2))) (fma 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2))) (* 3/16 (* (pow a 2) (pow (sin 2) 2)))))))))))) (fma 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5))) (fma 3/16 (* (pow a 2) (pow (sin 2) 3)) (* (pow (cos 1) 3) (pow (sin 1) 3)))))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (/ (fma (- (pow (* (cos (exp a)) (sin 1)) 3)) (pow (* (cos (exp a)) (sin 1)) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6)) (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (cos 1) (sin (exp a)) (- (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))>)
3.988 * * * [regime-changes]: Trying 3 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) a)
3.988 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (cos 1) 2) (* (sin (exp a)) (sin (exp a))) (* (- (* (cos (exp a)) (cos (exp a)))) (pow (sin 1) 2))) (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (* 3/2 (pow a 2)) (* (pow (cos 1) 3) (pow (sin 1) 3)) (- (fma 3/8 (* a (pow (sin 2) 2)) (fma 3/8 (* (pow a 2) (sin 2)) (fma 3/8 (* (cos 2) (* a (pow (sin 2) 2))) (fma 1/8 (pow (sin 2) 3) (fma 3/4 (* (pow a 2) (* (cos 2) (sin 2))) (fma 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2))) (fma 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2))) (* 3/16 (* (pow a 2) (pow (sin 2) 2)))))))))))) (fma 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5))) (fma 3/16 (* (pow a 2) (pow (sin 2) 3)) (* (pow (cos 1) 3) (pow (sin 1) 3)))))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (/ (fma (- (pow (* (cos (exp a)) (sin 1)) 3)) (pow (* (cos (exp a)) (sin 1)) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6)) (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (cos 1) (sin (exp a)) (- (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))>)
4.088 * * * * [regimes]: Trying to branch on (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (cos 1) 2) (* (sin (exp a)) (sin (exp a))) (* (- (* (cos (exp a)) (cos (exp a)))) (pow (sin 1) 2))) (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (* 3/2 (pow a 2)) (* (pow (cos 1) 3) (pow (sin 1) 3)) (- (fma 3/8 (* a (pow (sin 2) 2)) (fma 3/8 (* (pow a 2) (sin 2)) (fma 3/8 (* (cos 2) (* a (pow (sin 2) 2))) (fma 1/8 (pow (sin 2) 3) (fma 3/4 (* (pow a 2) (* (cos 2) (sin 2))) (fma 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2))) (fma 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2))) (* 3/16 (* (pow a 2) (pow (sin 2) 2)))))))))))) (fma 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5))) (fma 3/16 (* (pow a 2) (pow (sin 2) 3)) (* (pow (cos 1) 3) (pow (sin 1) 3)))))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (/ (fma (- (pow (* (cos (exp a)) (sin 1)) 3)) (pow (* (cos (exp a)) (sin 1)) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6)) (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (cos 1) (sin (exp a)) (- (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))>)
4.191 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (cos 1) 2) (* (sin (exp a)) (sin (exp a))) (* (- (* (cos (exp a)) (cos (exp a)))) (pow (sin 1) 2))) (fma (sin (exp a)) (cos 1) (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (* 3/2 (pow a 2)) (* (pow (cos 1) 3) (pow (sin 1) 3)) (- (fma 3/8 (* a (pow (sin 2) 2)) (fma 3/8 (* (pow a 2) (sin 2)) (fma 3/8 (* (cos 2) (* a (pow (sin 2) 2))) (fma 1/8 (pow (sin 2) 3) (fma 3/4 (* (pow a 2) (* (cos 2) (sin 2))) (fma 3/2 (* (pow a 2) (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3 (* a (* (pow (cos 1) 2) (pow (sin 1) 4))) (fma 3/16 (* (pow a 2) (* (cos 2) (pow (sin 2) 2))) (fma 3/8 (* (pow a 2) (* (pow (cos 2) 2) (sin 2))) (* 3/16 (* (pow a 2) (pow (sin 2) 2)))))))))))) (fma 3 (* (pow a 2) (* (cos 1) (pow (sin 1) 5))) (fma 3/16 (* (pow a 2) (pow (sin 2) 3)) (* (pow (cos 1) 3) (pow (sin 1) 3)))))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (/ (fma (- (pow (* (cos (exp a)) (sin 1)) 3)) (pow (* (cos (exp a)) (sin 1)) 3) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 6)) (+ (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) 3) (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (* (sin (exp a)) (cos 1)) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (cos 1) (sin (exp a)) (- (* (cos (exp a)) (sin 1))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (- (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (* (cos (exp a)) (sin 1)))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (/ (fma (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (pow (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2) (/ 3 2)) (- (pow (* (cos (exp a)) (sin 1)) 3))) (fma (fma 1/2 (sin (+ (exp a) 1)) (* 1/2 (sin (- (exp a) 1)))) (fma (cos (exp a)) (sin 1) (/ (+ (sin (- (exp a) 1)) (sin (+ (exp a) 1))) 2)) (* (* (cos (exp a)) (cos (exp a))) (pow (sin 1) 2))))) (atan a)) a)))>)
4.267 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
4.268 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
4.268 * * [simplify]: iteration  0 :  8  enodes  (cost  7 )
4.268 * [simplify]: Simplified to:
   (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
18.690 * [regime-testing]: Baseline error score: 33.56113242839708
18.691 * [regime-testing]: Oracle error score: 32.82706162944791
18.693 * [regime-testing]: End program error score: 33.56113242839708