0.777 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.201 * * * [progress]: [2/2] Setting up program.
1.212 * [progress]: [Phase 2 of 3] Improving.
1.215 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.216 * * [simplify]: iteration 0: 7 enodes
1.223 * * [simplify]: iteration 1: 16 enodes
1.227 * * [simplify]: iteration 2: 24 enodes
1.236 * * [simplify]: iteration 3: 44 enodes
1.286 * * [simplify]: iteration 4: 87 enodes
1.308 * * [simplify]: iteration 5: 199 enodes
1.513 * * [simplify]: iteration 6: 774 enodes
3.133 * * [simplify]: iteration 7: 3478 enodes
4.144 * * [simplify]: iteration complete: 5041 enodes
4.144 * * [simplify]: Extracting #0: cost 1 inf + 0
4.144 * * [simplify]: Extracting #1: cost 2 inf + 0
4.145 * * [simplify]: Extracting #2: cost 70 inf + 0
4.148 * * [simplify]: Extracting #3: cost 518 inf + 2
4.155 * * [simplify]: Extracting #4: cost 953 inf + 3441
4.180 * * [simplify]: Extracting #5: cost 789 inf + 52630
4.231 * * [simplify]: Extracting #6: cost 180 inf + 213502
4.333 * * [simplify]: Extracting #7: cost 9 inf + 348390
4.437 * * [simplify]: Extracting #8: cost 0 inf + 348856
4.506 * * [simplify]: Extracting #9: cost 0 inf + 347470
4.618 * * [simplify]: Extracting #10: cost 0 inf + 347419
4.704 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.706 * * [progress]: iteration 1 / 4
4.706 * * * [progress]: picking best candidate
4.711 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.711 * * * [progress]: localizing error
4.735 * * * [progress]: generating rewritten candidates
4.736 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
4.737 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
4.739 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
4.748 * * * [progress]: generating series expansions
4.749 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
4.756 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.756 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.757 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.759 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify 0 into 0
4.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.761 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.762 * * * * [progress]: [ 2 / 3 ] generating series at (2)
4.762 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.762 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.762 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.762 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.763 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.763 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.763 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify 0 into 0
4.763 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.763 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.763 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.763 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.764 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.764 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.764 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.764 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.764 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.765 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.765 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.765 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.765 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.765 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.765 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.765 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify 0 into 0
4.766 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.766 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
4.766 * [backup-simplify]: Simplify (pow (fmod (cosh a) (* a a)) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.766 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
4.766 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.766 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.766 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.766 * [taylor]: Taking taylor expansion of (log1p a) in a
4.766 * [backup-simplify]: Simplify (log1p a) into (log1p a)
4.766 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.766 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.766 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.766 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.767 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
4.767 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
4.767 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
4.767 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
4.767 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
4.767 * [taylor]: Taking taylor expansion of (log1p a) in a
4.767 * [backup-simplify]: Simplify (log1p a) into (log1p a)
4.767 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
4.767 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.767 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.767 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
4.767 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
4.768 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
4.768 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
4.769 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
4.769 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
4.770 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 1) 1)))) into 0
4.770 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
4.772 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
4.773 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.773 * [backup-simplify]: Simplify 0 into 0
4.776 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
4.776 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
4.778 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.778 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
4.782 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
4.783 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.784 * [backup-simplify]: Simplify 0 into 0
4.789 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
4.790 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
4.792 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.792 * [backup-simplify]: Simplify 0 into 0
4.800 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
4.802 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
4.805 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.805 * [backup-simplify]: Simplify 0 into 0
4.805 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
4.805 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.805 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
4.805 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.805 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.805 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.805 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.805 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
4.805 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.806 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.806 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.806 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.806 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
4.806 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
4.806 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
4.806 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
4.806 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
4.806 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
4.806 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.806 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.807 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
4.807 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
4.807 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.807 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
4.808 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.809 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
4.809 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.809 * [backup-simplify]: Simplify 0 into 0
4.811 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.811 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
4.812 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.812 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
4.815 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
4.816 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.817 * [backup-simplify]: Simplify 0 into 0
4.820 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
4.821 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
4.823 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.823 * [backup-simplify]: Simplify 0 into 0
4.828 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
4.829 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
4.832 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.832 * [backup-simplify]: Simplify 0 into 0
4.847 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
4.849 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
4.852 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.852 * [backup-simplify]: Simplify 0 into 0
4.852 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.853 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.853 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
4.853 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.853 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.853 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.853 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.853 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
4.853 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.853 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.853 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.853 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.853 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.854 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.854 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
4.854 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
4.854 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
4.854 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
4.854 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
4.854 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
4.854 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.854 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.854 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
4.854 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
4.854 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.855 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
4.855 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
4.856 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
4.856 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
4.856 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
4.858 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
4.859 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.859 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
4.862 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
4.863 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.863 * [backup-simplify]: Simplify 0 into 0
4.867 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
4.868 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
4.869 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.869 * [backup-simplify]: Simplify 0 into 0
4.875 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
4.876 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
4.881 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.881 * [backup-simplify]: Simplify 0 into 0
4.897 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
4.899 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
4.904 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.904 * [backup-simplify]: Simplify 0 into 0
4.904 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.905 * * * [progress]: simplifying candidates
4.905 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (pow (fmod (cosh a) (* a a)) 1)
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow 1 (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (log (pow (fmod (cosh a) (* a a)) (log1p a)))
  (exp (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))
  (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (* (* (pow (fmod (cosh a) (* a a)) (log1p a)) (pow (fmod (cosh a) (* a a)) (log1p a))) (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (sqrt (pow (fmod (cosh a) (* a a)) (log1p a)))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (pow (fmod (cosh a) (* a a)) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
4.906 * * [simplify]: iteration 0: 54 enodes
4.917 * * [simplify]: iteration 1: 126 enodes
4.944 * * [simplify]: iteration 2: 267 enodes
5.131 * * [simplify]: iteration 3: 803 enodes
5.509 * * [simplify]: iteration 4: 2219 enodes
7.094 * * [simplify]: iteration complete: 5001 enodes
7.095 * * [simplify]: Extracting #0: cost 31 inf + 0
7.095 * * [simplify]: Extracting #1: cost 271 inf + 1
7.098 * * [simplify]: Extracting #2: cost 772 inf + 1038
7.106 * * [simplify]: Extracting #3: cost 936 inf + 51789
7.152 * * [simplify]: Extracting #4: cost 583 inf + 228528
7.278 * * [simplify]: Extracting #5: cost 142 inf + 552557
7.373 * * [simplify]: Extracting #6: cost 8 inf + 661904
7.481 * * [simplify]: Extracting #7: cost 0 inf + 665189
7.571 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (log (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))) (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))
  (cbrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (* (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))) (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (sqrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (sqrt (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (* (log1p a) (log (fmod (cosh a) (* a a))))
  (exp (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (* (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))
  (cbrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (* (* (exp (* (log1p a) (log (fmod (cosh a) (* a a))))) (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))) (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (sqrt (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
  (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))
7.573 * * * [progress]: adding candidates to table
7.778 * * [progress]: iteration 2 / 4
7.778 * * * [progress]: picking best candidate
7.802 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
7.802 * * * [progress]: localizing error
7.845 * * * [progress]: generating rewritten candidates
7.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1)
7.845 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
7.849 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
7.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
7.861 * * * [progress]: generating series expansions
7.861 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1)
7.861 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
7.861 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.861 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.862 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify 0 into 0
7.862 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.863 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.863 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.863 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify 0 into 0
7.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.864 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.864 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.864 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.865 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.865 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 0 into 0
7.866 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.866 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
7.866 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
7.866 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
7.866 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.866 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.866 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.867 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.867 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.867 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
7.867 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.868 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.868 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.868 * [backup-simplify]: Simplify 0 into 0
7.869 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
7.869 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.869 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
7.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.869 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.869 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
7.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify 0 into 0
7.870 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
7.870 * * * * [progress]: [ 3 / 4 ] generating series at (2)
7.871 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.871 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
7.871 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.871 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.871 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
7.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify 0 into 0
7.872 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.873 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.873 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
7.873 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.873 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.873 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
7.874 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.874 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
7.874 * [backup-simplify]: Simplify 0 into 0
7.874 * [backup-simplify]: Simplify 0 into 0
7.874 * [backup-simplify]: Simplify 0 into 0
7.874 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.876 * [backup-simplify]: Simplify (acos (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.876 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
7.876 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.876 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.876 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
7.877 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.877 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 0 into 0
7.878 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
7.878 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
7.878 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
7.878 * [approximate]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in (a) around 0
7.878 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
7.878 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
7.878 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
7.878 * [taylor]: Taking taylor expansion of (log1p a) in a
7.878 * [backup-simplify]: Simplify (log1p a) into (log1p a)
7.878 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
7.878 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.879 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.879 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
7.879 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
7.879 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
7.880 * [taylor]: Taking taylor expansion of (pow (fmod (cosh a) (pow a 2)) (log1p a)) in a
7.880 * [taylor]: Taking taylor expansion of (exp (* (log1p a) (log (fmod (cosh a) (pow a 2))))) in a
7.880 * [taylor]: Taking taylor expansion of (* (log1p a) (log (fmod (cosh a) (pow a 2)))) in a
7.880 * [taylor]: Taking taylor expansion of (log1p a) in a
7.880 * [backup-simplify]: Simplify (log1p a) into (log1p a)
7.880 * [taylor]: Taking taylor expansion of (log (fmod (cosh a) (pow a 2))) in a
7.880 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
7.880 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
7.880 * [backup-simplify]: Simplify (log (fmod (cosh a) (pow a 2))) into (log (fmod (cosh a) (pow a 2)))
7.880 * [backup-simplify]: Simplify (* (log1p a) (log (fmod (cosh a) (pow a 2)))) into (* (log (fmod (cosh a) (pow a 2))) (log1p a))
7.881 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
7.881 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
7.882 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 1) into 0
7.883 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (* 0 (log (fmod (cosh a) (pow a 2))))) into 0
7.884 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 1) 1)))) into 0
7.884 * [backup-simplify]: Simplify 0 into 0
7.886 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 2) into 0
7.887 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))) into 0
7.888 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.888 * [backup-simplify]: Simplify 0 into 0
7.892 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 6) into 0
7.893 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))) into 0
7.895 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.895 * [backup-simplify]: Simplify 0 into 0
7.901 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 24) into 0
7.902 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))) into 0
7.905 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p 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
7.905 * [backup-simplify]: Simplify 0 into 0
7.914 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 120) into 0
7.916 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2))))))))) into 0
7.920 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p 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
7.920 * [backup-simplify]: Simplify 0 into 0
7.931 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh a) (pow a 2)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh a) (pow a 2)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh a) (pow a 2)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh a) (pow a 2)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh a) (pow a 2)) 1)))) 720) into 0
7.932 * [backup-simplify]: Simplify (+ (* (log1p a) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh a) (pow a 2)))))))))) into 0
7.935 * [backup-simplify]: Simplify (* (exp (* (log (fmod (cosh a) (pow a 2))) (log1p 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
7.935 * [backup-simplify]: Simplify 0 into 0
7.936 * [backup-simplify]: Simplify (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a))) into (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
7.936 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
7.936 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in (a) around 0
7.936 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
7.936 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
7.936 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
7.936 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.936 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
7.936 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.936 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.936 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.936 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.936 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
7.937 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
7.937 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) in a
7.937 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
7.937 * [taylor]: Taking taylor expansion of (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
7.937 * [taylor]: Taking taylor expansion of (log1p (/ 1 a)) in a
7.937 * [backup-simplify]: Simplify (log1p (/ 1 a)) into (log1p (/ 1 a))
7.937 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
7.937 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
7.937 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
7.937 * [backup-simplify]: Simplify (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
7.937 * [backup-simplify]: Simplify (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
7.937 * [backup-simplify]: Simplify (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
7.938 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))) into (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))
7.938 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
7.939 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
7.939 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
7.939 * [backup-simplify]: Simplify 0 into 0
7.941 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
7.941 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
7.942 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
7.942 * [backup-simplify]: Simplify 0 into 0
7.944 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
7.945 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
7.946 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
7.946 * [backup-simplify]: Simplify 0 into 0
7.950 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
7.951 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
7.952 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
7.952 * [backup-simplify]: Simplify 0 into 0
7.961 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
7.963 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
7.967 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
7.967 * [backup-simplify]: Simplify 0 into 0
7.983 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
7.986 * [backup-simplify]: Simplify (+ (* (log1p (/ 1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))))) into 0
7.999 * [backup-simplify]: Simplify (* (exp (* (log1p (/ 1 a)) (log (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
7.999 * [backup-simplify]: Simplify 0 into 0
7.999 * [backup-simplify]: Simplify (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a)))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
8.000 * [backup-simplify]: Simplify (pow (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) (log1p (/ 1 (- a)))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
8.000 * [approximate]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in (a) around 0
8.000 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
8.000 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
8.000 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
8.000 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.000 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
8.000 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
8.000 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.000 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.001 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
8.001 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
8.001 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
8.001 * [taylor]: Taking taylor expansion of (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) in a
8.002 * [taylor]: Taking taylor expansion of (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
8.002 * [taylor]: Taking taylor expansion of (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
8.002 * [taylor]: Taking taylor expansion of (log1p (/ -1 a)) in a
8.002 * [backup-simplify]: Simplify (log1p (/ -1 a)) into (log1p (/ -1 a))
8.002 * [taylor]: Taking taylor expansion of (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
8.002 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.002 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.002 * [backup-simplify]: Simplify (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
8.003 * [backup-simplify]: Simplify (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
8.003 * [backup-simplify]: Simplify (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
8.003 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))) into (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))
8.005 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 1) into 0
8.006 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
8.007 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 1) 1)))) into 0
8.007 * [backup-simplify]: Simplify 0 into 0
8.009 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 2) into 0
8.010 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
8.012 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.012 * [backup-simplify]: Simplify 0 into 0
8.015 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 6) into 0
8.017 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
8.019 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.019 * [backup-simplify]: Simplify 0 into 0
8.025 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 24) into 0
8.027 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
8.030 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
8.030 * [backup-simplify]: Simplify 0 into 0
8.039 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 120) into 0
8.041 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
8.045 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
8.045 * [backup-simplify]: Simplify 0 into 0
8.060 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 1)))) 720) into 0
8.062 * [backup-simplify]: Simplify (+ (* (log1p (/ -1 a)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))))) into 0
8.069 * [backup-simplify]: Simplify (* (exp (* (log1p (/ -1 a)) (log (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) (+ (* (/ (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
8.069 * [backup-simplify]: Simplify 0 into 0
8.070 * [backup-simplify]: Simplify (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a))))) into (pow (fmod (cosh a) (pow a 2)) (log1p a))
8.070 * * * [progress]: simplifying candidates
8.072 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* (log (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (* 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (log (exp (fmod (cosh a) (* a a)))) (sqrt (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) 1)
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (log (exp (sqrt (fmod (cosh a) (* a a))))) (log1p a))
  (pow (fmod (cosh a) (* a a)) (log1p a))
  (pow (log (exp 1)) (log1p a))
  (pow (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (log1p a))
  (pow (cbrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow (sqrt (log (exp (fmod (cosh a) (* a a))))) (log1p a))
  (pow 1 (log1p a))
  (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))
  (log (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (exp (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (cbrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (* (* (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (sqrt (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (pow (log (exp (fmod (cosh a) (* a a)))) (/ (log1p a) 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (exp (* (log (fmod (cosh a) (pow a 2))) (log1p a)))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
  (pow (fmod (cosh a) (pow a 2)) (log1p a))
8.074 * * [simplify]: iteration 0: 81 enodes
8.107 * * [simplify]: iteration 1: 191 enodes
8.185 * * [simplify]: iteration 2: 398 enodes
8.416 * * [simplify]: iteration 3: 1145 enodes
9.222 * * [simplify]: iteration 4: 3310 enodes
10.007 * * [simplify]: iteration complete: 6092 enodes
10.007 * * [simplify]: Extracting #0: cost 35 inf + 0
10.008 * * [simplify]: Extracting #1: cost 325 inf + 2
10.013 * * [simplify]: Extracting #2: cost 2062 inf + 446
10.028 * * [simplify]: Extracting #3: cost 1906 inf + 128478
10.134 * * [simplify]: Extracting #4: cost 339 inf + 1133337
10.378 * * [simplify]: Extracting #5: cost 7 inf + 1141595
10.543 * * [simplify]: Extracting #6: cost 0 inf + 1122025
10.778 * * [simplify]: Extracting #7: cost 0 inf + 1121745
10.957 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (log (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (exp (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))) (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))))
  (cbrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (* (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))))
  (sqrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (sqrt (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (log1p a)
  (pow (fmod (cosh a) (* a a)) (* (cbrt (log1p a)) (cbrt (log1p a))))
  (pow (fmod (cosh a) (* a a)) (sqrt (log1p a)))
  (fmod (cosh a) (* a a))
  1
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  1
  (pow (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (log1p a))
  (pow (cbrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  (pow (sqrt (fmod (cosh a) (* a a))) (log1p a))
  1
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (* (log (fmod (cosh a) (* a a))) (log1p a))
  (exp (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (* (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))) (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))))
  (cbrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (exp (* (log (fmod (cosh a) (* a a))) (+ (+ (log1p a) (log1p a)) (log1p a))))
  (sqrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (sqrt (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (exp (* (/ (log1p a) 2) (log (fmod (cosh a) (* a a)))))
  (exp (* (/ (log1p a) 2) (log (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (acos (exp (* (log (fmod (cosh a) (* a a))) (log1p a))))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
  (exp (* (log (fmod (cosh a) (* a a))) (log1p a)))
10.963 * * * [progress]: adding candidates to table
11.318 * * [progress]: iteration 3 / 4
11.318 * * * [progress]: picking best candidate
11.380 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))>
11.380 * * * [progress]: localizing error
11.507 * * * [progress]: generating rewritten candidates
11.507 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 1 1)
11.507 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
11.508 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
11.508 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
11.512 * * * [progress]: generating series expansions
11.512 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 1 1)
11.512 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.512 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.513 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.513 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.513 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.513 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.513 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify 0 into 0
11.513 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.514 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.514 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.514 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.514 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.514 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.514 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.514 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.514 * [backup-simplify]: Simplify 0 into 0
11.514 * [backup-simplify]: Simplify 0 into 0
11.514 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify 0 into 0
11.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.515 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.515 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.515 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.515 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify 0 into 0
11.516 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.516 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 1)
11.517 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.517 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.517 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify 0 into 0
11.517 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.518 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.518 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.518 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.518 * [backup-simplify]: Simplify 0 into 0
11.518 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify 0 into 0
11.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.519 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.519 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.519 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.519 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.519 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify 0 into 0
11.520 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.521 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1)
11.521 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
11.521 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.521 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.521 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.521 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.521 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.522 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify 0 into 0
11.522 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.523 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.523 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.523 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify 0 into 0
11.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.524 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.524 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.524 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.525 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.525 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.525 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify 0 into 0
11.526 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
11.526 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
11.526 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
11.526 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.527 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.527 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
11.527 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.527 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify 0 into 0
11.527 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
11.528 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.528 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
11.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.528 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
11.528 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify 0 into 0
11.529 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
11.529 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.529 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
11.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.530 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
11.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.530 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
11.530 * [backup-simplify]: Simplify 0 into 0
11.530 * [backup-simplify]: Simplify 0 into 0
11.530 * [backup-simplify]: Simplify 0 into 0
11.530 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify 0 into 0
11.531 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
11.531 * * * [progress]: simplifying candidates
11.532 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
11.533 * * [simplify]: iteration 0: 36 enodes
11.546 * * [simplify]: iteration 1: 58 enodes
11.554 * * [simplify]: iteration 2: 81 enodes
11.565 * * [simplify]: iteration 3: 115 enodes
11.587 * * [simplify]: iteration 4: 170 enodes
11.616 * * [simplify]: iteration 5: 300 enodes
11.707 * * [simplify]: iteration 6: 593 enodes
12.265 * * [simplify]: iteration 7: 1832 enodes
13.477 * * [simplify]: iteration complete: 5002 enodes
13.477 * * [simplify]: Extracting #0: cost 12 inf + 0
13.478 * * [simplify]: Extracting #1: cost 177 inf + 2
13.482 * * [simplify]: Extracting #2: cost 828 inf + 88
13.491 * * [simplify]: Extracting #3: cost 1166 inf + 5720
13.526 * * [simplify]: Extracting #4: cost 907 inf + 90728
13.613 * * [simplify]: Extracting #5: cost 384 inf + 286780
13.706 * * [simplify]: Extracting #6: cost 108 inf + 464145
13.851 * * [simplify]: Extracting #7: cost 1 inf + 557926
14.030 * * [simplify]: Extracting #8: cost 0 inf + 554527
14.221 * * [simplify]: Extracting #9: cost 0 inf + 554095
14.362 * * [simplify]: Extracting #10: cost 0 inf + 554023
14.500 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (+ (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (fmod (cosh a) (* a a)) (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
14.506 * * * [progress]: adding candidates to table
14.941 * * [progress]: iteration 4 / 4
14.941 * * * [progress]: picking best candidate
14.978 * * * * [pick]: Picked  #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))>
14.978 * * * [progress]: localizing error
15.091 * * * [progress]: generating rewritten candidates
15.091 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1 2 1 1 1)
15.091 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1 1 1 1)
15.091 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1)
15.092 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 1 1)
15.092 * * * [progress]: generating series expansions
15.092 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1 2 1 1 1)
15.092 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.092 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.092 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.092 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.092 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.093 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.093 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify 0 into 0
15.093 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.093 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.093 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.093 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify 0 into 0
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.094 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.094 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.094 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.095 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1 1 1 1)
15.095 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.095 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.095 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.095 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.095 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.095 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.096 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.096 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify 0 into 0
15.096 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.097 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.097 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.097 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify 0 into 0
15.097 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.097 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1)
15.098 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.098 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.098 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.098 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.098 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.098 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.098 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify 0 into 0
15.098 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.098 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.098 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.098 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify 0 into 0
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.099 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.099 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.099 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 1 1)
15.100 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
15.100 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
15.100 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.100 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.100 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
15.100 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.100 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.100 * [backup-simplify]: Simplify 0 into 0
15.100 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
15.101 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.101 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
15.101 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.101 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.101 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
15.101 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.101 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.101 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.102 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
15.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.102 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify 0 into 0
15.102 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
15.103 * * * [progress]: simplifying candidates
15.103 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
15.103 * * [simplify]: iteration 0: 14 enodes
15.106 * * [simplify]: iteration 1: 27 enodes
15.111 * * [simplify]: iteration 2: 42 enodes
15.126 * * [simplify]: iteration 3: 61 enodes
15.144 * * [simplify]: iteration 4: 96 enodes
15.157 * * [simplify]: iteration 5: 146 enodes
15.189 * * [simplify]: iteration 6: 274 enodes
15.286 * * [simplify]: iteration 7: 490 enodes
15.491 * * [simplify]: iteration 8: 1095 enodes
16.965 * * [simplify]: iteration 9: 3326 enodes
18.018 * * [simplify]: iteration complete: 5013 enodes
18.018 * * [simplify]: Extracting #0: cost 7 inf + 0
18.018 * * [simplify]: Extracting #1: cost 138 inf + 0
18.021 * * [simplify]: Extracting #2: cost 445 inf + 3
18.023 * * [simplify]: Extracting #3: cost 506 inf + 1733
18.030 * * [simplify]: Extracting #4: cost 396 inf + 76695
18.055 * * [simplify]: Extracting #5: cost 151 inf + 316309
18.138 * * [simplify]: Extracting #6: cost 9 inf + 464014
18.214 * * [simplify]: Extracting #7: cost 0 inf + 470798
18.268 * * [simplify]: Extracting #8: cost 0 inf + 470325
18.331 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
18.337 * * * [progress]: adding candidates to table
18.738 * [progress]: [Phase 3 of 3] Extracting.
18.739 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (- (/ PI 2) (asin (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.743 * * * [regime-changes]: Trying 2 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) a)
18.744 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (- (/ PI 2) (asin (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.817 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.877 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (* (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))) (sqrt (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))))> #<alt (λ (a) (log (exp (acos (exp (* (log1p a) (log (fmod (cosh a) (* a a)))))))))> #<alt (λ (a) (- (/ PI 2) (asin (exp (* (log1p a) (log (fmod (cosh a) (* a a))))))))> #<alt (λ (a) (acos (* (* (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
18.928 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
18.929 * [simplify]: Simplifying:
  (* (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))))
18.929 * * [simplify]: iteration 0: 18 enodes
18.931 * * [simplify]: iteration 1: 19 enodes
18.932 * * [simplify]: iteration complete: 19 enodes
18.932 * * [simplify]: Extracting #0: cost 1 inf + 0
18.932 * * [simplify]: Extracting #1: cost 3 inf + 0
18.932 * * [simplify]: Extracting #2: cost 5 inf + 0
18.932 * * [simplify]: Extracting #3: cost 7 inf + 0
18.932 * * [simplify]: Extracting #4: cost 10 inf + 0
18.932 * * [simplify]: Extracting #5: cost 13 inf + 0
18.932 * * [simplify]: Extracting #6: cost 14 inf + 1
18.932 * * [simplify]: Extracting #7: cost 14 inf + 92
18.932 * * [simplify]: Extracting #8: cost 16 inf + 92
18.932 * * [simplify]: Extracting #9: cost 13 inf + 355
18.933 * * [simplify]: Extracting #10: cost 9 inf + 1779
18.933 * * [simplify]: Extracting #11: cost 5 inf + 3983
18.934 * * [simplify]: Extracting #12: cost 2 inf + 6261
18.935 * * [simplify]: Extracting #13: cost 1 inf + 7117
18.936 * * [simplify]: Extracting #14: cost 0 inf + 8503
18.937 * [simplify]: Simplified to:
  (* (cbrt (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))))
54.306 * [regime-testing]: Baseline error score: 60.19809256653365
54.315 * [regime-testing]: Oracle error score: 59.76654675947696
54.333 * [regime-testing]: End program error score: 60.19809256653365