1.124 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.810 * * * [progress]: [2/2] Setting up program.
0.820 * [progress]: [Phase 2 of 3] Improving.
0.823 * [simplify]: Simplifying:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.824 * * [simplify]: iteration 0: 8 enodes
0.828 * * [simplify]: iteration complete: 8 enodes
0.828 * * [simplify]: Extracting #0: cost 1 inf + 0
0.828 * * [simplify]: Extracting #1: cost 2 inf + 0
0.828 * * [simplify]: Extracting #2: cost 4 inf + 0
0.829 * * [simplify]: Extracting #3: cost 5 inf + 1
0.829 * * [simplify]: Extracting #4: cost 5 inf + 107
0.829 * * [simplify]: Extracting #5: cost 6 inf + 107
0.829 * * [simplify]: Extracting #6: cost 0 inf + 2028
0.829 * [simplify]: Simplified to:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.832 * * [progress]: iteration 1 / 4
0.833 * * * [progress]: picking best candidate
0.841 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.841 * * * [progress]: localizing error
0.881 * * * [progress]: generating rewritten candidates
0.881 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.886 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.886 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.889 * * * [progress]: generating series expansions
0.889 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.893 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.893 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.894 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.897 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.897 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.897 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.898 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.900 * [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))
0.900 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.900 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.901 * [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))
0.901 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.901 * [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))
0.901 * [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))
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.902 * [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)
0.903 * [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))
0.903 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.903 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.903 * [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))
0.903 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.903 * [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))
0.904 * [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))
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [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)
0.904 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.904 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.904 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.904 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.904 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.905 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
0.905 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.905 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
0.905 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.905 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.905 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
0.905 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.905 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
0.906 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
0.906 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
0.906 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
0.906 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.907 * [backup-simplify]: Simplify (+ 0) into 0
0.908 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
0.909 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.910 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
0.910 * [backup-simplify]: Simplify (+ 0 0) into 0
0.910 * [backup-simplify]: Simplify 0 into 0
0.911 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.912 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
0.913 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.913 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
0.913 * [backup-simplify]: Simplify (+ 0 0) into 0
0.913 * [backup-simplify]: Simplify 0 into 0
0.914 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.915 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.917 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.917 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.918 * [backup-simplify]: Simplify (+ 0 0) into 0
0.918 * [backup-simplify]: Simplify 0 into 0
0.920 * [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
0.921 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.944 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.945 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.945 * [backup-simplify]: Simplify (+ 0 0) into 0
0.945 * [backup-simplify]: Simplify 0 into 0
0.946 * [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
0.947 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.948 * [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
0.949 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.949 * [backup-simplify]: Simplify (+ 0 0) into 0
0.949 * [backup-simplify]: Simplify 0 into 0
0.951 * [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
0.952 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.954 * [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
0.955 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.955 * [backup-simplify]: Simplify (+ 0 0) into 0
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.955 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.955 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.955 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.955 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.955 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
0.955 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.955 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
0.955 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.955 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.956 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
0.956 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.956 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
0.956 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
0.956 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
0.956 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
0.956 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.956 * [backup-simplify]: Simplify (+ 0) into 0
0.957 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
0.957 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.957 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
0.958 * [backup-simplify]: Simplify (+ 0 0) into 0
0.958 * [backup-simplify]: Simplify 0 into 0
0.958 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.959 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
0.959 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.959 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
0.960 * [backup-simplify]: Simplify (+ 0 0) into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.961 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.961 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.962 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.962 * [backup-simplify]: Simplify (+ 0 0) into 0
0.962 * [backup-simplify]: Simplify 0 into 0
0.963 * [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
0.964 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.965 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.966 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.966 * [backup-simplify]: Simplify (+ 0 0) into 0
0.966 * [backup-simplify]: Simplify 0 into 0
0.967 * [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
0.967 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.969 * [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
0.969 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.970 * [backup-simplify]: Simplify (+ 0 0) into 0
0.970 * [backup-simplify]: Simplify 0 into 0
0.972 * [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
0.973 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.974 * [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
0.975 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.975 * [backup-simplify]: Simplify (+ 0 0) into 0
0.975 * [backup-simplify]: Simplify 0 into 0
0.976 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
0.976 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
0.976 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.976 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.976 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.976 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
0.976 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.976 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
0.976 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.976 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.976 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
0.976 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.976 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
0.976 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
0.976 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
0.976 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
0.976 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.977 * [backup-simplify]: Simplify (+ 0) into 0
0.977 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
0.977 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.978 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
0.978 * [backup-simplify]: Simplify (+ 0 0) into 0
0.978 * [backup-simplify]: Simplify 0 into 0
0.979 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.979 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
0.979 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.980 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
0.980 * [backup-simplify]: Simplify (+ 0 0) into 0
0.980 * [backup-simplify]: Simplify 0 into 0
0.981 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.981 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.982 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.982 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.983 * [backup-simplify]: Simplify (+ 0 0) into 0
0.983 * [backup-simplify]: Simplify 0 into 0
0.984 * [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
0.984 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.985 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.986 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.986 * [backup-simplify]: Simplify (+ 0 0) into 0
0.986 * [backup-simplify]: Simplify 0 into 0
0.987 * [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
0.988 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.989 * [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
0.990 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.990 * [backup-simplify]: Simplify (+ 0 0) into 0
0.990 * [backup-simplify]: Simplify 0 into 0
0.992 * [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
0.992 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.995 * [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
0.995 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.996 * [backup-simplify]: Simplify (+ 0 0) into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
0.996 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.996 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.996 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.996 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.996 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.996 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.996 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.996 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify 0 into 0
0.996 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.997 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.997 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.997 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify 0 into 0
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (/ 1 a))))) into (expm1 (sin (expm1 a)))
0.997 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (- a))))) into (expm1 (sin (expm1 (/ -1 a))))
0.997 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.997 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.998 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.998 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.998 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.998 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify 0 into 0
0.998 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) into (expm1 (sin (expm1 a)))
0.998 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.998 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.998 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.998 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.998 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.998 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.998 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.998 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.999 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.999 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.999 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.999 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.999 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.999 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.999 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
0.999 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.000 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.000 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.000 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify 0 into 0
1.000 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.000 * * * [progress]: simplifying candidates
1.001 * [simplify]: Simplifying:
  (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))
  (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)))
  (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))))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.002 * * [simplify]: iteration 0: 35 enodes
