5.705 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
2.132 * * * [progress]: [2/2] Setting up program.
2.243 * [progress]: [Phase 2 of 3] Improving.
2.381 * [simplify]: Simplifying:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.396 * * [simplify]: iteration 0: 8 enodes
2.507 * * [simplify]: iteration complete: 8 enodes
2.512 * * [simplify]: Extracting #0: cost 1 inf + 0
2.517 * * [simplify]: Extracting #1: cost 2 inf + 0
2.517 * * [simplify]: Extracting #2: cost 4 inf + 0
2.523 * * [simplify]: Extracting #3: cost 5 inf + 1
2.524 * * [simplify]: Extracting #4: cost 5 inf + 107
2.524 * * [simplify]: Extracting #5: cost 6 inf + 107
2.524 * * [simplify]: Extracting #6: cost 4 inf + 309
2.524 * * [simplify]: Extracting #7: cost 0 inf + 2028
2.526 * [simplify]: Simplified to:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
2.572 * * [progress]: iteration 1 / 4
2.590 * * * [progress]: picking best candidate
4.095 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
4.096 * * * [progress]: localizing error
4.209 * * * [progress]: generating rewritten candidates
4.210 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.211 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
4.217 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.218 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
4.221 * * * [progress]: generating series expansions
4.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.371 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.371 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
4.400 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.457 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.457 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.458 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.483 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.486 * [backup-simplify]: Simplify 0 into 0
4.486 * [backup-simplify]: Simplify 0 into 0
4.486 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.582 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
4.582 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
4.582 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.582 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
4.582 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.582 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
4.583 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.583 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.610 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
4.610 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
4.610 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.610 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
4.610 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
4.611 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.612 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
4.612 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.612 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
4.612 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.612 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.614 * [taylor]: Rewrote expression to (- (exp a) 1)
4.614 * [taylor]: Taking taylor expansion of (exp a) in a
4.614 * [taylor]: Taking taylor expansion of a in a
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 1 into 1
4.626 * [backup-simplify]: Simplify (exp 0) into 1
4.626 * [taylor]: Taking taylor expansion of 1 in a
4.626 * [backup-simplify]: Simplify 1 into 1
4.638 * [backup-simplify]: Simplify (- 1) into -1
4.640 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.661 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.662 * [backup-simplify]: Simplify (- 0) into 0
4.662 * [backup-simplify]: Simplify (+ 1 0) into 1
4.662 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.662 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.662 * [taylor]: Rewrote expression to (- (exp a) 1)
4.663 * [taylor]: Taking taylor expansion of (exp a) in a
4.663 * [taylor]: Taking taylor expansion of a in a
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (exp 0) into 1
4.663 * [taylor]: Taking taylor expansion of 1 in a
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (- 1) into -1
4.664 * [backup-simplify]: Simplify (+ 1 -1) into 0
4.665 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
4.672 * [backup-simplify]: Simplify (- 0) into 0
4.672 * [backup-simplify]: Simplify (+ 1 0) into 1
4.673 * [backup-simplify]: Simplify 0 into 0
4.677 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
4.677 * [backup-simplify]: Simplify 1 into 1
4.681 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
4.681 * [backup-simplify]: Simplify (- 0) into 0
4.685 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
4.686 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 1/2 1) 1))) into 1/2
4.686 * [backup-simplify]: Simplify 1/2 into 1/2
4.689 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
4.690 * [backup-simplify]: Simplify (- 0) into 0
4.690 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
4.692 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 1/6 1) 1))) into 0
4.692 * [backup-simplify]: Simplify 0 into 0
4.701 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
4.726 * [backup-simplify]: Simplify (- 0) into 0
4.727 * [backup-simplify]: Simplify (+ 1/24 0) into 1/24
4.730 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 1/2 1) 1)) 0 0 (* 1 (/ (pow 1/24 1) 1))) into -5/24
4.730 * [backup-simplify]: Simplify -5/24 into -5/24
4.807 * [backup-simplify]: Simplify (+ (* -5/24 (pow a 4)) (+ (* 1/2 (pow a 2)) (* 1 a))) into (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
4.807 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
4.807 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
4.807 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.807 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.807 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
4.807 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
4.808 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.808 * [taylor]: Taking taylor expansion of a in a
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 1 into 1
4.813 * [backup-simplify]: Simplify (/ 1 1) into 1
4.828 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
4.828 * [taylor]: Taking taylor expansion of 1 in a
4.828 * [backup-simplify]: Simplify 1 into 1
4.829 * [backup-simplify]: Simplify (- 1) into -1
4.829 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
4.829 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
4.834 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
4.834 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.834 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.834 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
4.834 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
4.834 * [taylor]: Taking taylor expansion of (/ 1 a) in a
4.834 * [taylor]: Taking taylor expansion of a in a
4.834 * [backup-simplify]: Simplify 0 into 0
4.834 * [backup-simplify]: Simplify 1 into 1
4.835 * [backup-simplify]: Simplify (/ 1 1) into 1
4.835 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
4.835 * [taylor]: Taking taylor expansion of 1 in a
4.835 * [backup-simplify]: Simplify 1 into 1
4.836 * [backup-simplify]: Simplify (- 1) into -1
4.836 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
4.836 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
4.836 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
4.838 * [backup-simplify]: Simplify (* (sin (- (exp (/ 1 a)) 1)) 1) into (sin (- (exp (/ 1 a)) 1))
4.840 * [backup-simplify]: Simplify (* (cos (- (exp (/ 1 a)) 1)) 0) into 0
4.840 * [backup-simplify]: Simplify (+ (sin (- (exp (/ 1 a)) 1)) 0) into (sin (- (exp (/ 1 a)) 1))
4.840 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
4.860 * [backup-simplify]: Simplify (+ 0) into 0
4.861 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (* 0 1)) into 0
4.866 * [backup-simplify]: Simplify (- 0) into 0
4.873 * [backup-simplify]: Simplify (+ 0 0) into 0
4.874 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.875 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (* 0 0)) into 0
4.876 * [backup-simplify]: Simplify (+ 0 0) into 0
4.876 * [backup-simplify]: Simplify 0 into 0
4.877 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.881 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
4.885 * [backup-simplify]: Simplify (- 0) into 0
4.886 * [backup-simplify]: Simplify (+ 0 0) into 0
4.891 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.892 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
4.892 * [backup-simplify]: Simplify (+ 0 0) into 0
4.892 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.902 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.904 * [backup-simplify]: Simplify (- 0) into 0
4.909 * [backup-simplify]: Simplify (+ 0 0) into 0
4.910 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.913 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.918 * [backup-simplify]: Simplify (+ 0 0) into 0
4.918 * [backup-simplify]: Simplify 0 into 0
4.921 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
4.931 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.933 * [backup-simplify]: Simplify (- 0) into 0
4.934 * [backup-simplify]: Simplify (+ 0 0) into 0
4.935 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.937 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
4.953 * [backup-simplify]: Simplify (+ 0 0) into 0
4.953 * [backup-simplify]: Simplify 0 into 0
4.956 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.961 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.965 * [backup-simplify]: Simplify (- 0) into 0
4.970 * [backup-simplify]: Simplify (+ 0 0) into 0
4.977 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.980 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
4.981 * [backup-simplify]: Simplify (+ 0 0) into 0
4.981 * [backup-simplify]: Simplify 0 into 0
5.169 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.177 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.180 * [backup-simplify]: Simplify (- 0) into 0
5.180 * [backup-simplify]: Simplify (+ 0 0) into 0
5.184 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.186 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
5.186 * [backup-simplify]: Simplify (+ 0 0) into 0
5.186 * [backup-simplify]: Simplify 0 into 0
5.189 * [backup-simplify]: Simplify (sin (- (exp (/ 1 (/ 1 a))) 1)) into (sin (- (exp a) 1))
5.190 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
5.190 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
5.190 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.190 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.191 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.191 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.191 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.191 * [taylor]: Taking taylor expansion of -1 in a
5.191 * [backup-simplify]: Simplify -1 into -1
5.191 * [taylor]: Taking taylor expansion of a in a
5.191 * [backup-simplify]: Simplify 0 into 0
5.191 * [backup-simplify]: Simplify 1 into 1
5.205 * [backup-simplify]: Simplify (/ -1 1) into -1
5.210 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.210 * [taylor]: Taking taylor expansion of 1 in a
5.210 * [backup-simplify]: Simplify 1 into 1
5.210 * [backup-simplify]: Simplify (- 1) into -1
5.210 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
5.211 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
5.211 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
5.211 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.211 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.211 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.211 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.211 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.211 * [taylor]: Taking taylor expansion of -1 in a
5.211 * [backup-simplify]: Simplify -1 into -1
5.211 * [taylor]: Taking taylor expansion of a in a
5.211 * [backup-simplify]: Simplify 0 into 0
5.211 * [backup-simplify]: Simplify 1 into 1
5.212 * [backup-simplify]: Simplify (/ -1 1) into -1
5.212 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.212 * [taylor]: Taking taylor expansion of 1 in a
5.212 * [backup-simplify]: Simplify 1 into 1
5.212 * [backup-simplify]: Simplify (- 1) into -1
5.212 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
5.212 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
5.213 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
5.213 * [backup-simplify]: Simplify (* (sin (- (exp (/ -1 a)) 1)) 1) into (sin (- (exp (/ -1 a)) 1))
5.213 * [backup-simplify]: Simplify (* (cos (- (exp (/ -1 a)) 1)) 0) into 0
5.214 * [backup-simplify]: Simplify (+ (sin (- (exp (/ -1 a)) 1)) 0) into (sin (- (exp (/ -1 a)) 1))
5.214 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
5.214 * [backup-simplify]: Simplify (+ 0) into 0
5.215 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (* 0 1)) into 0
5.215 * [backup-simplify]: Simplify (- 0) into 0
5.216 * [backup-simplify]: Simplify (+ 0 0) into 0
5.216 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.217 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (* 0 0)) into 0
5.217 * [backup-simplify]: Simplify (+ 0 0) into 0
5.217 * [backup-simplify]: Simplify 0 into 0
5.218 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.219 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
5.220 * [backup-simplify]: Simplify (- 0) into 0
5.221 * [backup-simplify]: Simplify (+ 0 0) into 0
5.222 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.222 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
5.222 * [backup-simplify]: Simplify (+ 0 0) into 0
5.222 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.223 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.224 * [backup-simplify]: Simplify (- 0) into 0
5.224 * [backup-simplify]: Simplify (+ 0 0) into 0
5.225 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.225 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.226 * [backup-simplify]: Simplify (+ 0 0) into 0
5.226 * [backup-simplify]: Simplify 0 into 0
5.228 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.229 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.230 * [backup-simplify]: Simplify (- 0) into 0
5.230 * [backup-simplify]: Simplify (+ 0 0) into 0
5.232 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.233 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
5.234 * [backup-simplify]: Simplify (+ 0 0) into 0
5.234 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.237 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.237 * [backup-simplify]: Simplify (- 0) into 0
5.238 * [backup-simplify]: Simplify (+ 0 0) into 0
5.240 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.241 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
5.242 * [backup-simplify]: Simplify (+ 0 0) into 0
5.242 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.247 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.248 * [backup-simplify]: Simplify (- 0) into 0
5.248 * [backup-simplify]: Simplify (+ 0 0) into 0
5.251 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.253 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
5.253 * [backup-simplify]: Simplify (+ 0 0) into 0
5.253 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify (sin (- (exp (/ -1 (/ 1 (- a)))) 1)) into (sin (- (exp a) 1))
5.254 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
5.254 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
5.254 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
5.254 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
5.254 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
5.254 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
5.254 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.254 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.254 * [taylor]: Rewrote expression to (- (exp a) 1)
5.254 * [taylor]: Taking taylor expansion of (exp a) in a
5.254 * [taylor]: Taking taylor expansion of a in a
5.254 * [backup-simplify]: Simplify 0 into 0
5.254 * [backup-simplify]: Simplify 1 into 1
5.254 * [backup-simplify]: Simplify (exp 0) into 1
5.254 * [taylor]: Taking taylor expansion of 1 in a
5.255 * [backup-simplify]: Simplify 1 into 1
5.255 * [backup-simplify]: Simplify (- 1) into -1
5.255 * [backup-simplify]: Simplify (+ 1 -1) into 0
5.256 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.257 * [backup-simplify]: Simplify (- 0) into 0
5.257 * [backup-simplify]: Simplify (+ 1 0) into 1
5.258 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.258 * [backup-simplify]: Simplify (exp 0) into 1
5.258 * [taylor]: Taking taylor expansion of 1 in a
5.258 * [backup-simplify]: Simplify 1 into 1
5.258 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
5.258 * [taylor]: Rewrote expression to (- (exp (sin (expm1 a))) 1)
5.258 * [taylor]: Taking taylor expansion of (exp (sin (expm1 a))) in a
5.258 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
5.258 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.258 * [taylor]: Rewrote expression to (- (exp a) 1)
5.258 * [taylor]: Taking taylor expansion of (exp a) in a
5.258 * [taylor]: Taking taylor expansion of a in a
5.259 * [backup-simplify]: Simplify 0 into 0
5.259 * [backup-simplify]: Simplify 1 into 1
5.259 * [backup-simplify]: Simplify (exp 0) into 1
5.259 * [taylor]: Taking taylor expansion of 1 in a
5.259 * [backup-simplify]: Simplify 1 into 1
5.259 * [backup-simplify]: Simplify (- 1) into -1
5.259 * [backup-simplify]: Simplify (+ 1 -1) into 0
5.260 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.261 * [backup-simplify]: Simplify (- 0) into 0
5.261 * [backup-simplify]: Simplify (+ 1 0) into 1
5.262 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
5.262 * [backup-simplify]: Simplify (exp 0) into 1
5.262 * [taylor]: Taking taylor expansion of 1 in a
5.262 * [backup-simplify]: Simplify 1 into 1
5.263 * [backup-simplify]: Simplify (- 1) into -1
5.263 * [backup-simplify]: Simplify (+ 1 -1) into 0
5.263 * [backup-simplify]: Simplify 0 into 0
5.264 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.264 * [backup-simplify]: Simplify (- 0) into 0
5.265 * [backup-simplify]: Simplify (+ 1 0) into 1
5.265 * [backup-simplify]: Simplify 1 into 1
5.267 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.267 * [backup-simplify]: Simplify (- 0) into 0
5.267 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.268 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 1/2 1) 1))) into 1/2
5.270 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into 1
5.270 * [backup-simplify]: Simplify (- 0) into 0
5.271 * [backup-simplify]: Simplify (+ 1 0) into 1
5.271 * [backup-simplify]: Simplify 1 into 1
5.274 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
5.274 * [backup-simplify]: Simplify (- 0) into 0
5.274 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.276 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 1/6 1) 1))) into 0
5.279 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 2/3
5.279 * [backup-simplify]: Simplify (- 0) into 0
5.280 * [backup-simplify]: Simplify (+ 2/3 0) into 2/3
5.280 * [backup-simplify]: Simplify 2/3 into 2/3
5.281 * [backup-simplify]: Simplify (+ (* 2/3 (pow a 3)) (+ (* 1 (pow a 2)) (* 1 a))) into (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
5.281 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
5.281 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
5.281 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
5.281 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
5.281 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
5.281 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.281 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.281 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.281 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.281 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.281 * [taylor]: Taking taylor expansion of a in a
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 1 into 1
5.282 * [backup-simplify]: Simplify (/ 1 1) into 1
5.282 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
5.282 * [taylor]: Taking taylor expansion of 1 in a
5.282 * [backup-simplify]: Simplify 1 into 1
5.282 * [backup-simplify]: Simplify (- 1) into -1
5.282 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
5.283 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
5.283 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
5.283 * [backup-simplify]: Simplify (* (sin (- (exp (/ 1 a)) 1)) 1) into (sin (- (exp (/ 1 a)) 1))
5.283 * [backup-simplify]: Simplify (* (cos (- (exp (/ 1 a)) 1)) 0) into 0
5.283 * [backup-simplify]: Simplify (+ (sin (- (exp (/ 1 a)) 1)) 0) into (sin (- (exp (/ 1 a)) 1))
5.283 * [backup-simplify]: Simplify (exp (sin (- (exp (/ 1 a)) 1))) into (exp (sin (- (exp (/ 1 a)) 1)))
5.284 * [taylor]: Taking taylor expansion of 1 in a
5.284 * [backup-simplify]: Simplify 1 into 1
5.284 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
5.284 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ 1 a)))) 1)
5.284 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ 1 a)))) in a
5.284 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
5.284 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.284 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.284 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.284 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.284 * [taylor]: Taking taylor expansion of a in a
5.284 * [backup-simplify]: Simplify 0 into 0
5.284 * [backup-simplify]: Simplify 1 into 1
5.284 * [backup-simplify]: Simplify (/ 1 1) into 1
5.285 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
5.285 * [taylor]: Taking taylor expansion of 1 in a
5.285 * [backup-simplify]: Simplify 1 into 1
5.285 * [backup-simplify]: Simplify (- 1) into -1
5.286 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
5.286 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
5.286 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
5.286 * [backup-simplify]: Simplify (* (sin (- (exp (/ 1 a)) 1)) 1) into (sin (- (exp (/ 1 a)) 1))
5.286 * [backup-simplify]: Simplify (* (cos (- (exp (/ 1 a)) 1)) 0) into 0
5.286 * [backup-simplify]: Simplify (+ (sin (- (exp (/ 1 a)) 1)) 0) into (sin (- (exp (/ 1 a)) 1))
5.287 * [backup-simplify]: Simplify (exp (sin (- (exp (/ 1 a)) 1))) into (exp (sin (- (exp (/ 1 a)) 1)))
5.287 * [taylor]: Taking taylor expansion of 1 in a
5.287 * [backup-simplify]: Simplify 1 into 1
5.288 * [backup-simplify]: Simplify (- 1) into -1
5.288 * [backup-simplify]: Simplify (+ (exp (sin (- (exp (/ 1 a)) 1))) -1) into (- (exp (sin (- (exp (/ 1 a)) 1))) 1)
5.288 * [backup-simplify]: Simplify (- (exp (sin (- (exp (/ 1 a)) 1))) 1) into (- (exp (sin (- (exp (/ 1 a)) 1))) 1)
5.289 * [backup-simplify]: Simplify (+ 0) into 0
5.290 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (* 0 1)) into 0
5.290 * [backup-simplify]: Simplify (- 0) into 0
5.290 * [backup-simplify]: Simplify (+ 0 0) into 0
5.291 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.292 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (* 0 0)) into 0
5.292 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.294 * [backup-simplify]: Simplify (- 0) into 0
5.294 * [backup-simplify]: Simplify (+ 0 0) into 0
5.294 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.296 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
5.296 * [backup-simplify]: Simplify (- 0) into 0
5.297 * [backup-simplify]: Simplify (+ 0 0) into 0
5.298 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.298 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
5.299 * [backup-simplify]: Simplify (+ 0 0) into 0
5.300 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.300 * [backup-simplify]: Simplify (- 0) into 0
5.301 * [backup-simplify]: Simplify (+ 0 0) into 0
5.301 * [backup-simplify]: Simplify 0 into 0
5.302 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.303 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.303 * [backup-simplify]: Simplify (- 0) into 0
5.304 * [backup-simplify]: Simplify (+ 0 0) into 0
5.305 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.306 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.306 * [backup-simplify]: Simplify (+ 0 0) into 0
5.308 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.309 * [backup-simplify]: Simplify (- 0) into 0
5.309 * [backup-simplify]: Simplify (+ 0 0) into 0
5.309 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.312 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.313 * [backup-simplify]: Simplify (- 0) into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.315 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.316 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
5.316 * [backup-simplify]: Simplify (+ 0 0) into 0
5.319 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.319 * [backup-simplify]: Simplify (- 0) into 0
5.320 * [backup-simplify]: Simplify (+ 0 0) into 0
5.320 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.323 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.323 * [backup-simplify]: Simplify (- 0) into 0
5.323 * [backup-simplify]: Simplify (+ 0 0) into 0
5.326 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.327 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
5.327 * [backup-simplify]: Simplify (+ 0 0) into 0
5.331 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.332 * [backup-simplify]: Simplify (- 0) into 0
5.332 * [backup-simplify]: Simplify (+ 0 0) into 0
5.332 * [backup-simplify]: Simplify 0 into 0
5.408 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.425 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.428 * [backup-simplify]: Simplify (- 0) into 0
5.462 * [backup-simplify]: Simplify (+ 0 0) into 0
5.521 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.533 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
5.534 * [backup-simplify]: Simplify (+ 0 0) into 0
5.576 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ 1 a)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.577 * [backup-simplify]: Simplify (- 0) into 0
5.578 * [backup-simplify]: Simplify (+ 0 0) into 0
5.578 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify (- (exp (sin (- (exp (/ 1 (/ 1 a))) 1))) 1) into (- (exp (sin (- (exp a) 1))) 1)
5.582 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (- a))))) into (expm1 (sin (expm1 (/ -1 a))))
5.582 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
5.583 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
5.593 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
5.594 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
5.594 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.594 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.594 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.595 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.595 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.600 * [taylor]: Taking taylor expansion of -1 in a
5.600 * [backup-simplify]: Simplify -1 into -1
5.600 * [taylor]: Taking taylor expansion of a in a
5.600 * [backup-simplify]: Simplify 0 into 0
5.600 * [backup-simplify]: Simplify 1 into 1
5.625 * [backup-simplify]: Simplify (/ -1 1) into -1
5.625 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.625 * [taylor]: Taking taylor expansion of 1 in a
5.632 * [backup-simplify]: Simplify 1 into 1
5.637 * [backup-simplify]: Simplify (- 1) into -1
5.638 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
5.638 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
5.639 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
5.640 * [backup-simplify]: Simplify (* (sin (- (exp (/ -1 a)) 1)) 1) into (sin (- (exp (/ -1 a)) 1))
5.641 * [backup-simplify]: Simplify (* (cos (- (exp (/ -1 a)) 1)) 0) into 0
5.650 * [backup-simplify]: Simplify (+ (sin (- (exp (/ -1 a)) 1)) 0) into (sin (- (exp (/ -1 a)) 1))
5.665 * [backup-simplify]: Simplify (exp (sin (- (exp (/ -1 a)) 1))) into (exp (sin (- (exp (/ -1 a)) 1)))
5.665 * [taylor]: Taking taylor expansion of 1 in a
5.668 * [backup-simplify]: Simplify 1 into 1
5.671 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
5.675 * [taylor]: Rewrote expression to (- (exp (sin (expm1 (/ -1 a)))) 1)
5.675 * [taylor]: Taking taylor expansion of (exp (sin (expm1 (/ -1 a)))) in a
5.675 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
5.675 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.676 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.676 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.676 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.676 * [taylor]: Taking taylor expansion of -1 in a
5.676 * [backup-simplify]: Simplify -1 into -1
5.676 * [taylor]: Taking taylor expansion of a in a
5.676 * [backup-simplify]: Simplify 0 into 0
5.676 * [backup-simplify]: Simplify 1 into 1
5.732 * [backup-simplify]: Simplify (/ -1 1) into -1
5.732 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.733 * [taylor]: Taking taylor expansion of 1 in a
5.733 * [backup-simplify]: Simplify 1 into 1
5.734 * [backup-simplify]: Simplify (- 1) into -1
5.734 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
5.734 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
5.735 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
5.735 * [backup-simplify]: Simplify (* (sin (- (exp (/ -1 a)) 1)) 1) into (sin (- (exp (/ -1 a)) 1))
5.735 * [backup-simplify]: Simplify (* (cos (- (exp (/ -1 a)) 1)) 0) into 0
5.735 * [backup-simplify]: Simplify (+ (sin (- (exp (/ -1 a)) 1)) 0) into (sin (- (exp (/ -1 a)) 1))
5.735 * [backup-simplify]: Simplify (exp (sin (- (exp (/ -1 a)) 1))) into (exp (sin (- (exp (/ -1 a)) 1)))
5.735 * [taylor]: Taking taylor expansion of 1 in a
5.735 * [backup-simplify]: Simplify 1 into 1
5.736 * [backup-simplify]: Simplify (- 1) into -1
5.736 * [backup-simplify]: Simplify (+ (exp (sin (- (exp (/ -1 a)) 1))) -1) into (- (exp (sin (- (exp (/ -1 a)) 1))) 1)
5.737 * [backup-simplify]: Simplify (- (exp (sin (- (exp (/ -1 a)) 1))) 1) into (- (exp (sin (- (exp (/ -1 a)) 1))) 1)
5.737 * [backup-simplify]: Simplify (+ 0) into 0
5.738 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (* 0 1)) into 0
5.738 * [backup-simplify]: Simplify (- 0) into 0
5.739 * [backup-simplify]: Simplify (+ 0 0) into 0
5.739 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
5.740 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (* 0 0)) into 0
5.740 * [backup-simplify]: Simplify (+ 0 0) into 0
5.750 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
5.750 * [backup-simplify]: Simplify (- 0) into 0
5.750 * [backup-simplify]: Simplify (+ 0 0) into 0
5.750 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
5.752 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
5.753 * [backup-simplify]: Simplify (- 0) into 0
5.753 * [backup-simplify]: Simplify (+ 0 0) into 0
5.754 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
5.754 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
5.755 * [backup-simplify]: Simplify (+ 0 0) into 0
5.756 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.756 * [backup-simplify]: Simplify (- 0) into 0
5.756 * [backup-simplify]: Simplify (+ 0 0) into 0
5.756 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.767 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.767 * [backup-simplify]: Simplify (- 0) into 0
5.768 * [backup-simplify]: Simplify (+ 0 0) into 0
5.769 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
5.770 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
5.770 * [backup-simplify]: Simplify (+ 0 0) into 0
5.772 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.772 * [backup-simplify]: Simplify (- 0) into 0
5.773 * [backup-simplify]: Simplify (+ 0 0) into 0
5.773 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.785 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.785 * [backup-simplify]: Simplify (- 0) into 0
5.786 * [backup-simplify]: Simplify (+ 0 0) into 0
5.787 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.789 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
5.789 * [backup-simplify]: Simplify (+ 0 0) into 0
5.792 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.793 * [backup-simplify]: Simplify (- 0) into 0
5.793 * [backup-simplify]: Simplify (+ 0 0) into 0
5.793 * [backup-simplify]: Simplify 0 into 0
5.795 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
5.796 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.797 * [backup-simplify]: Simplify (- 0) into 0
5.797 * [backup-simplify]: Simplify (+ 0 0) into 0
5.800 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.801 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
5.801 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.806 * [backup-simplify]: Simplify (- 0) into 0
5.806 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
5.811 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.812 * [backup-simplify]: Simplify (- 0) into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.816 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
5.817 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
5.817 * [backup-simplify]: Simplify (+ 0 0) into 0
5.823 * [backup-simplify]: Simplify (* (exp (sin (- (exp (/ -1 a)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.823 * [backup-simplify]: Simplify (- 0) into 0
5.824 * [backup-simplify]: Simplify (+ 0 0) into 0
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify (- (exp (sin (- (exp (/ -1 (/ 1 (- a)))) 1))) 1) into (- (exp (sin (- (exp a) 1))) 1)
5.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
5.825 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
5.825 * [approximate]: Taking taylor expansion of (expm1 a) in (a) around 0
5.825 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.827 * [taylor]: Rewrote expression to (- (exp a) 1)
5.827 * [taylor]: Taking taylor expansion of (exp a) in a
5.827 * [taylor]: Taking taylor expansion of a in a
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [backup-simplify]: Simplify (exp 0) into 1
5.827 * [taylor]: Taking taylor expansion of 1 in a
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [taylor]: Taking taylor expansion of (expm1 a) in a
5.827 * [taylor]: Rewrote expression to (- (exp a) 1)
5.827 * [taylor]: Taking taylor expansion of (exp a) in a
5.827 * [taylor]: Taking taylor expansion of a in a
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [backup-simplify]: Simplify (exp 0) into 1
5.827 * [taylor]: Taking taylor expansion of 1 in a
5.827 * [backup-simplify]: Simplify 1 into 1
5.828 * [backup-simplify]: Simplify (- 1) into -1
5.828 * [backup-simplify]: Simplify (+ 1 -1) into 0
5.828 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.830 * [backup-simplify]: Simplify (- 0) into 0
5.830 * [backup-simplify]: Simplify (+ 1 0) into 1
5.830 * [backup-simplify]: Simplify 1 into 1
5.833 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.834 * [backup-simplify]: Simplify (- 0) into 0
5.834 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.834 * [backup-simplify]: Simplify 1/2 into 1/2
5.836 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
5.837 * [backup-simplify]: Simplify (- 0) into 0
5.841 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.841 * [backup-simplify]: Simplify 1/6 into 1/6
5.842 * [backup-simplify]: Simplify (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) (* 1 a))) into (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
5.842 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
5.842 * [approximate]: Taking taylor expansion of (expm1 (/ 1 a)) in (a) around 0
5.842 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.842 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.842 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.842 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.842 * [taylor]: Taking taylor expansion of a in a
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.843 * [backup-simplify]: Simplify (/ 1 1) into 1
5.843 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
5.843 * [taylor]: Taking taylor expansion of 1 in a
5.843 * [backup-simplify]: Simplify 1 into 1
5.843 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
5.843 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
5.843 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
5.843 * [taylor]: Taking taylor expansion of (/ 1 a) in a
5.843 * [taylor]: Taking taylor expansion of a in a
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify (/ 1 1) into 1
5.844 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
5.844 * [taylor]: Taking taylor expansion of 1 in a
5.844 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify (- 1) into -1
5.845 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
5.845 * [backup-simplify]: Simplify (- (exp (/ 1 a)) 1) into (- (exp (/ 1 a)) 1)
5.845 * [backup-simplify]: Simplify (- 0) into 0
5.846 * [backup-simplify]: Simplify (+ 0 0) into 0
5.846 * [backup-simplify]: Simplify 0 into 0
5.846 * [backup-simplify]: Simplify (- 0) into 0
5.846 * [backup-simplify]: Simplify (+ 0 0) into 0
5.846 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (- 0) into 0
5.847 * [backup-simplify]: Simplify (+ 0 0) into 0
5.847 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (- 0) into 0
5.848 * [backup-simplify]: Simplify (+ 0 0) into 0
5.848 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify (- 0) into 0
5.848 * [backup-simplify]: Simplify (+ 0 0) into 0
5.849 * [backup-simplify]: Simplify 0 into 0
5.849 * [backup-simplify]: Simplify (- 0) into 0
5.849 * [backup-simplify]: Simplify (+ 0 0) into 0
5.849 * [backup-simplify]: Simplify 0 into 0
5.850 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 a))) 1) into (- (exp a) 1)
5.850 * [backup-simplify]: Simplify (expm1 (/ 1 (- a))) into (expm1 (/ -1 a))
5.850 * [approximate]: Taking taylor expansion of (expm1 (/ -1 a)) in (a) around 0
5.850 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.850 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.850 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.850 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.850 * [taylor]: Taking taylor expansion of -1 in a
5.850 * [backup-simplify]: Simplify -1 into -1
5.850 * [taylor]: Taking taylor expansion of a in a
5.850 * [backup-simplify]: Simplify 0 into 0
5.850 * [backup-simplify]: Simplify 1 into 1
5.851 * [backup-simplify]: Simplify (/ -1 1) into -1
5.851 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.851 * [taylor]: Taking taylor expansion of 1 in a
5.851 * [backup-simplify]: Simplify 1 into 1
5.851 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
5.851 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
5.851 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
5.851 * [taylor]: Taking taylor expansion of (/ -1 a) in a
5.851 * [taylor]: Taking taylor expansion of -1 in a
5.851 * [backup-simplify]: Simplify -1 into -1
5.851 * [taylor]: Taking taylor expansion of a in a
5.851 * [backup-simplify]: Simplify 0 into 0
5.851 * [backup-simplify]: Simplify 1 into 1
5.852 * [backup-simplify]: Simplify (/ -1 1) into -1
5.852 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
5.852 * [taylor]: Taking taylor expansion of 1 in a
5.852 * [backup-simplify]: Simplify 1 into 1
5.852 * [backup-simplify]: Simplify (- 1) into -1
5.853 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
5.853 * [backup-simplify]: Simplify (- (exp (/ -1 a)) 1) into (- (exp (/ -1 a)) 1)
5.853 * [backup-simplify]: Simplify (- 0) into 0
5.853 * [backup-simplify]: Simplify (+ 0 0) into 0
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [backup-simplify]: Simplify (- 0) into 0
5.854 * [backup-simplify]: Simplify (+ 0 0) into 0
5.854 * [backup-simplify]: Simplify 0 into 0
5.855 * [backup-simplify]: Simplify (- 0) into 0
5.855 * [backup-simplify]: Simplify (+ 0 0) into 0
5.855 * [backup-simplify]: Simplify 0 into 0
5.856 * [backup-simplify]: Simplify (- 0) into 0
5.856 * [backup-simplify]: Simplify (+ 0 0) into 0
5.856 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (- 0) into 0
5.857 * [backup-simplify]: Simplify (+ 0 0) into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (- 0) into 0
5.858 * [backup-simplify]: Simplify (+ 0 0) into 0
5.858 * [backup-simplify]: Simplify 0 into 0
5.858 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- a)))) 1) into (- (exp a) 1)
5.859 * * * [progress]: simplifying candidates
5.902 * [simplify]: Simplifying:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (log1p (expm1 (sin (expm1 a))))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))) (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (exp a)
  (expm1 (expm1 a))
  (log1p (expm1 a))
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (* (expm1 a) (expm1 a)) (expm1 a))
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
  (+ (* 2/3 (pow a 3)) (+ (pow a 2) a))
  (- (exp (sin (- (exp a) 1))) 1)
  (- (exp (sin (- (exp a) 1))) 1)
  (+ (* 1/6 (pow a 3)) (+ (* 1/2 (pow a 2)) a))
  (- (exp a) 1)
  (- (exp a) 1)
