0.010 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.546 * * * [progress]: [2/2] Setting up program.
0.550 * [progress]: [Phase 2 of 3] Improving.
0.551 * [simplify]: Simplifying:
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))
0.551 * [simplify]: Sending expressions to egg_math:
 (fabs (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
0.553 * * [progress]: iteration 1 / 4
0.553 * * * [progress]: picking best candidate
0.556 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))>
0.556 * * * [progress]: localizing error
0.572 * * * [progress]: generating rewritten candidates
0.572 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.572 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
0.575 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.575 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.576 * * * [progress]: generating series expansions
0.576 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.576 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.576 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
0.576 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.576 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.576 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
0.576 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.576 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
0.577 * [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.577 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
0.577 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.577 * [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.577 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
0.577 * [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.577 * [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.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.577 * [backup-simplify]: Simplify 0 into 0
0.578 * [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.578 * [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.578 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
0.578 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.578 * [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.578 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
0.578 * [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.578 * [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.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.578 * [backup-simplify]: Simplify 0 into 0
0.579 * [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.579 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
0.579 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.579 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
0.579 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.579 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.579 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
0.579 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.579 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
0.579 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
0.579 * [taylor]: Taking taylor expansion of (expm1 a) in a
0.579 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
0.579 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.579 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
0.579 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
0.580 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
0.580 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
0.580 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.580 * [backup-simplify]: Simplify (+ 0) into 0
0.581 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
0.582 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.582 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
0.582 * [backup-simplify]: Simplify (+ 0 0) into 0
0.582 * [backup-simplify]: Simplify 0 into 0
0.583 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.583 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
0.584 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.584 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
0.584 * [backup-simplify]: Simplify (+ 0 0) into 0
0.584 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.585 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.586 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.587 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.587 * [backup-simplify]: Simplify (+ 0 0) into 0
0.587 * [backup-simplify]: Simplify 0 into 0
0.588 * [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.589 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.589 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.590 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.590 * [backup-simplify]: Simplify (+ 0 0) into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.591 * [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.592 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.593 * [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.594 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.594 * [backup-simplify]: Simplify (+ 0 0) into 0
0.594 * [backup-simplify]: Simplify 0 into 0
0.596 * [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.597 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.599 * [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.599 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.600 * [backup-simplify]: Simplify (+ 0 0) into 0
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
0.600 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.600 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
0.600 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.600 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.600 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
0.600 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.600 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
0.600 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
0.600 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
0.600 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
0.600 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.600 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
0.600 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
0.601 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
0.601 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
0.601 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
0.601 * [backup-simplify]: Simplify (+ 0) into 0
0.601 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
0.602 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.602 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
0.602 * [backup-simplify]: Simplify (+ 0 0) into 0
0.602 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.603 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
0.604 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.604 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
0.604 * [backup-simplify]: Simplify (+ 0 0) into 0
0.604 * [backup-simplify]: Simplify 0 into 0
0.605 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.891 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.892 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.892 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.892 * [backup-simplify]: Simplify (+ 0 0) into 0
0.892 * [backup-simplify]: Simplify 0 into 0
0.894 * [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.894 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.895 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.895 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.896 * [backup-simplify]: Simplify (+ 0 0) into 0
0.896 * [backup-simplify]: Simplify 0 into 0
0.897 * [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.897 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.899 * [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.899 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.899 * [backup-simplify]: Simplify (+ 0 0) into 0
0.899 * [backup-simplify]: Simplify 0 into 0
0.903 * [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.904 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.906 * [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.906 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.906 * [backup-simplify]: Simplify (+ 0 0) into 0
0.906 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
0.907 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
0.907 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
0.907 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.907 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.907 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
0.907 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.907 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
0.907 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
0.907 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
0.907 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
0.907 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.907 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
0.907 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
0.907 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
0.907 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
0.907 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
0.908 * [backup-simplify]: Simplify (+ 0) into 0
0.908 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
0.909 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
0.909 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
0.909 * [backup-simplify]: Simplify (+ 0 0) into 0
0.909 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
0.910 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
0.910 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
0.911 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
0.911 * [backup-simplify]: Simplify (+ 0 0) into 0
0.911 * [backup-simplify]: Simplify 0 into 0
0.912 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
0.912 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.913 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
0.913 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
0.914 * [backup-simplify]: Simplify (+ 0 0) into 0
0.914 * [backup-simplify]: Simplify 0 into 0
0.915 * [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.915 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.916 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
0.917 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
0.917 * [backup-simplify]: Simplify (+ 0 0) into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.918 * [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.919 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.920 * [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.920 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
0.921 * [backup-simplify]: Simplify (+ 0 0) into 0
0.921 * [backup-simplify]: Simplify 0 into 0
0.923 * [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.923 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.925 * [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.926 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
0.926 * [backup-simplify]: Simplify (+ 0 0) into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
0.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.926 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.927 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 a))) in (a) around 0
0.927 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.927 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 a))) in a
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 a))) into (expm1 (sin (expm1 a)))
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.927 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in (a) around 0
0.927 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.927 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ 1 a)))) in a
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.927 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 a)))) into (expm1 (sin (expm1 (/ 1 a))))
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (/ 1 a))))) into (expm1 (sin (expm1 a)))
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ 1 (- a))))) into (expm1 (sin (expm1 (/ -1 a))))
0.928 * [approximate]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in (a) around 0
0.928 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.928 * [taylor]: Taking taylor expansion of (expm1 (sin (expm1 (/ -1 a)))) in a
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 a)))) into (expm1 (sin (expm1 (/ -1 a))))
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) into (expm1 (sin (expm1 a)))
0.928 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.928 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.928 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
0.928 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.928 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.929 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.929 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
0.929 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.929 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.929 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.930 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
0.930 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
0.930 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.930 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
0.930 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
0.930 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
0.930 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
0.931 * * * [progress]: simplifying candidates
0.931 * [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))
0.931 * [simplify]: Sending expressions to egg_math:
 (log (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (exp (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)))
 (cbrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (* (* (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)) (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (sqrt (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0))
 (log (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (* (cbrt (sin (expm1 h0))) (cbrt (sin (expm1 h0))))
 (cbrt (sin (expm1 h0)))
 (* (* (sin (expm1 h0)) (sin (expm1 h0))) (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (log (expm1 (sin (expm1 h0))))
 (exp (expm1 (sin (expm1 h0))))
 (* (cbrt (expm1 (sin (expm1 h0)))) (cbrt (expm1 (sin (expm1 h0)))))
 (cbrt (expm1 (sin (expm1 h0))))
 (* (* (expm1 (sin (expm1 h0))) (expm1 (sin (expm1 h0)))) (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (sqrt (expm1 (sin (expm1 h0))))
 (log (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (* (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (* (* (atan2 (expm1 (sin (expm1 h0))) (atan h0)) (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (sin (expm1 h0))
 (sin (expm1 h0))
 (sin (expm1 h0))
 (expm1 (sin (expm1 h0)))
 (expm1 (sin (expm1 h0)))
 (expm1 (sin (expm1 h0)))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
1.040 * * * [progress]: adding candidates to table
1.166 * * [progress]: iteration 2 / 4
1.166 * * * [progress]: picking best candidate
1.210 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))>
1.210 * * * [progress]: localizing error
1.228 * * * [progress]: generating rewritten candidates
1.228 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.229 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.236 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1)
1.241 * * * [progress]: generating series expansions
1.241 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.241 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.241 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.241 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.241 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.241 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.241 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.241 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.242 * [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))
1.242 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.242 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.242 * [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))
1.242 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.242 * [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))
1.243 * [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))
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.243 * [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)
1.243 * [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))
1.243 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.243 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.243 * [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))
1.243 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.244 * [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))
1.244 * [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))
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [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)
1.244 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.244 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.244 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.244 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.244 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.244 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.245 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.245 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.245 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.245 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.245 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.245 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.245 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.245 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.246 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify 0 into 0
1.246 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.246 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.246 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.246 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.246 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.246 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.246 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.246 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.246 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.247 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.247 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.247 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.247 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.247 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.247 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.247 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.247 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.247 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.247 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.247 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.247 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.248 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.248 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.248 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.249 * [backup-simplify]: Simplify 0 into 0
1.250 * [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
1.250 * [backup-simplify]: Simplify 0 into 0
1.252 * [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
1.252 * [backup-simplify]: Simplify 0 into 0
1.254 * [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
1.254 * [backup-simplify]: Simplify 0 into 0
1.258 * [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
1.258 * [backup-simplify]: Simplify 0 into 0
1.258 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.258 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.258 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.258 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.258 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.258 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.258 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.258 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.258 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.258 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.259 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.259 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.259 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.259 * [backup-simplify]: Simplify 0 into 0
1.260 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.260 * [backup-simplify]: Simplify 0 into 0
1.261 * [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
1.261 * [backup-simplify]: Simplify 0 into 0
1.263 * [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
1.263 * [backup-simplify]: Simplify 0 into 0
1.265 * [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
1.265 * [backup-simplify]: Simplify 0 into 0
1.268 * [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
1.268 * [backup-simplify]: Simplify 0 into 0
1.269 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.269 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.269 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.269 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.269 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.269 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.269 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.269 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.269 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.269 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.269 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.270 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.270 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.270 * [backup-simplify]: Simplify 0 into 0
1.271 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.272 * [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
1.272 * [backup-simplify]: Simplify 0 into 0
1.274 * [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
1.274 * [backup-simplify]: Simplify 0 into 0
1.276 * [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
1.276 * [backup-simplify]: Simplify 0 into 0
1.279 * [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
1.279 * [backup-simplify]: Simplify 0 into 0
1.280 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a)))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1)
1.280 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
1.280 * [approximate]: Taking taylor expansion of (sin (expm1 a)) in (a) around 0
1.280 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.280 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.280 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
1.280 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
1.280 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
1.280 * [taylor]: Taking taylor expansion of (sin (expm1 a)) in a
1.280 * [taylor]: Taking taylor expansion of (expm1 a) in a
1.280 * [backup-simplify]: Simplify (expm1 a) into (expm1 a)
1.280 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
1.280 * [backup-simplify]: Simplify (cos (expm1 a)) into (cos (expm1 a))
1.280 * [backup-simplify]: Simplify (* (sin (expm1 a)) 1) into (sin (expm1 a))
1.280 * [backup-simplify]: Simplify (* (cos (expm1 a)) 0) into 0
1.280 * [backup-simplify]: Simplify (+ (sin (expm1 a)) 0) into (sin (expm1 a))
1.280 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
1.281 * [backup-simplify]: Simplify (+ 0) into 0
1.281 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (* 0 1)) into 0
1.282 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.282 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (* 0 0)) into 0
1.282 * [backup-simplify]: Simplify (+ 0 0) into 0
1.282 * [backup-simplify]: Simplify 0 into 0
1.283 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.283 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (* 0 1))) into 0
1.283 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.284 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (* 0 0))) into 0
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.285 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.286 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.286 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.287 * [backup-simplify]: Simplify (+ 0 0) into 0
1.287 * [backup-simplify]: Simplify 0 into 0
1.288 * [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
1.288 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.289 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.290 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
1.290 * [backup-simplify]: Simplify (+ 0 0) into 0
1.290 * [backup-simplify]: Simplify 0 into 0
1.291 * [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
1.292 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.293 * [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
1.293 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
1.294 * [backup-simplify]: Simplify (+ 0 0) into 0
1.294 * [backup-simplify]: Simplify 0 into 0
1.296 * [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
1.296 * [backup-simplify]: Simplify (+ (* (sin (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.298 * [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
1.299 * [backup-simplify]: Simplify (+ (* (cos (expm1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
1.299 * [backup-simplify]: Simplify (+ 0 0) into 0
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify (sin (expm1 a)) into (sin (expm1 a))
1.299 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
1.299 * [approximate]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in (a) around 0
1.299 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.299 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.299 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
1.300 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
1.300 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
1.300 * [taylor]: Taking taylor expansion of (sin (expm1 (/ 1 a))) in a
1.300 * [taylor]: Taking taylor expansion of (expm1 (/ 1 a)) in a
1.300 * [backup-simplify]: Simplify (expm1 (/ 1 a)) into (expm1 (/ 1 a))
1.300 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
1.300 * [backup-simplify]: Simplify (cos (expm1 (/ 1 a))) into (cos (expm1 (/ 1 a)))
1.300 * [backup-simplify]: Simplify (* (sin (expm1 (/ 1 a))) 1) into (sin (expm1 (/ 1 a)))
1.300 * [backup-simplify]: Simplify (* (cos (expm1 (/ 1 a))) 0) into 0
1.300 * [backup-simplify]: Simplify (+ (sin (expm1 (/ 1 a))) 0) into (sin (expm1 (/ 1 a)))
1.300 * [backup-simplify]: Simplify (sin (expm1 (/ 1 a))) into (sin (expm1 (/ 1 a)))
1.301 * [backup-simplify]: Simplify (+ 0) into 0
1.301 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (* 0 1)) into 0
1.301 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.302 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (* 0 0)) into 0
1.302 * [backup-simplify]: Simplify (+ 0 0) into 0
1.302 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.303 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
1.303 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.304 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
1.304 * [backup-simplify]: Simplify (+ 0 0) into 0
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.305 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.306 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.306 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.306 * [backup-simplify]: Simplify (+ 0 0) into 0
1.306 * [backup-simplify]: Simplify 0 into 0
1.308 * [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
1.308 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.309 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.310 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
1.310 * [backup-simplify]: Simplify (+ 0 0) into 0
1.310 * [backup-simplify]: Simplify 0 into 0
1.311 * [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
1.311 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.313 * [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
1.313 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
1.314 * [backup-simplify]: Simplify (+ 0 0) into 0
1.314 * [backup-simplify]: Simplify 0 into 0
1.316 * [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
1.316 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.318 * [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
1.322 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ 1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
1.323 * [backup-simplify]: Simplify (+ 0 0) into 0
1.323 * [backup-simplify]: Simplify 0 into 0
1.323 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (/ 1 a)))) into (sin (expm1 a))
1.323 * [backup-simplify]: Simplify (sin (expm1 (/ 1 (- a)))) into (sin (expm1 (/ -1 a)))
1.323 * [approximate]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in (a) around 0
1.323 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.323 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.323 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
1.323 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
1.323 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
1.323 * [taylor]: Taking taylor expansion of (sin (expm1 (/ -1 a))) in a
1.323 * [taylor]: Taking taylor expansion of (expm1 (/ -1 a)) in a
1.323 * [backup-simplify]: Simplify (expm1 (/ -1 a)) into (expm1 (/ -1 a))
1.323 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
1.323 * [backup-simplify]: Simplify (cos (expm1 (/ -1 a))) into (cos (expm1 (/ -1 a)))
1.323 * [backup-simplify]: Simplify (* (sin (expm1 (/ -1 a))) 1) into (sin (expm1 (/ -1 a)))
1.324 * [backup-simplify]: Simplify (* (cos (expm1 (/ -1 a))) 0) into 0
1.324 * [backup-simplify]: Simplify (+ (sin (expm1 (/ -1 a))) 0) into (sin (expm1 (/ -1 a)))
1.324 * [backup-simplify]: Simplify (sin (expm1 (/ -1 a))) into (sin (expm1 (/ -1 a)))
1.324 * [backup-simplify]: Simplify (+ 0) into 0
1.324 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (* 0 1)) into 0
1.325 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
1.325 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (* 0 0)) into 0
1.325 * [backup-simplify]: Simplify (+ 0 0) into 0
1.325 * [backup-simplify]: Simplify 0 into 0
1.326 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
1.326 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 1))) into 0
1.327 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
1.327 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (* 0 0))) into 0
1.327 * [backup-simplify]: Simplify (+ 0 0) into 0
1.327 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
1.328 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.329 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
1.330 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
1.330 * [backup-simplify]: Simplify (+ 0 0) into 0
1.330 * [backup-simplify]: Simplify 0 into 0
1.331 * [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
1.332 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.333 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
1.333 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
1.333 * [backup-simplify]: Simplify (+ 0 0) into 0
1.333 * [backup-simplify]: Simplify 0 into 0
1.334 * [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
1.335 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.336 * [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
1.337 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))))) into 0
1.337 * [backup-simplify]: Simplify (+ 0 0) into 0
1.337 * [backup-simplify]: Simplify 0 into 0
1.339 * [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
1.340 * [backup-simplify]: Simplify (+ (* (sin (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.342 * [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
1.342 * [backup-simplify]: Simplify (+ (* (cos (expm1 (/ -1 a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))))) into 0
1.343 * [backup-simplify]: Simplify (+ 0 0) into 0
1.343 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (sin (expm1 (/ -1 (/ 1 (- a))))) into (sin (expm1 a))
1.343 * * * [progress]: simplifying candidates
1.343 * [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))
1.344 * [simplify]: Sending expressions to egg_math:
 (log (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)))
 (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log 1)
 (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (exp (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (exp 1))
 (log (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (exp (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (* (* (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (sqrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (sqrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (exp (* (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (exp (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (exp 1)
 (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (exp (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (* (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (sin (expm1 h0)))
 (exp (sin (expm1 h0)))
 (* (cbrt (sin (expm1 h0))) (cbrt (sin (expm1 h0))))
 (cbrt (sin (expm1 h0)))
 (* (* (sin (expm1 h0)) (sin (expm1 h0))) (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (sqrt (sin (expm1 h0)))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (sin (expm1 h0))
 (sin (expm1 h0))
 (sin (expm1 h0))
1.432 * * * [progress]: adding candidates to table
1.590 * * [progress]: iteration 3 / 4
1.590 * * * [progress]: picking best candidate
1.679 * * * * [pick]: Picked  #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))>
1.679 * * * [progress]: localizing error
1.703 * * * [progress]: generating rewritten candidates
1.703 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.703 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.708 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.711 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.718 * * * [progress]: generating series expansions
1.718 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.719 * [backup-simplify]: Simplify (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.719 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
1.719 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.719 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.719 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
1.719 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.719 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
1.720 * [backup-simplify]: Simplify (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3))) (/ 1 a)) into (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a))
1.720 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
1.720 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.720 * [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))
1.720 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
1.720 * [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))
1.720 * [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))
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [backup-simplify]: Simplify 0 into 0
1.720 * [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)
1.721 * [backup-simplify]: Simplify (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) 3))) (/ 1 (- a))) into (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a))
1.721 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
1.721 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.721 * [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))
1.721 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
1.721 * [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))
1.721 * [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))
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 0 into 0
1.722 * [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)
1.722 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.722 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.722 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in (a) around 0
1.722 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.722 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.722 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.722 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.722 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.722 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) in a
1.722 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.722 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.722 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.722 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.723 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)
1.723 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.723 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.724 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.724 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) into 0
1.724 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2))) into 0
1.724 * [backup-simplify]: Simplify 0 into 0
1.725 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.726 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) into 0
1.726 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)))) into 0
1.726 * [backup-simplify]: Simplify 0 into 0
1.727 * [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
1.728 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))) into 0
1.729 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2))))) into 0
1.729 * [backup-simplify]: Simplify 0 into 0
1.736 * [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
1.737 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))) into 0
1.738 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)))))) into 0
1.738 * [backup-simplify]: Simplify 0 into 0
1.740 * [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
1.742 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))))) into 0
1.743 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2))))))) into 0
1.743 * [backup-simplify]: Simplify 0 into 0
1.746 * [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
1.748 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))))))) into 0
1.749 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 2)))))))) into 0
1.749 * [backup-simplify]: Simplify 0 into 0
1.749 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.750 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3)
1.750 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in (a) around 0
1.750 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.750 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.750 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.750 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.750 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.750 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) in a
1.750 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.750 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.750 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.750 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.750 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) into (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2)
1.751 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2)) into (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3)
1.751 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3)
1.752 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.752 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))) into 0
1.752 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2))) into 0
1.753 * [backup-simplify]: Simplify 0 into 0
1.753 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.754 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))) into 0
1.755 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2)))) into 0
1.755 * [backup-simplify]: Simplify 0 into 0
1.756 * [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
1.756 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))))) into 0
1.757 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2))))) into 0
1.757 * [backup-simplify]: Simplify 0 into 0
1.759 * [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
1.760 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))))) into 0
1.761 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2)))))) into 0
1.761 * [backup-simplify]: Simplify 0 into 0
1.763 * [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
1.764 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))))))))) into 0
1.765 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2))))))) into 0
1.766 * [backup-simplify]: Simplify 0 into 0
1.771 * [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
1.773 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))))))))) into 0
1.776 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 2)))))))) into 0
1.776 * [backup-simplify]: Simplify 0 into 0
1.777 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a))))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.777 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3)
1.777 * [approximate]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in (a) around 0
1.777 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.777 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.777 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.777 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.778 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.778 * [taylor]: Taking taylor expansion of (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) in a
1.778 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.778 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.778 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.778 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.779 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))) into (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2)
1.780 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2)) into (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3)
1.780 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 3)
1.781 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.782 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))) into 0
1.782 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2))) into 0
1.783 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.785 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))) into 0
1.786 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2)))) into 0
1.786 * [backup-simplify]: Simplify 0 into 0
1.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
1.790 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))))) into 0
1.791 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2))))) into 0
1.791 * [backup-simplify]: Simplify 0 into 0
1.794 * [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
1.795 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))))) into 0
1.796 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2)))))) into 0
1.796 * [backup-simplify]: Simplify 0 into 0
1.798 * [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
1.800 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))))))))) into 0
1.801 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2))))))) into 0
1.801 * [backup-simplify]: Simplify 0 into 0
1.805 * [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
1.807 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))))))))) into 0
1.809 * [backup-simplify]: Simplify (+ (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) 2)))))))) into 0
1.809 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify (pow (exp (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a)))))) 3) into (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
1.809 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.809 * [backup-simplify]: Simplify (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.809 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in (a) around 0
1.809 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.809 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.810 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.810 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.810 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) in a
1.810 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.810 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.810 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.810 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.811 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 1) 1)))) into 0
1.811 * [backup-simplify]: Simplify 0 into 0
1.812 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.812 * [backup-simplify]: Simplify 0 into 0
1.814 * [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
1.814 * [backup-simplify]: Simplify 0 into 0
1.816 * [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
1.816 * [backup-simplify]: Simplify 0 into 0
1.819 * [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
1.819 * [backup-simplify]: Simplify 0 into 0
1.823 * [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
1.823 * [backup-simplify]: Simplify 0 into 0
1.823 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.823 * [backup-simplify]: Simplify (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3)) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.823 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in (a) around 0
1.823 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.823 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.824 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.824 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.824 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) in a
1.824 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.824 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.824 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.824 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))
1.825 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.825 * [backup-simplify]: Simplify 0 into 0
1.826 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.826 * [backup-simplify]: Simplify 0 into 0
1.827 * [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
1.828 * [backup-simplify]: Simplify 0 into 0
1.829 * [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
1.829 * [backup-simplify]: Simplify 0 into 0
1.831 * [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
1.831 * [backup-simplify]: Simplify 0 into 0
1.835 * [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
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.835 * [backup-simplify]: Simplify (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) 3)) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.835 * [approximate]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in (a) around 0
1.835 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.835 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.835 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.836 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.836 * [taylor]: Taking taylor expansion of (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) in a
1.836 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.836 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.836 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.836 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) into (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))))
1.837 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1.837 * [backup-simplify]: Simplify 0 into 0
1.838 * [backup-simplify]: Simplify (* (exp (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1.838 * [backup-simplify]: Simplify 0 into 0
1.839 * [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
1.839 * [backup-simplify]: Simplify 0 into 0
1.840 * [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
1.840 * [backup-simplify]: Simplify 0 into 0
1.842 * [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
1.843 * [backup-simplify]: Simplify 0 into 0
1.846 * [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
1.846 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (exp (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a)))))) into (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
1.846 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.846 * [backup-simplify]: Simplify (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.846 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
1.847 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.847 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.847 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
1.847 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.847 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.847 * [backup-simplify]: Simplify (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))) 3))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.847 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
1.847 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.848 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.848 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
1.848 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.848 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.848 * [backup-simplify]: Simplify (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a))))) 3))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.848 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
1.848 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.849 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.849 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
1.849 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.849 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
1.849 * * * [progress]: simplifying candidates
1.855 * [simplify]: Simplifying:
  (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))
  (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (* (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (* (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (* 1 3)
  (* (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (sqrt (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (* (cbrt 3) (cbrt 3)))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (sqrt 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 1)
  (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow 1 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (* (* (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)
  (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)
  (pow 1 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (exp (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3))
  (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))
  (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3))
  (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (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)))))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (cbrt 1)
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2)))
  (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2)))
  (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (* (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)))
  (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow 1 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))) 3)))
  (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) 3)))
  (log (cbrt (pow 1 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))
  (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (exp (atan2 (expm1 (sin (expm1 a))) (atan a))))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (cbrt 1))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) (/ 3 2))))
  (log (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (log 1)
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))
  (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))
  (log (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (exp (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))))
  (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (* (* (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
  (atan2 (expm1 (sin (expm1 a))) (atan a))
1.856 * [simplify]: Sending expressions to egg_math:
 (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (exp (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0)))
 (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (* (* (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0)) (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) h0))
 (* (atan2 (expm1 (sin (expm1 h0))) (atan h0)) 3)
 (* (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (* 1 3)
 (* (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (* (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (* (atan2 (expm1 (sin (expm1 h0))) (atan h0)) 3)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (* (cbrt 3) (cbrt 3)))
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (sqrt 3))
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 1)
 (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3)
 (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow 1 3)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (exp (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (* (* (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3) (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)) (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3)
 (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)
 (pow 1 3)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2))
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (exp (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3))
 (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (cbrt (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3))
 (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3))
 (cbrt (pow 1 3))
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (cbrt (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (cbrt 1)
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2)))
 (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2)))
 (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (* (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3)))
 (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow 1 3)))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (cbrt (* (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)) (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))))
 (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log (cbrt (pow (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) 3)))
 (log (cbrt (pow (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) 3)))
 (log (cbrt (pow 1 3)))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (cbrt (* (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log (cbrt (sqrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log (cbrt 1))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2))))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (/ 3 2))))
 (log (* (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))))
 (log (cbrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log (sqrt (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (log 1)
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))
 (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))
 (log (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (exp (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))))
 (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (* (* (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)))) (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (sqrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3))))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (pow (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))) 3)
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
1.986 * * * [progress]: adding candidates to table
2.210 * * [progress]: iteration 4 / 4
2.210 * * * [progress]: picking best candidate
2.298 * * * * [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)))))>
2.298 * * * [progress]: localizing error
2.333 * * * [progress]: generating rewritten candidates
2.333 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
2.333 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.334 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.334 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
2.337 * * * [progress]: generating series expansions
2.337 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
2.338 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.338 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.338 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.338 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.338 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.338 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.338 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify 0 into 0
2.338 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.339 * [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))
2.339 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.339 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.339 * [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))
2.339 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.339 * [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))
2.339 * [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))
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.339 * [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)
2.340 * [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))
2.340 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.340 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.340 * [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))
2.340 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.340 * [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))
2.340 * [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))
2.340 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify 0 into 0
2.341 * [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)
2.341 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
2.341 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.341 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.341 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.341 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.341 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.341 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.341 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify 0 into 0
2.341 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.342 * [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))
2.342 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.342 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.342 * [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))
2.342 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.342 * [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))
2.342 * [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))
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.342 * [backup-simplify]: Simplify 0 into 0
2.343 * [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)
2.343 * [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))
2.343 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.343 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.343 * [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))
2.343 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.343 * [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))
2.343 * [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))
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.343 * [backup-simplify]: Simplify 0 into 0
2.344 * [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)
2.344 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
2.344 * [backup-simplify]: Simplify (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.344 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in (a) around 0
2.344 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.344 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.344 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) in a
2.344 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.344 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.344 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) into (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)
2.345 * [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))
2.345 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in (a) around 0
2.345 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.345 * [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))
2.345 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) (/ 1 a)) in a
2.345 * [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))
2.345 * [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))
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.345 * [backup-simplify]: Simplify 0 into 0
2.346 * [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)
2.346 * [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))
2.346 * [approximate]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in (a) around 0
2.346 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.346 * [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))
2.346 * [taylor]: Taking taylor expansion of (fmod (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) (/ -1 a)) in a
2.346 * [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))
2.346 * [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))
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.347 * [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)
2.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
2.347 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.347 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in (a) around 0
2.347 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.347 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.347 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 a))) (atan a)) in a
2.347 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.347 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 a))) (atan a)) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.348 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
2.348 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in (a) around 0
2.348 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.348 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
2.348 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) in a
2.348 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
2.348 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a))) into (atan2 (expm1 (sin (expm1 (/ 1 a)))) (atan (/ 1 a)))
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify 0 into 0
2.348 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ 1 (/ 1 a))))) (atan (/ 1 (/ 1 a)))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.349 * [backup-simplify]: Simplify (log (exp (atan2 (expm1 (sin (expm1 (/ 1 (- a))))) (atan (/ 1 (- a)))))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
2.349 * [approximate]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in (a) around 0
2.349 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.349 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
2.349 * [taylor]: Taking taylor expansion of (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) in a
2.349 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
2.349 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a))) into (atan2 (expm1 (sin (expm1 (/ -1 a)))) (atan (/ -1 a)))
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify 0 into 0
2.349 * [backup-simplify]: Simplify (atan2 (expm1 (sin (expm1 (/ -1 (/ 1 (- a)))))) (atan (/ -1 (/ 1 (- a))))) into (atan2 (expm1 (sin (expm1 a))) (atan a))
2.349 * * * [progress]: simplifying candidates
2.350 * [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))
2.350 * [simplify]: Sending expressions to egg_math:
 (log (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)))
 (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (log (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)))
 (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (log (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (exp (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)))
 (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (* (* (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (sqrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))
 (log (* (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (sqrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log 1)
 (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))
 (log (exp (* (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))) (cbrt (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (log (exp (sqrt (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (log (exp 1))
 (log (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (exp (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (* (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))))
 (cbrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (* (* (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0))))) (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (sqrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (sqrt (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (fmod (atan2 (expm1 (sin (expm1 h0))) (atan h0)) h0)
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
 (atan2 (expm1 (sin (expm1 h0))) (atan h0))
2.426 * * * [progress]: adding candidates to table
2.644 * [progress]: [Phase 3 of 3] Extracting.
2.644 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) 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 (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 (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 (* (* (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 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (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 (fmod (log (log (exp (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 (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (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 (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (* (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (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)))>)
2.656 * * * [regime-changes]: Trying 2 branch expressions: ((fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) a)
2.656 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) 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 (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 (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 (* (* (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 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (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 (fmod (log (log (exp (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 (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (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 (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (* (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (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)))>)
2.818 * * * * [regimes]: Trying to branch on (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) from (#<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))>)
2.863 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (fabs (fmod (atan2 (expm1 (* (* (cbrt (sin (expm1 a))) (cbrt (sin (expm1 a)))) (cbrt (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a))) (cbrt (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))))> #<alt (λ (a) (fabs (fmod (atan2 (exp (log (expm1 (sin (expm1 a))))) (atan a)) a)))> #<alt (λ (a) (fabs (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))))> #<alt (λ (a) (fabs (exp (log (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (* (* (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a))) (cbrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) 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 (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 (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 (* (* (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 (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))> #<alt (λ (a) (fabs (exp (log (fmod (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 (fmod (log (log (exp (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 (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (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 (exp (log (fmod (log (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))))> #<alt (λ (a) (fabs (fmod (log (cbrt (log (exp (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) 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 (* (* (cbrt (cbrt (pow (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a) 3))) (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 (* (* (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3)))) (cbrt (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))))) (cbrt (atan2 (expm1 (sin (expm1 a))) (atan a)))) a)))> #<alt (λ (a) (fabs (* (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)) (sqrt (fmod (log (cbrt (pow (exp (atan2 (expm1 (sin (expm1 a))) (atan a))) 3))) a)))))> #<alt (λ (a) (fabs (fmod (cbrt (pow (atan2 (expm1 (sin (expm1 a))) (atan a)) 3)) a)))> #<alt (λ (a) (fabs (fmod (log (exp (atan2 (expm1 (cbrt (pow (sin (expm1 a)) 3))) (atan a)))) a)))> #<alt (λ (a) (fabs (log (exp (fmod (log (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)))>)
3.006 * * * [regime]: Found split indices: #<option (#s(si 14 255))>
3.006 * [simplify]: Simplifying:
  (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 (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) (log (cbrt (exp (atan2 (expm1 (sin (expm1 a))) (atan a)))))) a))))
3.006 * [simplify]: Sending expressions to egg_math:
 (fabs (* (* (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0)) (cbrt (fmod (log (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))) h0))) (cbrt (fmod (+ (* 2 (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))) (log (cbrt (exp (atan2 (expm1 (sin (expm1 h0))) (atan h0)))))) h0))))
21.499 * [regime-testing]: Baseline error score: 33.6799215798656
21.501 * [regime-testing]: Oracle error score: 31.912053519552888
21.505 * [regime-testing]: End program error score: 33.6799215798656