1.009 * * [simplify]: iteration 1: 39 enodes
1.015 * * [simplify]: iteration 2: 44 enodes
1.023 * * [simplify]: iteration 3: 55 enodes
1.034 * * [simplify]: iteration 4: 84 enodes
1.068 * * [simplify]: iteration 5: 153 enodes
1.097 * * [simplify]: iteration 6: 289 enodes
1.203 * * [simplify]: iteration 7: 644 enodes
1.472 * * [simplify]: iteration 8: 1596 enodes
2.831 * * [simplify]: iteration 9: 4823 enodes
3.947 * * [simplify]: iteration complete: 5000 enodes
3.947 * * [simplify]: Extracting #0: cost 28 inf + 0
3.947 * * [simplify]: Extracting #1: cost 208 inf + 0
3.950 * * [simplify]: Extracting #2: cost 644 inf + 8269
3.957 * * [simplify]: Extracting #3: cost 632 inf + 23075
3.986 * * [simplify]: Extracting #4: cost 409 inf + 219055
4.060 * * [simplify]: Extracting #5: cost 60 inf + 593421
4.131 * * [simplify]: Extracting #6: cost 0 inf + 663252
4.216 * * [simplify]: Extracting #7: cost 0 inf + 661722
4.294 * * [simplify]: Extracting #8: cost 0 inf + 660685
4.391 * [simplify]: Simplified to:
  (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))
  (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)))
  (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))))
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (expm1 (sin (expm1 a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
4.394 * * * [progress]: adding candidates to table
4.622 * * [progress]: iteration 2 / 4
4.622 * * * [progress]: picking best candidate
4.708 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
4.708 * * * [progress]: localizing error
4.744 * * * [progress]: generating rewritten candidates
4.744 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.744 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
4.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.749 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
4.751 * * * [progress]: generating series expansions
4.751 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.751 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.752 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
4.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
4.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify 0 into 0
4.752 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
4.752 * [backup-simplify]: Simplify (fmod (log (exp (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.752 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
4.752 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.753 * [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.753 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
4.753 * [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.753 * [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.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [backup-simplify]: Simplify 0 into 0
4.753 * [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.753 * [backup-simplify]: Simplify (fmod (log (exp (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.753 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
4.753 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.754 * [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.754 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
4.754 * [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.754 * [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.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [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.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
4.754 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.754 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
4.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.755 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.755 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
4.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.755 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.755 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.756 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.756 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.756 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
4.756 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.756 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.756 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.756 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.757 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.757 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.757 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.757 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
4.757 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
4.757 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.757 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.757 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.757 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
4.757 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
4.757 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
4.758 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.758 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.759 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 1) 1)))) into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.761 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (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
4.762 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (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
4.764 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (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
4.771 * [backup-simplify]: Simplify 0 into 0
4.771 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.772 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
4.772 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
4.772 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
4.772 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.772 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.772 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
4.772 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
4.772 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
4.773 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
4.773 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
4.773 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
4.783 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.783 * [backup-simplify]: Simplify 0 into 0
4.785 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.785 * [backup-simplify]: Simplify 0 into 0
4.788 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.788 * [backup-simplify]: Simplify 0 into 0
4.791 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (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
4.791 * [backup-simplify]: Simplify 0 into 0
4.795 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (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
4.795 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (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
4.802 * [backup-simplify]: Simplify 0 into 0
4.802 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.803 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
4.803 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
4.803 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
4.803 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.803 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.803 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
4.803 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
4.803 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
4.804 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
4.804 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
4.804 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
4.805 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.807 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.807 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.812 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (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
4.812 * [backup-simplify]: Simplify 0 into 0
4.816 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (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
4.816 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (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
4.822 * [backup-simplify]: Simplify 0 into 0
4.822 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a)))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
4.822 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
4.823 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.823 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
4.823 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.823 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.823 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
4.823 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.823 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
4.823 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
4.823 * [taylor]: Taking taylor expansion of (expm1 a) in a
4.823 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
4.823 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.823 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
4.823 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
4.823 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
4.823 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
4.824 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.824 * [backup-simplify]: Simplify (+ 0) into 0
4.825 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
4.825 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.826 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
4.826 * [backup-simplify]: Simplify (+ 0 0) into 0
4.826 * [backup-simplify]: Simplify 0 into 0
4.827 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.828 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
4.829 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.829 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
4.829 * [backup-simplify]: Simplify (+ 0 0) into 0
4.829 * [backup-simplify]: Simplify 0 into 0
4.830 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.831 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.833 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.833 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.834 * [backup-simplify]: Simplify (+ 0 0) into 0
4.834 * [backup-simplify]: Simplify 0 into 0
4.836 * [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.837 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.838 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.839 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
4.840 * [backup-simplify]: Simplify (+ 0 0) into 0
4.840 * [backup-simplify]: Simplify 0 into 0
4.841 * [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.842 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.845 * [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.846 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
4.846 * [backup-simplify]: Simplify (+ 0 0) into 0
4.846 * [backup-simplify]: Simplify 0 into 0
4.850 * [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
4.851 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.855 * [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
4.856 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
4.857 * [backup-simplify]: Simplify (+ 0 0) into 0
4.857 * [backup-simplify]: Simplify 0 into 0
4.857 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
4.857 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
4.857 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
4.857 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.857 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.858 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
4.858 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
4.858 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
4.858 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
4.858 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
4.858 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
4.858 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
4.858 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
4.858 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
4.859 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
4.859 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
4.859 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
4.859 * [backup-simplify]: Simplify (+ 0) into 0
4.860 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
4.861 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.861 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
4.862 * [backup-simplify]: Simplify (+ 0 0) into 0
4.862 * [backup-simplify]: Simplify 0 into 0
4.863 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.863 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
4.864 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.865 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
4.865 * [backup-simplify]: Simplify (+ 0 0) into 0
4.865 * [backup-simplify]: Simplify 0 into 0
4.866 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.867 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.869 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.870 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.870 * [backup-simplify]: Simplify (+ 0 0) into 0
4.870 * [backup-simplify]: Simplify 0 into 0
4.873 * [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.874 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.875 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.876 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
4.876 * [backup-simplify]: Simplify (+ 0 0) into 0
4.877 * [backup-simplify]: Simplify 0 into 0
4.878 * [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.879 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.882 * [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.884 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
4.884 * [backup-simplify]: Simplify (+ 0 0) into 0
4.884 * [backup-simplify]: Simplify 0 into 0
4.888 * [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
4.889 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.893 * [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
4.894 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
4.895 * [backup-simplify]: Simplify (+ 0 0) into 0
4.895 * [backup-simplify]: Simplify 0 into 0
4.895 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
4.895 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
4.895 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
4.895 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
4.895 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
4.895 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
4.896 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
4.896 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
4.896 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
4.896 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
4.896 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
4.896 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
4.896 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
4.896 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
4.896 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
4.897 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
4.897 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
4.897 * [backup-simplify]: Simplify (+ 0) into 0
4.898 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
4.899 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
4.899 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
4.900 * [backup-simplify]: Simplify (+ 0 0) into 0
4.900 * [backup-simplify]: Simplify 0 into 0
4.900 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
4.901 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
4.902 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
4.903 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
4.903 * [backup-simplify]: Simplify (+ 0 0) into 0
4.903 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
4.905 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.905 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
4.906 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
4.906 * [backup-simplify]: Simplify (+ 0 0) into 0
4.906 * [backup-simplify]: Simplify 0 into 0
4.907 * [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.908 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.909 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
4.910 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
4.910 * [backup-simplify]: Simplify (+ 0 0) into 0
4.910 * [backup-simplify]: Simplify 0 into 0
4.911 * [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.911 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.913 * [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.913 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
4.914 * [backup-simplify]: Simplify (+ 0 0) into 0
4.914 * [backup-simplify]: Simplify 0 into 0
4.916 * [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
4.916 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.918 * [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
4.919 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
4.919 * [backup-simplify]: Simplify (+ 0 0) into 0
4.919 * [backup-simplify]: Simplify 0 into 0
4.919 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
4.920 * * * [progress]: simplifying candidates
4.920 * [simplify]: Simplifying:
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
4.921 * * [simplify]: iteration 0: 51 enodes
4.931 * * [simplify]: iteration 1: 66 enodes
4.940 * * [simplify]: iteration 2: 84 enodes
4.952 * * [simplify]: iteration 3: 106 enodes
4.968 * * [simplify]: iteration 4: 150 enodes
5.002 * * [simplify]: iteration 5: 260 enodes
5.094 * * [simplify]: iteration 6: 556 enodes
5.262 * * [simplify]: iteration 7: 1277 enodes
6.300 * * [simplify]: iteration 8: 3969 enodes
7.258 * * [simplify]: iteration complete: 5012 enodes
7.258 * * [simplify]: Extracting #0: cost 34 inf + 0
7.269 * * [simplify]: Extracting #1: cost 388 inf + 3
7.276 * * [simplify]: Extracting #2: cost 928 inf + 4493
7.294 * * [simplify]: Extracting #3: cost 769 inf + 98932
7.328 * * [simplify]: Extracting #4: cost 397 inf + 357951
7.392 * * [simplify]: Extracting #5: cost 130 inf + 591748
7.522 * * [simplify]: Extracting #6: cost 12 inf + 720166
7.663 * * [simplify]: Extracting #7: cost 0 inf + 729398
7.804 * * [simplify]: Extracting #8: cost 0 inf + 729177
7.906 * [simplify]: Simplified to:
  (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))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* 1/2 (atan2 (expm1 (sin (expm1 a))) (atan a)))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  E
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (exp (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sin (expm1 a))
  (sin (expm1 a))
  (sin (expm1 a))
7.909 * * * [progress]: adding candidates to table
8.235 * * [progress]: iteration 3 / 4
8.235 * * * [progress]: picking best candidate
8.394 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))>
8.394 * * * [progress]: localizing error
8.500 * * * [progress]: generating rewritten candidates
8.500 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
8.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
8.501 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
8.502 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
8.507 * * * [progress]: generating series expansions
8.507 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
8.507 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.507 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.507 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.507 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.507 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.508 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.508 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.509 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.510 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
8.510 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.510 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.510 * [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))
8.510 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.510 * [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))
8.510 * [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))
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.511 * [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)
8.512 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
8.512 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.512 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.512 * [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))
8.512 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.512 * [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))
8.512 * [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))
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify 0 into 0
8.513 * [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)
8.513 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
8.514 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.514 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.514 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.514 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.514 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.514 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.514 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.514 * [backup-simplify]: Simplify 0 into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.514 * [backup-simplify]: Simplify 0 into 0
8.515 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.515 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
8.515 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.515 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.515 * [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))
8.515 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.516 * [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))
8.516 * [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))
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 0 into 0
8.517 * [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)
8.517 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
8.517 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.517 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.517 * [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))
8.517 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.518 * [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))
8.518 * [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))
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.519 * [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)
8.519 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
8.519 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.519 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
8.519 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.520 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.520 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
8.520 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.520 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
8.521 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
8.521 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
8.521 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.521 * [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))
8.521 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
8.522 * [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))
8.522 * [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))
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [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)
8.523 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
8.523 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
8.523 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.523 * [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))
8.523 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
8.523 * [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))
8.524 * [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))
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.524 * [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)
8.524 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
8.525 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.525 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
8.525 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.525 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.525 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
8.525 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.525 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.525 * [backup-simplify]: Simplify 0 into 0
8.525 * [backup-simplify]: Simplify 0 into 0
8.525 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.526 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
8.526 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
8.526 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.526 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
8.526 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
8.527 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
8.527 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.527 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.528 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
8.528 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
8.528 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.528 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
8.528 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
8.528 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
8.528 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
8.529 * * * [progress]: simplifying candidates
8.530 * [simplify]: Simplifying:
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log 1)
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (exp (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (exp 1))
  (log (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (exp (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (cbrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (* (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (sqrt (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
8.531 * * [simplify]: iteration 0: 41 enodes
8.544 * * [simplify]: iteration 1: 49 enodes
8.550 * * [simplify]: iteration 2: 56 enodes
8.557 * * [simplify]: iteration 3: 66 enodes
8.567 * * [simplify]: iteration 4: 88 enodes
8.585 * * [simplify]: iteration 5: 150 enodes
8.637 * * [simplify]: iteration 6: 297 enodes
8.733 * * [simplify]: iteration 7: 681 enodes
9.264 * * [simplify]: iteration 8: 2148 enodes
10.402 * * [simplify]: iteration complete: 5002 enodes
10.402 * * [simplify]: Extracting #0: cost 19 inf + 0
10.402 * * [simplify]: Extracting #1: cost 229 inf + 2
10.405 * * [simplify]: Extracting #2: cost 1020 inf + 404
10.410 * * [simplify]: Extracting #3: cost 1298 inf + 7212
10.419 * * [simplify]: Extracting #4: cost 1332 inf + 12563
10.450 * * [simplify]: Extracting #5: cost 1142 inf + 172557
10.567 * * [simplify]: Extracting #6: cost 391 inf + 732811
10.682 * * [simplify]: Extracting #7: cost 66 inf + 1073984
10.837 * * [simplify]: Extracting #8: cost 0 inf + 1144768
10.960 * * [simplify]: Extracting #9: cost 0 inf + 1138128
11.137 * [simplify]: Simplified to:
  (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))
  (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))
  (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))
  (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  0
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  1
  (log (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (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)
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
11.144 * * * [progress]: adding candidates to table
11.569 * * [progress]: iteration 4 / 4
11.569 * * * [progress]: picking best candidate
11.777 * * * * [pick]: Picked  #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))>
11.777 * * * [progress]: localizing error
11.947 * * * [progress]: generating rewritten candidates
11.947 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 1)
11.947 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 2 1)
11.948 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1)
11.948 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
11.949 * * * [progress]: generating series expansions
11.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 1)
11.950 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.950 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
11.950 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.950 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.950 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.950 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.950 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.950 * [backup-simplify]: Simplify 0 into 0
11.950 * [backup-simplify]: Simplify 0 into 0
11.950 * [backup-simplify]: Simplify 0 into 0
11.950 * [backup-simplify]: Simplify 0 into 0
11.951 * [backup-simplify]: Simplify 0 into 0
11.951 * [backup-simplify]: Simplify 0 into 0
11.951 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.951 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
11.951 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
11.951 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.952 * [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))
11.952 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.952 * [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))
11.952 * [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))
11.952 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify 0 into 0
11.952 * [backup-simplify]: Simplify 0 into 0
11.953 * [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)
11.953 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
11.953 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
11.953 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.954 * [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))
11.954 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.954 * [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))
11.954 * [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))
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.954 * [backup-simplify]: Simplify 0 into 0
11.955 * [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)
11.955 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 2 1)
11.955 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.955 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
11.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.955 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.955 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.956 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.956 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.956 * [backup-simplify]: Simplify 0 into 0
11.957 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.957 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
11.957 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
11.957 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.958 * [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))
11.958 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.958 * [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))
11.958 * [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))
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 0 into 0
11.958 * [backup-simplify]: Simplify 0 into 0
11.959 * [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)
11.959 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
11.959 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
11.959 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.960 * [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))
11.960 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.960 * [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))
11.960 * [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))
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.960 * [backup-simplify]: Simplify 0 into 0
11.961 * [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)
11.961 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1)
11.961 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.961 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
11.961 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.961 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.961 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.962 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.962 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify 0 into 0
11.962 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.963 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
11.963 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
11.963 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.963 * [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))
11.963 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.964 * [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))
11.964 * [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))
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [backup-simplify]: Simplify 0 into 0
11.964 * [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)
11.965 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
11.965 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
11.965 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.965 * [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))
11.965 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.966 * [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))
11.966 * [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))
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [backup-simplify]: Simplify 0 into 0
11.966 * [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)
11.967 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
11.967 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.967 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
11.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.967 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.967 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
11.967 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.968 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify 0 into 0
11.968 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
11.969 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
11.969 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
11.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.969 * [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))
11.969 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
11.969 * [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))
11.969 * [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))
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [backup-simplify]: Simplify 0 into 0
11.970 * [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)
11.971 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
11.971 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
11.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.971 * [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))
11.971 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
11.971 * [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))
11.971 * [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))
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [backup-simplify]: Simplify 0 into 0
11.972 * [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)
11.972 * * * [progress]: simplifying candidates
11.973 * [simplify]: Simplifying:
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))
  (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))
  (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)