5.907 * * [simplify]: iteration 0: 73 enodes
6.108 * * [simplify]: iteration 1: 131 enodes
6.721 * * [simplify]: iteration 2: 252 enodes
7.232 * * [simplify]: iteration 3: 638 enodes
9.486 * * [simplify]: iteration 4: 1687 enodes
16.813 * * [simplify]: iteration 5: 3918 enodes
19.769 * * [simplify]: iteration complete: 5000 enodes
19.781 * * [simplify]: Extracting #0: cost 40 inf + 0
19.786 * * [simplify]: Extracting #1: cost 252 inf + 72
19.831 * * [simplify]: Extracting #2: cost 564 inf + 4781
19.878 * * [simplify]: Extracting #3: cost 289 inf + 54267
20.122 * * [simplify]: Extracting #4: cost 28 inf + 149715
20.227 * * [simplify]: Extracting #5: cost 0 inf + 158887
20.396 * * [simplify]: Extracting #6: cost 0 inf + 158625
20.470 * [simplify]: Simplified to:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (cos 1) (sin (exp a)))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (sin (expm1 a)) (* (sin (expm1 a)) (sin (expm1 a))))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (expm1 (expm1 (sin (expm1 a))))
  (sin (expm1 a))
  (log (expm1 (sin (expm1 a))))
  (exp (expm1 (sin (expm1 a))))
  (* (cbrt (expm1 (sin (expm1 a)))) (cbrt (expm1 (sin (expm1 a)))))
  (cbrt (expm1 (sin (expm1 a))))
  (* (expm1 (sin (expm1 a))) (* (expm1 (sin (expm1 a))) (expm1 (sin (expm1 a)))))
  (sqrt (expm1 (sin (expm1 a))))
  (sqrt (expm1 (sin (expm1 a))))
  (exp a)
  (expm1 (expm1 a))
  a
  (log (expm1 a))
  (exp (expm1 a))
  (* (cbrt (expm1 a)) (cbrt (expm1 a)))
  (cbrt (expm1 a))
  (* (expm1 a) (* (expm1 a) (expm1 a)))
  (sqrt (expm1 a))
  (sqrt (expm1 a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (* a a) (fma -5/24 (* a a) 1/2) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (fma a (fma (* a a) 2/3 a) a)
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (fma (* a a) (fma a 1/6 1/2) a)
  (expm1 a)
  (expm1 a)
20.474 * * * [progress]: adding candidates to table
20.983 * * [progress]: iteration 2 / 4
20.984 * * * [progress]: picking best candidate
21.287 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>
21.287 * * * [progress]: localizing error
21.417 * * * [progress]: generating rewritten candidates
21.421 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
21.423 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
21.423 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
21.424 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 1)
21.433 * * * [progress]: generating series expansions
21.435 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
21.445 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.445 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
21.445 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.446 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.446 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.446 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.447 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify 0 into 0
21.447 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.448 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.448 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
21.448 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.448 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.448 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.449 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.449 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 0 into 0
21.449 * [backup-simplify]: Simplify 0 into 0
21.450 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.450 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.450 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
21.450 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.451 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.451 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.451 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.451 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.451 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify 0 into 0
21.452 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
21.452 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.452 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
21.452 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.453 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.453 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.453 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.453 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.453 * [backup-simplify]: Simplify 0 into 0
21.453 * [backup-simplify]: Simplify 0 into 0
21.453 * [backup-simplify]: Simplify 0 into 0
21.453 * [backup-simplify]: Simplify 0 into 0
21.453 * [backup-simplify]: Simplify 0 into 0
21.453 * [backup-simplify]: Simplify 0 into 0
21.454 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.454 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.454 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
21.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.454 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.454 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.455 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.455 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.455 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify 0 into 0
21.455 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify 0 into 0
21.456 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.456 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.456 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
21.456 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.457 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.457 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.457 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.458 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify 0 into 0
21.458 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.458 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
21.459 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.459 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
21.459 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.459 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.459 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
21.459 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.460 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify 0 into 0
21.460 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.461 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.461 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
21.461 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.463 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.463 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
21.464 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.464 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 0 into 0
21.464 * [backup-simplify]: Simplify 0 into 0
21.465 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.465 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.465 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
21.465 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.466 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.466 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
21.466 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.466 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 0 into 0
21.466 * [backup-simplify]: Simplify 0 into 0
21.467 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
21.467 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 1)
21.467 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
21.467 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
21.467 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
21.467 * [taylor]: Taking taylor expansion of (expm1 a) in a
21.467 * [taylor]: Rewrote expression to (- (exp a) 1)
21.467 * [taylor]: Taking taylor expansion of (exp a) in a
21.467 * [taylor]: Taking taylor expansion of a in a
21.467 * [backup-simplify]: Simplify 0 into 0
21.467 * [backup-simplify]: Simplify 1 into 1
21.467 * [backup-simplify]: Simplify (exp 0) into 1
21.467 * [taylor]: Taking taylor expansion of 1 in a
21.467 * [backup-simplify]: Simplify 1 into 1
21.489 * [backup-simplify]: Simplify (- 1) into -1
21.489 * [backup-simplify]: Simplify (+ 1 -1) into 0
21.490 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
21.491 * [backup-simplify]: Simplify (- 0) into 0
21.491 * [backup-simplify]: Simplify (+ 1 0) into 1
21.491 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
21.491 * [taylor]: Taking taylor expansion of (expm1 a) in a
21.491 * [taylor]: Rewrote expression to (- (exp a) 1)
21.491 * [taylor]: Taking taylor expansion of (exp a) in a
21.492 * [taylor]: Taking taylor expansion of a in a
21.492 * [backup-simplify]: Simplify 0 into 0
21.492 * [backup-simplify]: Simplify 1 into 1
21.492 * [backup-simplify]: Simplify (exp 0) into 1
21.492 * [taylor]: Taking taylor expansion of 1 in a
21.492 * [backup-simplify]: Simplify 1 into 1
21.492 * [backup-simplify]: Simplify (- 1) into -1
21.492 * [backup-simplify]: Simplify (+ 1 -1) into 0
21.496 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
21.496 * [backup-simplify]: Simplify (- 0) into 0
21.497 * [backup-simplify]: Simplify (+ 1 0) into 1
21.497 * [backup-simplify]: Simplify 0 into 0
21.497 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 1) 1))) into 1
21.497 * [backup-simplify]: Simplify 1 into 1
21.523 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
21.524 * [backup-simplify]: Simplify (- 0) into 0
21.524 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
21.525 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 1/2 1) 1))) into 1/2
21.525 * [backup-simplify]: Simplify 1/2 into 1/2
21.528 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
21.528 * [backup-simplify]: Simplify (- 0) into 0
21.529 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
21.531 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 3) 6)) 0 (* 1 (/ (pow 1/6 1) 1))) into 0
21.531 * [backup-simplify]: Simplify 0 into 0
21.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
21.535 * [backup-simplify]: Simplify (- 0) into 0
21.536 * [backup-simplify]: Simplify (+ 1/24 0) into 1/24
21.538 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 2) 2) (/ (pow 1/2 1) 1)) 0 0 (* 1 (/ (pow 1/24 1) 1))) into -5/24
21.538 * [backup-simplify]: Simplify -5/24 into -5/24
21.539 * [backup-simplify]: Simplify (+ (* -5/24 (pow a 4)) (+ (* 1/2 (pow a 2)) (* 1 a))) into (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
21.539 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
21.539 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
21.539 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
21.539 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
21.539 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
21.539 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
21.539 * [taylor]: Taking taylor expansion of (/ 1 a) in a
21.539 * [taylor]: Taking taylor expansion of a in a
21.539 * [backup-simplify]: Simplify 0 into 0
21.539 * [backup-simplify]: Simplify 1 into 1
21.540 * [backup-simplify]: Simplify (/ 1 1) into 1
21.540 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
21.540 * [taylor]: Taking taylor expansion of 1 in a
21.540 * [backup-simplify]: Simplify 1 into 1
21.540 * [backup-simplify]: Simplify (- 1) into -1
21.540 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
21.541 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
21.541 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
21.541 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
21.541 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
21.541 * [taylor]: Rewrote expression to (- (exp (/ 1 a)) 1)
21.541 * [taylor]: Taking taylor expansion of (exp (/ 1 a)) in a
21.541 * [taylor]: Taking taylor expansion of (/ 1 a) in a
21.541 * [taylor]: Taking taylor expansion of a in a
21.541 * [backup-simplify]: Simplify 0 into 0
21.541 * [backup-simplify]: Simplify 1 into 1
21.542 * [backup-simplify]: Simplify (/ 1 1) into 1
21.542 * [backup-simplify]: Simplify (exp (/ 1 a)) into (exp (/ 1 a))
21.542 * [taylor]: Taking taylor expansion of 1 in a
21.542 * [backup-simplify]: Simplify 1 into 1
21.542 * [backup-simplify]: Simplify (- 1) into -1
21.542 * [backup-simplify]: Simplify (+ (exp (/ 1 a)) -1) into (- (exp (/ 1 a)) 1)
21.542 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
21.543 * [backup-simplify]: Simplify (cos (- (exp (/ 1 a)) 1)) into (cos (- (exp (/ 1 a)) 1))
21.543 * [backup-simplify]: Simplify (* (sin (- (exp (/ 1 a)) 1)) 1) into (sin (- (exp (/ 1 a)) 1))
21.543 * [backup-simplify]: Simplify (* (cos (- (exp (/ 1 a)) 1)) 0) into 0
21.543 * [backup-simplify]: Simplify (+ (sin (- (exp (/ 1 a)) 1)) 0) into (sin (- (exp (/ 1 a)) 1))
21.543 * [backup-simplify]: Simplify (sin (- (exp (/ 1 a)) 1)) into (sin (- (exp (/ 1 a)) 1))
21.544 * [backup-simplify]: Simplify (+ 0) into 0
21.544 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (* 0 1)) into 0
21.545 * [backup-simplify]: Simplify (- 0) into 0
21.545 * [backup-simplify]: Simplify (+ 0 0) into 0
21.546 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
21.547 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (* 0 0)) into 0
21.547 * [backup-simplify]: Simplify (+ 0 0) into 0
21.547 * [backup-simplify]: Simplify 0 into 0
21.548 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
21.549 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
21.549 * [backup-simplify]: Simplify (- 0) into 0
21.549 * [backup-simplify]: Simplify (+ 0 0) into 0
21.550 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
21.551 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
21.551 * [backup-simplify]: Simplify (+ 0 0) into 0
21.551 * [backup-simplify]: Simplify 0 into 0
21.552 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
21.553 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.553 * [backup-simplify]: Simplify (- 0) into 0
21.553 * [backup-simplify]: Simplify (+ 0 0) into 0
21.554 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
21.555 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
21.555 * [backup-simplify]: Simplify (+ 0 0) into 0
21.555 * [backup-simplify]: Simplify 0 into 0
21.556 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
21.557 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.558 * [backup-simplify]: Simplify (- 0) into 0
21.558 * [backup-simplify]: Simplify (+ 0 0) into 0
21.559 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.563 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
21.563 * [backup-simplify]: Simplify (+ 0 0) into 0
21.563 * [backup-simplify]: Simplify 0 into 0
21.565 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
21.566 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.567 * [backup-simplify]: Simplify (- 0) into 0
21.567 * [backup-simplify]: Simplify (+ 0 0) into 0
21.569 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.570 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
21.571 * [backup-simplify]: Simplify (+ 0 0) into 0
21.571 * [backup-simplify]: Simplify 0 into 0
21.784 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
21.853 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.857 * [backup-simplify]: Simplify (- 0) into 0
21.857 * [backup-simplify]: Simplify (+ 0 0) into 0
21.872 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.883 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ 1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
21.883 * [backup-simplify]: Simplify (+ 0 0) into 0
21.883 * [backup-simplify]: Simplify 0 into 0
21.884 * [backup-simplify]: Simplify (sin (- (exp (/ 1 (/ 1 a))) 1)) into (sin (- (exp a) 1))
21.889 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
21.889 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
21.889 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
21.889 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
21.901 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
21.901 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
21.901 * [taylor]: Taking taylor expansion of (/ -1 a) in a
21.901 * [taylor]: Taking taylor expansion of -1 in a
21.901 * [backup-simplify]: Simplify -1 into -1
21.901 * [taylor]: Taking taylor expansion of a in a
21.901 * [backup-simplify]: Simplify 0 into 0
21.901 * [backup-simplify]: Simplify 1 into 1
21.902 * [backup-simplify]: Simplify (/ -1 1) into -1
21.902 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
21.902 * [taylor]: Taking taylor expansion of 1 in a
21.902 * [backup-simplify]: Simplify 1 into 1
21.902 * [backup-simplify]: Simplify (- 1) into -1
21.903 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
21.903 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
21.903 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
21.903 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
21.903 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
21.903 * [taylor]: Rewrote expression to (- (exp (/ -1 a)) 1)
21.903 * [taylor]: Taking taylor expansion of (exp (/ -1 a)) in a
21.903 * [taylor]: Taking taylor expansion of (/ -1 a) in a
21.903 * [taylor]: Taking taylor expansion of -1 in a
21.903 * [backup-simplify]: Simplify -1 into -1
21.903 * [taylor]: Taking taylor expansion of a in a
21.903 * [backup-simplify]: Simplify 0 into 0
21.903 * [backup-simplify]: Simplify 1 into 1
21.904 * [backup-simplify]: Simplify (/ -1 1) into -1
21.904 * [backup-simplify]: Simplify (exp (/ -1 a)) into (exp (/ -1 a))
21.904 * [taylor]: Taking taylor expansion of 1 in a
21.904 * [backup-simplify]: Simplify 1 into 1
21.905 * [backup-simplify]: Simplify (- 1) into -1
21.905 * [backup-simplify]: Simplify (+ (exp (/ -1 a)) -1) into (- (exp (/ -1 a)) 1)
21.905 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
21.905 * [backup-simplify]: Simplify (cos (- (exp (/ -1 a)) 1)) into (cos (- (exp (/ -1 a)) 1))
21.913 * [backup-simplify]: Simplify (* (sin (- (exp (/ -1 a)) 1)) 1) into (sin (- (exp (/ -1 a)) 1))
21.913 * [backup-simplify]: Simplify (* (cos (- (exp (/ -1 a)) 1)) 0) into 0
21.914 * [backup-simplify]: Simplify (+ (sin (- (exp (/ -1 a)) 1)) 0) into (sin (- (exp (/ -1 a)) 1))
21.914 * [backup-simplify]: Simplify (sin (- (exp (/ -1 a)) 1)) into (sin (- (exp (/ -1 a)) 1))
21.914 * [backup-simplify]: Simplify (+ 0) into 0
21.915 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (* 0 1)) into 0
21.915 * [backup-simplify]: Simplify (- 0) into 0
21.916 * [backup-simplify]: Simplify (+ 0 0) into 0
21.917 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
21.917 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (* 0 0)) into 0
21.918 * [backup-simplify]: Simplify (+ 0 0) into 0
21.918 * [backup-simplify]: Simplify 0 into 0
21.919 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
21.933 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 1))) into 0
21.934 * [backup-simplify]: Simplify (- 0) into 0
21.934 * [backup-simplify]: Simplify (+ 0 0) into 0
21.935 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
21.936 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (* 0 0))) into 0
21.936 * [backup-simplify]: Simplify (+ 0 0) into 0
21.936 * [backup-simplify]: Simplify 0 into 0
21.937 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
21.938 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.939 * [backup-simplify]: Simplify (- 0) into 0
21.939 * [backup-simplify]: Simplify (+ 0 0) into 0
21.941 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
21.946 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
21.946 * [backup-simplify]: Simplify (+ 0 0) into 0
21.946 * [backup-simplify]: Simplify 0 into 0
21.957 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
21.958 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
21.959 * [backup-simplify]: Simplify (- 0) into 0
21.959 * [backup-simplify]: Simplify (+ 0 0) into 0
21.960 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.961 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
21.962 * [backup-simplify]: Simplify (+ 0 0) into 0
21.962 * [backup-simplify]: Simplify 0 into 0
21.963 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
21.964 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
21.964 * [backup-simplify]: Simplify (- 0) into 0
21.964 * [backup-simplify]: Simplify (+ 0 0) into 0
21.973 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 5) 120)) 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 2) 2)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.974 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
21.974 * [backup-simplify]: Simplify (+ 0 0) into 0
21.974 * [backup-simplify]: Simplify 0 into 0
21.978 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 6) 720)) 0 (* 1 (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* 1 (/ (pow 0 2) 2) (/ (pow 0 2) 2)) 0 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
21.980 * [backup-simplify]: Simplify (+ (* (sin (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
21.980 * [backup-simplify]: Simplify (- 0) into 0
21.980 * [backup-simplify]: Simplify (+ 0 0) into 0
21.984 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 4) 24) (/ (pow 0 1) 1)) 0 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0 (* -1 (/ (pow 0 3) 6)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
21.985 * [backup-simplify]: Simplify (+ (* (cos (- (exp (/ -1 a)) 1)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
21.986 * [backup-simplify]: Simplify (+ 0 0) into 0
21.986 * [backup-simplify]: Simplify 0 into 0
21.986 * [backup-simplify]: Simplify (sin (- (exp (/ -1 (/ 1 (- a)))) 1)) into (sin (- (exp a) 1))
21.991 * * * [progress]: simplifying candidates
22.010 * [simplify]: Simplifying:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (sin (exp a)) (cos 1))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (- (+ (* 1/2 (pow a 2)) a) (* 5/24 (pow a 4)))
  (sin (- (exp a) 1))
  (sin (- (exp a) 1))
22.013 * * [simplify]: iteration 0: 44 enodes
22.034 * * [simplify]: iteration 1: 71 enodes
22.076 * * [simplify]: iteration 2: 106 enodes
22.129 * * [simplify]: iteration 3: 216 enodes
22.537 * * [simplify]: iteration 4: 458 enodes
22.892 * * [simplify]: iteration 5: 957 enodes
24.030 * * [simplify]: iteration 6: 1914 enodes
28.137 * * [simplify]: iteration 7: 3240 enodes
32.700 * * [simplify]: iteration complete: 5001 enodes
32.700 * * [simplify]: Extracting #0: cost 21 inf + 0
32.701 * * [simplify]: Extracting #1: cost 147 inf + 0
32.707 * * [simplify]: Extracting #2: cost 410 inf + 2771
32.730 * * [simplify]: Extracting #3: cost 325 inf + 34828
32.767 * * [simplify]: Extracting #4: cost 191 inf + 105923
32.820 * * [simplify]: Extracting #5: cost 34 inf + 168449
32.933 * * [simplify]: Extracting #6: cost 0 inf + 190361
33.047 * [simplify]: Simplified to:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (sin (expm1 a)))
  (log1p (sin (expm1 a)))
  (* (cos -1) (sin (exp a)))
  (* (cos (exp a)) (sin 1))
  (log (sin (expm1 a)))
  (exp (sin (expm1 a)))
  (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a))))
  (cbrt (sin (expm1 a)))
  (* (* (sin (expm1 a)) (sin (expm1 a))) (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (sqrt (sin (expm1 a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fma (* a a) (fma a (* a -5/24) 1/2) a)
  (sin (expm1 a))
  (sin (expm1 a))
33.133 * * * [progress]: adding candidates to table
34.005 * * [progress]: iteration 3 / 4
34.013 * * * [progress]: picking best candidate
34.562 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>
34.562 * * * [progress]: localizing error
34.745 * * * [progress]: generating rewritten candidates
34.747 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
34.748 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1)
34.748 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
34.749 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
34.753 * * * [progress]: generating series expansions
34.753 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
34.760 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.760 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
34.760 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.764 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.764 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.764 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.765 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify 0 into 0
34.765 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.766 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.766 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
34.766 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.766 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.766 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.767 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.767 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.767 * [backup-simplify]: Simplify 0 into 0
34.767 * [backup-simplify]: Simplify 0 into 0
34.767 * [backup-simplify]: Simplify 0 into 0
34.767 * [backup-simplify]: Simplify 0 into 0
34.767 * [backup-simplify]: Simplify 0 into 0
34.767 * [backup-simplify]: Simplify 0 into 0
34.768 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.768 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.768 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
34.768 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.768 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.768 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.770 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.771 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify 0 into 0
34.771 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.772 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1)
34.772 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.772 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
34.772 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.772 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.772 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.773 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.773 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify 0 into 0
34.773 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.774 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.774 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
34.774 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.774 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.774 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.775 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.775 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.775 * [backup-simplify]: Simplify 0 into 0
34.775 * [backup-simplify]: Simplify 0 into 0
34.775 * [backup-simplify]: Simplify 0 into 0
34.775 * [backup-simplify]: Simplify 0 into 0
34.775 * [backup-simplify]: Simplify 0 into 0
34.775 * [backup-simplify]: Simplify 0 into 0
34.776 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.776 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.776 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
34.776 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.776 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.777 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.777 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.777 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.777 * [backup-simplify]: Simplify 0 into 0
34.777 * [backup-simplify]: Simplify 0 into 0
34.778 * [backup-simplify]: Simplify 0 into 0
34.778 * [backup-simplify]: Simplify 0 into 0
34.778 * [backup-simplify]: Simplify 0 into 0
34.778 * [backup-simplify]: Simplify 0 into 0
34.778 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.778 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 2 1)
34.778 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.779 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
34.779 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.779 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.779 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.779 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.779 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.779 * [backup-simplify]: Simplify 0 into 0
34.779 * [backup-simplify]: Simplify 0 into 0
34.780 * [backup-simplify]: Simplify 0 into 0
34.780 * [backup-simplify]: Simplify 0 into 0
34.780 * [backup-simplify]: Simplify 0 into 0
34.780 * [backup-simplify]: Simplify 0 into 0
34.780 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.780 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.780 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
34.780 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.781 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.781 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.781 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.781 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify 0 into 0
34.782 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.783 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.783 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
34.783 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.783 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.783 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.783 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.784 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify 0 into 0
34.784 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.784 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 1)
34.785 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.785 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
34.785 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.785 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.785 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
34.785 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.786 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify 0 into 0
34.786 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.787 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.787 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
34.787 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.787 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.787 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
34.787 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.788 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify 0 into 0
34.788 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.789 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.789 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
34.789 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.789 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.789 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
34.790 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.790 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
34.790 * [backup-simplify]: Simplify 0 into 0
34.790 * [backup-simplify]: Simplify 0 into 0
34.790 * [backup-simplify]: Simplify 0 into 0
34.790 * [backup-simplify]: Simplify 0 into 0
34.790 * [backup-simplify]: Simplify 0 into 0
34.790 * [backup-simplify]: Simplify 0 into 0
34.791 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
34.791 * * * [progress]: simplifying candidates
34.792 * [simplify]: Simplifying:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
34.794 * * [simplify]: iteration 0: 16 enodes
34.800 * * [simplify]: iteration 1: 17 enodes
34.807 * * [simplify]: iteration 2: 19 enodes
34.842 * * [simplify]: iteration 3: 24 enodes
34.852 * * [simplify]: iteration 4: 32 enodes
34.868 * * [simplify]: iteration 5: 51 enodes
35.104 * * [simplify]: iteration 6: 81 enodes
35.136 * * [simplify]: iteration 7: 152 enodes
35.224 * * [simplify]: iteration 8: 356 enodes
35.876 * * [simplify]: iteration 9: 1146 enodes
40.455 * * [simplify]: iteration complete: 5000 enodes
40.455 * * [simplify]: Extracting #0: cost 9 inf + 0
40.456 * * [simplify]: Extracting #1: cost 265 inf + 0
40.463 * * [simplify]: Extracting #2: cost 1341 inf + 4
40.472 * * [simplify]: Extracting #3: cost 1400 inf + 120
40.486 * * [simplify]: Extracting #4: cost 1414 inf + 1003
40.498 * * [simplify]: Extracting #5: cost 1369 inf + 2922
40.511 * * [simplify]: Extracting #6: cost 1366 inf + 3700
40.537 * * [simplify]: Extracting #7: cost 1283 inf + 76303
40.672 * * [simplify]: Extracting #8: cost 556 inf + 1064677
41.127 * * [simplify]: Extracting #9: cost 13 inf + 1845312
41.540 * * [simplify]: Extracting #10: cost 0 inf + 1857343
41.926 * * [simplify]: Extracting #11: cost 0 inf + 1855869
42.345 * * [simplify]: Extracting #12: cost 0 inf + 1855778
42.716 * [simplify]: Simplified to:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
42.728 * * * [progress]: adding candidates to table
43.309 * * [progress]: iteration 4 / 4
43.309 * * * [progress]: picking best candidate
43.506 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))>
43.506 * * * [progress]: localizing error
43.718 * * * [progress]: generating rewritten candidates
43.718 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 1)
43.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1)
43.719 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1)
43.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1)
43.722 * * * [progress]: generating series expansions
43.722 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 1)
43.722 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.722 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
43.722 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.722 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.722 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.723 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.723 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.723 * [backup-simplify]: Simplify 0 into 0
43.723 * [backup-simplify]: Simplify 0 into 0
43.723 * [backup-simplify]: Simplify 0 into 0
43.723 * [backup-simplify]: Simplify 0 into 0
43.723 * [backup-simplify]: Simplify 0 into 0
43.723 * [backup-simplify]: Simplify 0 into 0
43.724 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.724 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.724 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
43.724 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.724 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.724 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.725 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.725 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.725 * [backup-simplify]: Simplify 0 into 0
43.725 * [backup-simplify]: Simplify 0 into 0
43.725 * [backup-simplify]: Simplify 0 into 0
43.725 * [backup-simplify]: Simplify 0 into 0
43.725 * [backup-simplify]: Simplify 0 into 0
43.725 * [backup-simplify]: Simplify 0 into 0
43.726 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.726 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.726 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
43.726 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.727 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.727 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.727 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.727 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.727 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify 0 into 0
43.728 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.728 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1)
43.729 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.729 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
43.729 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.729 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.729 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.729 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.729 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.729 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify 0 into 0
43.730 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.730 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.730 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
43.730 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.731 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.731 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify 0 into 0
43.732 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.733 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.733 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
43.733 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.733 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.733 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.733 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.734 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.734 * [backup-simplify]: Simplify 0 into 0
43.734 * [backup-simplify]: Simplify 0 into 0
43.734 * [backup-simplify]: Simplify 0 into 0
43.734 * [backup-simplify]: Simplify 0 into 0
43.734 * [backup-simplify]: Simplify 0 into 0
43.734 * [backup-simplify]: Simplify 0 into 0
43.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.735 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1)
43.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.735 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
43.735 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.735 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.735 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.736 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.736 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify 0 into 0
43.736 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.737 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.737 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
43.737 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.737 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.737 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.738 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.738 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.738 * [backup-simplify]: Simplify 0 into 0
43.738 * [backup-simplify]: Simplify 0 into 0
43.738 * [backup-simplify]: Simplify 0 into 0
43.738 * [backup-simplify]: Simplify 0 into 0
43.738 * [backup-simplify]: Simplify 0 into 0
43.738 * [backup-simplify]: Simplify 0 into 0
43.739 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.739 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.739 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
43.739 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.739 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.739 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.740 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.740 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.740 * [backup-simplify]: Simplify 0 into 0
43.740 * [backup-simplify]: Simplify 0 into 0
43.740 * [backup-simplify]: Simplify 0 into 0
43.740 * [backup-simplify]: Simplify 0 into 0
43.740 * [backup-simplify]: Simplify 0 into 0
43.741 * [backup-simplify]: Simplify 0 into 0
43.741 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.741 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1)
43.741 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.741 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
43.741 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.742 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
43.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.742 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.742 * [backup-simplify]: Simplify 0 into 0
43.742 * [backup-simplify]: Simplify 0 into 0
43.742 * [backup-simplify]: Simplify 0 into 0
43.742 * [backup-simplify]: Simplify 0 into 0
43.742 * [backup-simplify]: Simplify 0 into 0
43.743 * [backup-simplify]: Simplify 0 into 0
43.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.743 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
43.743 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.743 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.743 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
43.744 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.744 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
43.744 * [backup-simplify]: Simplify 0 into 0
43.744 * [backup-simplify]: Simplify 0 into 0
43.744 * [backup-simplify]: Simplify 0 into 0
43.744 * [backup-simplify]: Simplify 0 into 0
43.744 * [backup-simplify]: Simplify 0 into 0
43.745 * [backup-simplify]: Simplify 0 into 0
43.745 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) (/ 1 (/ 1 a))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.745 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.745 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
43.745 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.746 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
43.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.746 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
43.746 * [backup-simplify]: Simplify 0 into 0
43.746 * [backup-simplify]: Simplify 0 into 0
43.746 * [backup-simplify]: Simplify 0 into 0
43.746 * [backup-simplify]: Simplify 0 into 0
43.746 * [backup-simplify]: Simplify 0 into 0
43.746 * [backup-simplify]: Simplify 0 into 0
43.747 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) (/ -1 (/ 1 (- a)))) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
43.747 * * * [progress]: simplifying candidates
43.748 * [simplify]: Simplifying:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
43.749 * * [simplify]: iteration 0: 16 enodes
43.755 * * [simplify]: iteration 1: 17 enodes
43.761 * * [simplify]: iteration 2: 19 enodes
43.769 * * [simplify]: iteration 3: 24 enodes
43.779 * * [simplify]: iteration 4: 32 enodes
43.794 * * [simplify]: iteration 5: 51 enodes
43.817 * * [simplify]: iteration 6: 81 enodes
43.857 * * [simplify]: iteration 7: 152 enodes
44.429 * * [simplify]: iteration 8: 356 enodes
46.014 * * [simplify]: iteration 9: 1146 enodes
53.841 * * [simplify]: iteration complete: 5000 enodes
53.841 * * [simplify]: Extracting #0: cost 9 inf + 0
53.842 * * [simplify]: Extracting #1: cost 265 inf + 0
53.856 * * [simplify]: Extracting #2: cost 1341 inf + 4
53.897 * * [simplify]: Extracting #3: cost 1400 inf + 120
53.914 * * [simplify]: Extracting #4: cost 1414 inf + 1003
53.929 * * [simplify]: Extracting #5: cost 1369 inf + 2922
53.943 * * [simplify]: Extracting #6: cost 1366 inf + 3700
53.980 * * [simplify]: Extracting #7: cost 1283 inf + 76303
54.303 * * [simplify]: Extracting #8: cost 556 inf + 1064677
54.717 * * [simplify]: Extracting #9: cost 13 inf + 1845312
55.269 * * [simplify]: Extracting #10: cost 0 inf + 1857343
55.679 * * [simplify]: Extracting #11: cost 0 inf + 1855869
56.112 * * [simplify]: Extracting #12: cost 0 inf + 1855778
56.598 * [simplify]: Simplified to:
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (expm1 (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log1p (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
56.630 * * * [progress]: adding candidates to table
57.871 * [progress]: [Phase 3 of 3] Extracting.
57.872 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (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 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (fma (* a a) (fma a 1/6 1/2) a))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (cbrt (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (* (* (expm1 a) (expm1 a)) (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (* a a) (fma -5/24 (* a a) 1/2) a)) (atan a)) a)))>)
57.967 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
57.987 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (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 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (fma (* a a) (fma a 1/6 1/2) a))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (cbrt (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (* (* (expm1 a) (expm1 a)) (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (* a a) (fma -5/24 (* a a) 1/2) a)) (atan a)) a)))>)
58.348 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (log1p (expm1 (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 (sin (* (* (cbrt (expm1 a)) (cbrt (expm1 a))) (cbrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (fma (* a a) (fma a 1/6 1/2) a))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (sqrt (sin (expm1 a))) (sqrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (log (exp (sin (expm1 a))))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))))> #<alt (λ (a) (fabs (cbrt (* (* (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (* (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (sqrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (* (sqrt (expm1 a)) (sqrt (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (cbrt (* (* (expm1 a) (expm1 a)) (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (log (exp (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (fma (* a a) (fma -5/24 (* a a) 1/2) a)) (atan a)) a)))>)
58.631 * * * [regime]: Found split indices: #<option (#s(si 6 255))>
58.632 * [simplify]: Simplifying:
  (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))))