11.974 * * [simplify]: iteration 0: 17 enodes
11.979 * * [simplify]: iteration 1: 18 enodes
11.984 * * [simplify]: iteration 2: 20 enodes
11.990 * * [simplify]: iteration 3: 25 enodes
11.998 * * [simplify]: iteration 4: 33 enodes
12.006 * * [simplify]: iteration 5: 45 enodes
12.015 * * [simplify]: iteration 6: 102 enodes
12.040 * * [simplify]: iteration 7: 173 enodes
12.099 * * [simplify]: iteration 8: 375 enodes
12.490 * * [simplify]: iteration 9: 1177 enodes
13.895 * * [simplify]: iteration complete: 5001 enodes
13.895 * * [simplify]: Extracting #0: cost 7 inf + 0
13.896 * * [simplify]: Extracting #1: cost 246 inf + 0
13.900 * * [simplify]: Extracting #2: cost 1406 inf + 4
13.908 * * [simplify]: Extracting #3: cost 1461 inf + 121
13.914 * * [simplify]: Extracting #4: cost 1480 inf + 415
13.921 * * [simplify]: Extracting #5: cost 1438 inf + 2860
13.948 * * [simplify]: Extracting #6: cost 1309 inf + 136448
14.103 * * [simplify]: Extracting #7: cost 446 inf + 1329315
14.368 * * [simplify]: Extracting #8: cost 3 inf + 1976457
14.619 * * [simplify]: Extracting #9: cost 0 inf + 1976392
14.863 * * [simplify]: Extracting #10: cost 0 inf + 1976261
15.117 * [simplify]: Simplified to:
  (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))
  (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))
  (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))
  (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)
15.122 * * * [progress]: adding candidates to table
15.516 * [progress]: [Phase 3 of 3] Extracting.
15.516 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (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 (* (* (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)))))>)
15.525 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
15.525 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (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 (* (* (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)))))>)
15.785 * * * * [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) (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 (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 (* (* (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)))))>)
15.911 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (log (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (fmod (atan2 (expm1 (log (exp (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 (log (exp (atan2 (expm1 (exp (log (sin (expm1 a))))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (log (exp (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))> #<alt (λ (a) (fabs (fmod (log (pow (exp (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))))) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) (log (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (+ (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (* (* (atan2 (expm1 (sin (expm1 a))) (atan a)) (atan2 (expm1 (sin (expm1 a))) (atan a))) (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (fmod (* (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (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 (* (* (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)))))>)
16.131 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
16.131 * [simplify]: Simplifying:
  (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))) (cbrt (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a))))))
16.132 * * [simplify]: iteration 0: 16 enodes
16.132 * * [simplify]: iteration 1: 19 enodes
16.133 * * [simplify]: iteration complete: 19 enodes
16.133 * * [simplify]: Extracting #0: cost 1 inf + 0
16.133 * * [simplify]: Extracting #1: cost 2 inf + 0
16.133 * * [simplify]: Extracting #2: cost 4 inf + 0
16.133 * * [simplify]: Extracting #3: cost 6 inf + 0
16.133 * * [simplify]: Extracting #4: cost 8 inf + 0
16.133 * * [simplify]: Extracting #5: cost 10 inf + 0
16.133 * * [simplify]: Extracting #6: cost 10 inf + 1
16.133 * * [simplify]: Extracting #7: cost 11 inf + 1
16.133 * * [simplify]: Extracting #8: cost 13 inf + 1
16.133 * * [simplify]: Extracting #9: cost 13 inf + 107
16.133 * * [simplify]: Extracting #10: cost 14 inf + 107
16.133 * * [simplify]: Extracting #11: cost 13 inf + 178
16.133 * * [simplify]: Extracting #12: cost 10 inf + 956
16.134 * * [simplify]: Extracting #13: cost 8 inf + 2058
16.134 * * [simplify]: Extracting #14: cost 6 inf + 3450
16.134 * * [simplify]: Extracting #15: cost 4 inf + 5042
16.135 * * [simplify]: Extracting #16: cost 2 inf + 6874
16.135 * * [simplify]: Extracting #17: cost 0 inf + 8866
16.136 * [simplify]: Simplified to:
  (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))) (cbrt (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))))
42.844 * [regime-testing]: Baseline error score: 33.39856810535187
42.852 * [regime-testing]: Oracle error score: 31.680101239231327
42.883 * [regime-testing]: End program error score: 33.39856810535187