58.632 * * [simplify]: iteration 0: 14 enodes
58.634 * * [simplify]: iteration 1: 17 enodes
58.635 * * [simplify]: iteration complete: 17 enodes
58.635 * * [simplify]: Extracting #0: cost 1 inf + 0
58.635 * * [simplify]: Extracting #1: cost 2 inf + 0
58.635 * * [simplify]: Extracting #2: cost 4 inf + 0
58.635 * * [simplify]: Extracting #3: cost 6 inf + 0
58.635 * * [simplify]: Extracting #4: cost 9 inf + 0
58.635 * * [simplify]: Extracting #5: cost 11 inf + 1
58.635 * * [simplify]: Extracting #6: cost 11 inf + 107
58.635 * * [simplify]: Extracting #7: cost 12 inf + 107
58.636 * * [simplify]: Extracting #8: cost 10 inf + 309
58.636 * * [simplify]: Extracting #9: cost 8 inf + 956
58.636 * * [simplify]: Extracting #10: cost 6 inf + 2068
58.636 * * [simplify]: Extracting #11: cost 4 inf + 3380
58.637 * * [simplify]: Extracting #12: cost 2 inf + 4932
58.638 * * [simplify]: Extracting #13: cost 0 inf + 6644
58.639 * [simplify]: Simplified to:
  (fabs (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (* (cbrt (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))
132.138 * [regime-testing]: Baseline error score: 33.562770167440306
132.156 * [regime-testing]: Oracle error score: 32.49466325812586
132.190 * [regime-testing]: End program error score: 33.562770167440306