0.548 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.410 * * * [progress]: [2/2] Setting up program.
1.415 * [progress]: [Phase 2 of 3] Improving.
1.418 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.419 * * [simplify]: Extracting # 0 : cost  0
1.419 * * [simplify]: Extracting # 1 : cost  0
1.419 * * [simplify]: Extracting # 2 : cost  0
1.419 * * [simplify]: Extracting # 3 : cost  0
1.420 * * [simplify]: Extracting # 4 : cost  0
1.420 * * [simplify]: Extracting # 5 : cost  0
1.420 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.424 * * [simplify]: Extracting # 0 : cost  0
1.424 * * [simplify]: Extracting # 1 : cost  0
1.424 * * [simplify]: Extracting # 2 : cost  0
1.424 * * [simplify]: Extracting # 3 : cost  0
1.424 * * [simplify]: Extracting # 4 : cost  0
1.424 * * [simplify]: Extracting # 5 : cost  0
1.424 * * [simplify]: iteration  1 :  18  enodes  (cost  10 )
1.428 * * [simplify]: Extracting # 0 : cost  0
1.428 * * [simplify]: Extracting # 1 : cost  0
1.428 * * [simplify]: Extracting # 2 : cost  0
1.428 * * [simplify]: Extracting # 3 : cost  0
1.428 * * [simplify]: Extracting # 4 : cost  0
1.428 * * [simplify]: Extracting # 5 : cost  0
1.428 * * [simplify]: iteration  2 :  45  enodes  (cost  10 )
1.452 * * [simplify]: Extracting # 0 : cost  0
1.453 * * [simplify]: Extracting # 1 : cost  0
1.453 * * [simplify]: Extracting # 2 : cost  0
1.453 * * [simplify]: Extracting # 3 : cost  0
1.454 * * [simplify]: Extracting # 4 : cost  0
1.454 * * [simplify]: Extracting # 5 : cost  0
1.454 * * [simplify]: iteration  3 :  162  enodes  (cost  10 )
12.772 * * [simplify]: Extracting # 0 : cost  0
12.797 * * [simplify]: Extracting # 1 : cost  0
12.810 * * [simplify]: Extracting # 2 : cost  0
12.823 * * [simplify]: Extracting # 3 : cost  0
12.837 * * [simplify]: Extracting # 4 : cost  0
12.843 * * [simplify]: Extracting # 5 : cost  0
12.850 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
12.850 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
12.852 * * [progress]: iteration 1 / 4
12.852 * * * [progress]: picking best candidate
12.855 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
12.855 * * * [progress]: localizing error
12.869 * * * [progress]: generating rewritten candidates
12.869 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
12.870 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
12.873 * * * [progress]: generating series expansions
12.873 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
12.877 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
12.877 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.878 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.880 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.880 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.880 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.880 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify 0 into 0
12.881 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.881 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
12.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.881 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
12.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.881 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify 0 into 0
12.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
12.882 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.883 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
12.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.883 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.883 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
12.883 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.883 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify 0 into 0
12.883 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
12.883 * * * * [progress]: [ 2 / 2 ] generating series at (2)
12.884 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.884 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.884 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.884 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.884 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.884 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.884 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify 0 into 0
12.884 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.885 * [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))))
12.885 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
12.885 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.885 * [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))))
12.885 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
12.885 * [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))))
12.885 * [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))))
12.885 * [backup-simplify]: Simplify 0 into 0
12.885 * [backup-simplify]: Simplify 0 into 0
12.885 * [backup-simplify]: Simplify 0 into 0
12.886 * [backup-simplify]: Simplify 0 into 0
12.886 * [backup-simplify]: Simplify 0 into 0
12.886 * [backup-simplify]: Simplify 0 into 0
12.886 * [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)))
12.886 * [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))))
12.886 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
12.886 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.887 * [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))))
12.887 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
12.887 * [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))))
12.888 * [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))))
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [backup-simplify]: Simplify 0 into 0
12.888 * [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)))
12.889 * * * [progress]: simplifying candidates
12.890 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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))))
  (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)))
12.890 * * [simplify]: Extracting # 0 : cost  0
12.891 * * [simplify]: Extracting # 1 : cost  0
12.891 * * [simplify]: Extracting # 2 : cost  0
12.891 * * [simplify]: Extracting # 3 : cost  0
12.891 * * [simplify]: Extracting # 4 : cost  0
12.891 * * [simplify]: Extracting # 5 : cost  0
12.891 * * [simplify]: Extracting # 6 : cost  0
12.891 * * [simplify]: Extracting # 7 : cost  0
12.891 * * [simplify]: iteration  0 :  33  enodes  (cost  277 )
12.903 * * [simplify]: Extracting # 0 : cost  0
12.903 * * [simplify]: Extracting # 1 : cost  0
12.903 * * [simplify]: Extracting # 2 : cost  0
12.904 * * [simplify]: Extracting # 3 : cost  0
12.904 * * [simplify]: Extracting # 4 : cost  0
12.904 * * [simplify]: Extracting # 5 : cost  0
12.904 * * [simplify]: iteration  1 :  50  enodes  (cost  277 )
12.942 * * [simplify]: Extracting # 0 : cost  0
12.942 * * [simplify]: Extracting # 1 : cost  0
12.942 * * [simplify]: Extracting # 2 : cost  0
12.943 * * [simplify]: Extracting # 3 : cost  0
12.943 * * [simplify]: Extracting # 4 : cost  0
12.943 * * [simplify]: Extracting # 5 : cost  0
12.944 * * [simplify]: iteration  2 :  109  enodes  (cost  245 )
13.661 * * [simplify]: Extracting # 0 : cost  0
13.663 * * [simplify]: Extracting # 1 : cost  0
13.664 * * [simplify]: Extracting # 2 : cost  0
13.665 * * [simplify]: Extracting # 3 : cost  0
13.667 * * [simplify]: Extracting # 4 : cost  0
13.668 * * [simplify]: Extracting # 5 : cost  0
13.669 * * [simplify]: iteration  3 :  1028  enodes  (cost  245 )
28.416 * * [simplify]: Extracting # 0 : cost  0
28.427 * * [simplify]: Extracting # 1 : cost  0
28.433 * * [simplify]: Extracting # 2 : cost  0
28.438 * * [simplify]: Extracting # 3 : cost  0
28.443 * * [simplify]: Extracting # 4 : cost  0
28.448 * * [simplify]: Extracting # 5 : cost  0
28.453 * * [simplify]: iteration done:  5001  enodes  (cost  245 )
28.453 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p 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))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a 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)))
28.453 * * * [progress]: adding candidates to table
28.541 * * [progress]: iteration 2 / 4
28.541 * * * [progress]: picking best candidate
28.584 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
28.584 * * * [progress]: localizing error
28.615 * * * [progress]: generating rewritten candidates
28.615 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
28.616 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
28.621 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
28.625 * * * [progress]: generating series expansions
28.625 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
28.625 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
28.625 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
28.625 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
28.625 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.625 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
28.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify 0 into 0
28.626 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.626 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.626 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
28.627 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
28.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.627 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
28.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.627 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.627 * [backup-simplify]: Simplify 0 into 0
28.627 * [backup-simplify]: Simplify 0 into 0
28.627 * [backup-simplify]: Simplify 0 into 0
28.627 * [backup-simplify]: Simplify 0 into 0
28.627 * [backup-simplify]: Simplify 0 into 0
28.628 * [backup-simplify]: Simplify 0 into 0
28.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
28.628 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.628 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
28.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
28.628 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.628 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
28.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify 0 into 0
28.629 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
28.629 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
28.630 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
28.630 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
28.630 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
28.630 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.630 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
28.630 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.630 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.630 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify 0 into 0
28.631 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
28.631 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.631 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
28.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
28.631 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.631 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
28.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.632 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
28.632 * [backup-simplify]: Simplify 0 into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.632 * [backup-simplify]: Simplify 0 into 0
28.633 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
28.633 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.633 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
28.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
28.633 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.633 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
28.633 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.634 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify 0 into 0
28.634 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
28.634 * * * * [progress]: [ 3 / 3 ] generating series at (2)
28.635 * [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)))
28.635 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
28.635 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
28.635 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
28.635 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
28.635 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
28.636 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify 0 into 0
28.636 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
28.637 * [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))))
28.637 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
28.637 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
28.637 * [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))))
28.637 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
28.638 * [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))))
28.638 * [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))))
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [backup-simplify]: Simplify 0 into 0
28.638 * [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)))
28.639 * [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))))
28.639 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
28.639 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
28.639 * [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))))
28.639 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
28.639 * [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))))
28.639 * [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))))
28.639 * [backup-simplify]: Simplify 0 into 0
28.639 * [backup-simplify]: Simplify 0 into 0
28.639 * [backup-simplify]: Simplify 0 into 0
28.639 * [backup-simplify]: Simplify 0 into 0
28.639 * [backup-simplify]: Simplify 0 into 0
28.639 * [backup-simplify]: Simplify 0 into 0
28.640 * [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)))
28.640 * * * [progress]: simplifying candidates
28.640 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (log (exp (fmod (cosh a) (* a a)))))
  (log1p (log (exp (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)))))
  (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p 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))))
  (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)))
28.641 * * [simplify]: Extracting # 0 : cost  0
28.641 * * [simplify]: Extracting # 1 : cost  0
28.641 * * [simplify]: Extracting # 2 : cost  0
28.641 * * [simplify]: Extracting # 3 : cost  0
28.641 * * [simplify]: Extracting # 4 : cost  0
28.642 * * [simplify]: Extracting # 5 : cost  0
28.642 * * [simplify]: Extracting # 6 : cost  0
28.642 * * [simplify]: Extracting # 7 : cost  0
28.642 * * [simplify]: iteration  0 :  57  enodes  (cost  521 )
28.654 * * [simplify]: Extracting # 0 : cost  0
28.654 * * [simplify]: Extracting # 1 : cost  0
28.654 * * [simplify]: Extracting # 2 : cost  0
28.654 * * [simplify]: Extracting # 3 : cost  0
28.654 * * [simplify]: Extracting # 4 : cost  0
28.654 * * [simplify]: Extracting # 5 : cost  0
28.654 * * [simplify]: Extracting # 6 : cost  0
28.654 * * [simplify]: iteration  1 :  87  enodes  (cost  453 )
28.702 * * [simplify]: Extracting # 0 : cost  0
28.703 * * [simplify]: Extracting # 1 : cost  0
28.703 * * [simplify]: Extracting # 2 : cost  0
28.703 * * [simplify]: Extracting # 3 : cost  0
28.704 * * [simplify]: Extracting # 4 : cost  0
28.704 * * [simplify]: Extracting # 5 : cost  0
28.705 * * [simplify]: iteration  2 :  197  enodes  (cost  409 )
32.121 * * [simplify]: Extracting # 0 : cost  0
32.132 * * [simplify]: Extracting # 1 : cost  0
32.142 * * [simplify]: Extracting # 2 : cost  0
32.152 * * [simplify]: Extracting # 3 : cost  0
32.161 * * [simplify]: Extracting # 4 : cost  0
32.171 * * [simplify]: Extracting # 5 : cost  0
32.180 * * [simplify]: iteration done:  5000  enodes  (cost  409 )
32.181 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (pow a 2)))
  (log1p (fmod (cosh a) (pow a 2)))
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (expm1 (fmod (cosh a) (pow a 2)))
  (log1p (fmod (cosh a) (pow a 2)))
  (* (log (cbrt (exp (fmod (cosh a) (* a a))))) 2)
  (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) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (pow a 2)))
  1
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p 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))
  (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)))
32.181 * * * [progress]: adding candidates to table
32.381 * * [progress]: iteration 3 / 4
32.382 * * * [progress]: picking best candidate
32.404 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
32.404 * * * [progress]: localizing error
32.438 * * * [progress]: generating rewritten candidates
32.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
32.439 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
32.440 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
32.447 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
32.457 * * * [progress]: generating series expansions
32.457 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
32.457 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
32.457 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
32.457 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.458 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify 0 into 0
32.458 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.459 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
32.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.459 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.459 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify 0 into 0
32.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
32.460 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.460 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
32.460 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.461 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.461 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.461 * [backup-simplify]: Simplify 0 into 0
32.461 * [backup-simplify]: Simplify 0 into 0
32.461 * [backup-simplify]: Simplify 0 into 0
32.461 * [backup-simplify]: Simplify 0 into 0
32.461 * [backup-simplify]: Simplify 0 into 0
32.461 * [backup-simplify]: Simplify 0 into 0
32.462 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
32.462 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
32.462 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
32.462 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
32.462 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.462 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.462 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.463 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify 0 into 0
32.463 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.463 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
32.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.463 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.463 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify 0 into 0
32.464 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
32.465 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.465 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
32.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.465 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.465 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.465 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.465 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify 0 into 0
32.466 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
32.466 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
32.466 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.466 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
32.466 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
32.466 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
32.466 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
32.467 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.467 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.467 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
32.467 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
32.469 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
32.470 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.470 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.470 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
32.470 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
32.470 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
32.470 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.470 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.470 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
32.471 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
32.472 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
32.472 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.472 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.472 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.474 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
32.474 * [backup-simplify]: Simplify 0 into 0
32.477 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.477 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.479 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
32.479 * [backup-simplify]: Simplify 0 into 0
32.480 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
32.481 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.483 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
32.483 * [backup-simplify]: Simplify 0 into 0
32.485 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.492 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.496 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
32.496 * [backup-simplify]: Simplify 0 into 0
32.498 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.499 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.504 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
32.504 * [backup-simplify]: Simplify 0 into 0
32.509 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.511 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.526 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
32.526 * [backup-simplify]: Simplify 0 into 0
32.526 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.526 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.526 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
32.526 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
32.526 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
32.527 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
32.527 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.527 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.527 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
32.527 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
32.528 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.529 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.529 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
32.529 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
32.529 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
32.529 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.530 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.530 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
32.530 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
32.531 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.532 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.532 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.532 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
32.534 * [backup-simplify]: Simplify 0 into 0
32.535 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.537 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.539 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
32.539 * [backup-simplify]: Simplify 0 into 0
32.541 * [backup-simplify]: Simplify (* (exp (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
32.542 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.546 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
32.546 * [backup-simplify]: Simplify 0 into 0
32.549 * [backup-simplify]: Simplify (* (exp (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
32.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.555 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
32.555 * [backup-simplify]: Simplify 0 into 0
32.558 * [backup-simplify]: Simplify (* (exp (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
32.558 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.564 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
32.564 * [backup-simplify]: Simplify 0 into 0
32.568 * [backup-simplify]: Simplify (* (exp (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
32.568 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.580 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
32.580 * [backup-simplify]: Simplify 0 into 0
32.580 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.581 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.581 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
32.581 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
32.581 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
32.581 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
32.581 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.581 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.582 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
32.582 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
32.583 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.583 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.584 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.584 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
32.584 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
32.584 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
32.584 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.584 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.584 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
32.584 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
32.586 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.586 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.587 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.588 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
32.588 * [backup-simplify]: Simplify 0 into 0
32.590 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.593 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
32.593 * [backup-simplify]: Simplify 0 into 0
32.595 * [backup-simplify]: Simplify (* (exp (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
32.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.600 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
32.600 * [backup-simplify]: Simplify 0 into 0
32.603 * [backup-simplify]: Simplify (* (exp (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
32.605 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.611 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
32.611 * [backup-simplify]: Simplify 0 into 0
32.616 * [backup-simplify]: Simplify (* (exp (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
32.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.628 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
32.628 * [backup-simplify]: Simplify 0 into 0
32.642 * [backup-simplify]: Simplify (* (exp (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
32.644 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.661 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
32.661 * [backup-simplify]: Simplify 0 into 0
32.662 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.662 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
32.662 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.662 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
32.662 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
32.662 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
32.662 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
32.662 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.663 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.663 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
32.663 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
32.664 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
32.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.665 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.665 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
32.665 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
32.665 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
32.665 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
32.665 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
32.665 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
32.665 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
32.666 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
32.667 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.667 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.667 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.668 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
32.668 * [backup-simplify]: Simplify 0 into 0
32.670 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.671 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.673 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
32.673 * [backup-simplify]: Simplify 0 into 0
32.675 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
32.676 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.679 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
32.679 * [backup-simplify]: Simplify 0 into 0
32.682 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.689 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
32.690 * [backup-simplify]: Simplify 0 into 0
32.694 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.695 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.705 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
32.705 * [backup-simplify]: Simplify 0 into 0
32.709 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
32.709 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
32.718 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
32.718 * [backup-simplify]: Simplify 0 into 0
32.718 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.718 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.718 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
32.718 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
32.718 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
32.718 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
32.718 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.719 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.719 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
32.719 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
32.720 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.720 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.720 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.720 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
32.720 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
32.720 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
32.720 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
32.720 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
32.720 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
32.720 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
32.721 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.721 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.721 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.722 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
32.722 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
32.722 * [backup-simplify]: Simplify 0 into 0
32.723 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.724 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.725 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
32.725 * [backup-simplify]: Simplify 0 into 0
32.726 * [backup-simplify]: Simplify (* (exp (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
32.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.729 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
32.729 * [backup-simplify]: Simplify 0 into 0
32.731 * [backup-simplify]: Simplify (* (exp (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
32.731 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.735 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
32.735 * [backup-simplify]: Simplify 0 into 0
32.737 * [backup-simplify]: Simplify (* (exp (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
32.738 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.748 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
32.748 * [backup-simplify]: Simplify 0 into 0
32.754 * [backup-simplify]: Simplify (* (exp (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
32.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
32.772 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
32.772 * [backup-simplify]: Simplify 0 into 0
32.772 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.773 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.773 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
32.773 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
32.773 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
32.773 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
32.773 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.773 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.773 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
32.774 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
32.775 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.775 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.776 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.776 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
32.776 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
32.776 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
32.776 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
32.776 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
32.776 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
32.777 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
32.778 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
32.778 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.778 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.779 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
32.780 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
32.780 * [backup-simplify]: Simplify 0 into 0
32.782 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
32.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.785 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
32.785 * [backup-simplify]: Simplify 0 into 0
32.792 * [backup-simplify]: Simplify (* (exp (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
32.793 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.797 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
32.797 * [backup-simplify]: Simplify 0 into 0
32.800 * [backup-simplify]: Simplify (* (exp (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
32.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.808 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
32.808 * [backup-simplify]: Simplify 0 into 0
32.813 * [backup-simplify]: Simplify (* (exp (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
32.814 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.823 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
32.824 * [backup-simplify]: Simplify 0 into 0
32.830 * [backup-simplify]: Simplify (* (exp (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
32.831 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
32.846 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
32.846 * [backup-simplify]: Simplify 0 into 0
32.846 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.847 * * * [progress]: simplifying candidates
32.848 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log1p (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (expm1 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log1p (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (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))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
32.849 * * [simplify]: Extracting # 0 : cost  0
32.849 * * [simplify]: Extracting # 1 : cost  0
32.849 * * [simplify]: Extracting # 2 : cost  0
32.849 * * [simplify]: Extracting # 3 : cost  0
32.849 * * [simplify]: Extracting # 4 : cost  0
32.849 * * [simplify]: Extracting # 5 : cost  0
32.849 * * [simplify]: Extracting # 6 : cost  0
32.849 * * [simplify]: Extracting # 7 : cost  0
32.849 * * [simplify]: iteration  0 :  53  enodes  (cost  850 )
32.860 * * [simplify]: Extracting # 0 : cost  0
32.860 * * [simplify]: Extracting # 1 : cost  0
32.860 * * [simplify]: Extracting # 2 : cost  0
32.860 * * [simplify]: Extracting # 3 : cost  0
32.860 * * [simplify]: Extracting # 4 : cost  0
32.861 * * [simplify]: Extracting # 5 : cost  0
32.861 * * [simplify]: Extracting # 6 : cost  0
32.861 * * [simplify]: iteration  1 :  79  enodes  (cost  786 )
32.879 * * [simplify]: Extracting # 0 : cost  0
32.879 * * [simplify]: Extracting # 1 : cost  0
32.879 * * [simplify]: Extracting # 2 : cost  0
32.880 * * [simplify]: Extracting # 3 : cost  0
32.880 * * [simplify]: Extracting # 4 : cost  0
32.880 * * [simplify]: Extracting # 5 : cost  0
32.881 * * [simplify]: iteration  2 :  166  enodes  (cost  726 )
35.435 * * [simplify]: Extracting # 0 : cost  0
35.449 * * [simplify]: Extracting # 1 : cost  0
35.455 * * [simplify]: Extracting # 2 : cost  0
35.464 * * [simplify]: Extracting # 3 : cost  0
35.475 * * [simplify]: Extracting # 4 : cost  0
35.486 * * [simplify]: Extracting # 5 : cost  0
35.497 * * [simplify]: Extracting # 6 : cost  0
35.509 * * [simplify]: iteration done:  5000  enodes  (cost  726 )
35.509 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log1p (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (* a a))
  (log (sqrt (exp (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 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (expm1 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log1p (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (* a a))
  (log (sqrt (exp (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 (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (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))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
35.510 * * * [progress]: adding candidates to table
35.948 * * [progress]: iteration 4 / 4
35.948 * * * [progress]: picking best candidate
35.982 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
35.982 * * * [progress]: localizing error
36.012 * * * [progress]: generating rewritten candidates
36.012 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
36.012 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1 1 1)
36.013 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1)
36.013 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
36.024 * * * [progress]: generating series expansions
36.024 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
36.025 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
36.025 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
36.025 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.025 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.025 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.025 * [backup-simplify]: Simplify 0 into 0
36.025 * [backup-simplify]: Simplify 0 into 0
36.025 * [backup-simplify]: Simplify 0 into 0
36.025 * [backup-simplify]: Simplify 0 into 0
36.026 * [backup-simplify]: Simplify 0 into 0
36.026 * [backup-simplify]: Simplify 0 into 0
36.026 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.026 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
36.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.026 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.026 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify 0 into 0
36.027 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
36.028 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.028 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
36.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.028 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.028 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.028 * [backup-simplify]: Simplify 0 into 0
36.028 * [backup-simplify]: Simplify 0 into 0
36.028 * [backup-simplify]: Simplify 0 into 0
36.028 * [backup-simplify]: Simplify 0 into 0
36.029 * [backup-simplify]: Simplify 0 into 0
36.029 * [backup-simplify]: Simplify 0 into 0
36.029 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
36.029 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1 1 1)
36.029 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
36.029 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
36.029 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.029 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.029 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify 0 into 0
36.030 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.030 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.030 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
36.030 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.031 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.031 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.031 * [backup-simplify]: Simplify 0 into 0
36.031 * [backup-simplify]: Simplify 0 into 0
36.031 * [backup-simplify]: Simplify 0 into 0
36.031 * [backup-simplify]: Simplify 0 into 0
36.031 * [backup-simplify]: Simplify 0 into 0
36.031 * [backup-simplify]: Simplify 0 into 0
36.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
36.032 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.032 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
36.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.032 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.032 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify 0 into 0
36.033 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
36.033 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 1)
36.034 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
36.034 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
36.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.034 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.034 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.034 * [backup-simplify]: Simplify 0 into 0
36.034 * [backup-simplify]: Simplify 0 into 0
36.034 * [backup-simplify]: Simplify 0 into 0
36.034 * [backup-simplify]: Simplify 0 into 0
36.034 * [backup-simplify]: Simplify 0 into 0
36.035 * [backup-simplify]: Simplify 0 into 0
36.035 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.035 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
36.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.035 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.035 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.036 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.036 * [backup-simplify]: Simplify 0 into 0
36.036 * [backup-simplify]: Simplify 0 into 0
36.036 * [backup-simplify]: Simplify 0 into 0
36.036 * [backup-simplify]: Simplify 0 into 0
36.036 * [backup-simplify]: Simplify 0 into 0
36.036 * [backup-simplify]: Simplify 0 into 0
36.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
36.037 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.037 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
36.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.037 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.037 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify 0 into 0
36.038 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
36.038 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
36.039 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) into (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4))
36.039 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in (a) around 0
36.039 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a
36.039 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a
36.039 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a
36.039 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a
36.039 * [taylor]: Taking taylor expansion of 1/4 in a
36.039 * [backup-simplify]: Simplify 1/4 into 1/4
36.039 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
36.039 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
36.039 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.039 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.039 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
36.040 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
36.040 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.041 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2))))
36.041 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.041 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a
36.041 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a
36.041 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a
36.041 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a
36.041 * [taylor]: Taking taylor expansion of 1/4 in a
36.041 * [backup-simplify]: Simplify 1/4 into 1/4
36.041 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a
36.041 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
36.041 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
36.041 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
36.042 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
36.042 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2))
36.042 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.042 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2))))
36.043 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.043 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.044 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
36.046 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 1) into 0
36.047 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0
36.048 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
36.049 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
36.049 * [backup-simplify]: Simplify 0 into 0
36.051 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.053 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 2) into 0
36.054 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0
36.055 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.057 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
36.057 * [backup-simplify]: Simplify 0 into 0
36.059 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
36.063 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 6) into 0
36.065 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0
36.066 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
36.070 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
36.070 * [backup-simplify]: Simplify 0 into 0
36.073 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
36.079 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 24) into 0
36.081 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0
36.084 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (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
36.090 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
36.090 * [backup-simplify]: Simplify 0 into 0
36.094 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
36.099 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 120) into 0
36.101 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0
36.103 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (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
36.109 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
36.109 * [backup-simplify]: Simplify 0 into 0
36.112 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (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
36.121 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh a) (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 720) into 0
36.122 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0
36.126 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (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
36.147 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
36.147 * [backup-simplify]: Simplify 0 into 0
36.147 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.148 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4))
36.148 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0
36.148 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a
36.148 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a
36.148 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
36.148 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
36.148 * [taylor]: Taking taylor expansion of 1/4 in a
36.148 * [backup-simplify]: Simplify 1/4 into 1/4
36.148 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
36.148 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
36.148 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.148 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.149 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.149 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.149 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.150 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
36.150 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.150 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a
36.150 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a
36.150 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a
36.150 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
36.150 * [taylor]: Taking taylor expansion of 1/4 in a
36.150 * [backup-simplify]: Simplify 1/4 into 1/4
36.150 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
36.150 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
36.150 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
36.150 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.151 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.151 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
36.151 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.152 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
36.152 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.152 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
36.154 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
36.155 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
36.156 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0
36.158 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
36.159 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
36.159 * [backup-simplify]: Simplify 0 into 0
36.160 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.163 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0
36.164 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0
36.166 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.168 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
36.168 * [backup-simplify]: Simplify 0 into 0
36.171 * [backup-simplify]: Simplify (* (exp (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
36.175 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0
36.176 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
36.178 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.182 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
36.182 * [backup-simplify]: Simplify 0 into 0
36.185 * [backup-simplify]: Simplify (* (exp (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
36.191 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0
36.193 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0
36.195 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.198 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
36.199 * [backup-simplify]: Simplify 0 into 0
36.201 * [backup-simplify]: Simplify (* (exp (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
36.206 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0
36.208 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0
36.210 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.216 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
36.216 * [backup-simplify]: Simplify 0 into 0
36.220 * [backup-simplify]: Simplify (* (exp (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
36.234 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0
36.236 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0
36.243 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.259 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
36.259 * [backup-simplify]: Simplify 0 into 0
36.260 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.260 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4))
36.260 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0
36.260 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a
36.260 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a
36.260 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
36.260 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
36.260 * [taylor]: Taking taylor expansion of 1/4 in a
36.260 * [backup-simplify]: Simplify 1/4 into 1/4
36.260 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
36.260 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
36.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.261 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.261 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.261 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.262 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.262 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
36.262 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.262 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a
36.262 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a
36.262 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a
36.262 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
36.262 * [taylor]: Taking taylor expansion of 1/4 in a
36.262 * [backup-simplify]: Simplify 1/4 into 1/4
36.262 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
36.262 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
36.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
36.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.263 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.263 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
36.264 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.264 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
36.264 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.265 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
36.266 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
36.267 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0
36.268 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0
36.269 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0
36.271 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
36.271 * [backup-simplify]: Simplify 0 into 0
36.272 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.275 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0
36.276 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0
36.277 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
36.280 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
36.280 * [backup-simplify]: Simplify 0 into 0
36.282 * [backup-simplify]: Simplify (* (exp (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
36.284 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0
36.289 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
36.290 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.292 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
36.292 * [backup-simplify]: Simplify 0 into 0
36.294 * [backup-simplify]: Simplify (* (exp (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
36.297 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0
36.298 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0
36.300 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.304 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
36.304 * [backup-simplify]: Simplify 0 into 0
36.306 * [backup-simplify]: Simplify (* (exp (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
36.312 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0
36.315 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0
36.319 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.329 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
36.329 * [backup-simplify]: Simplify 0 into 0
36.336 * [backup-simplify]: Simplify (* (exp (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
36.352 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0
36.355 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0
36.361 * [backup-simplify]: Simplify (* (exp (* 1/4 (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
36.376 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
36.376 * [backup-simplify]: Simplify 0 into 0
36.376 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2)))
36.376 * * * [progress]: simplifying candidates
36.377 * [simplify]: Simplifying:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (expm1 (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log1p (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (* (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt 1)))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt 1))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log 1)
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (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 (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (exp (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (* (* (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (sqrt (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))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
36.378 * * [simplify]: Extracting # 0 : cost  0
36.378 * * [simplify]: Extracting # 1 : cost  0
36.378 * * [simplify]: Extracting # 2 : cost  0
36.378 * * [simplify]: Extracting # 3 : cost  0
36.378 * * [simplify]: Extracting # 4 : cost  0
36.378 * * [simplify]: Extracting # 5 : cost  0
36.378 * * [simplify]: Extracting # 6 : cost  0
36.378 * * [simplify]: Extracting # 7 : cost  0
36.378 * * [simplify]: iteration  0 :  64  enodes  (cost  736 )
36.391 * * [simplify]: Extracting # 0 : cost  0
36.391 * * [simplify]: Extracting # 1 : cost  0
36.391 * * [simplify]: Extracting # 2 : cost  0
36.391 * * [simplify]: Extracting # 3 : cost  0
36.392 * * [simplify]: Extracting # 4 : cost  0
36.392 * * [simplify]: iteration  1 :  92  enodes  (cost  690 )
36.425 * * [simplify]: Extracting # 0 : cost  0
36.425 * * [simplify]: Extracting # 1 : cost  0
36.425 * * [simplify]: Extracting # 2 : cost  0
36.426 * * [simplify]: Extracting # 3 : cost  0
36.426 * * [simplify]: Extracting # 4 : cost  0
36.426 * * [simplify]: Extracting # 5 : cost  0
36.427 * * [simplify]: iteration  2 :  179  enodes  (cost  634 )
39.469 * * [simplify]: Extracting # 0 : cost  0
39.478 * * [simplify]: Extracting # 1 : cost  0
39.488 * * [simplify]: Extracting # 2 : cost  0
39.497 * * [simplify]: Extracting # 3 : cost  0
39.506 * * [simplify]: Extracting # 4 : cost  0
39.511 * * [simplify]: Extracting # 5 : cost  0
39.516 * * [simplify]: iteration done:  5001  enodes  (cost  634 )
39.517 * [simplify]: Simplified to:
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (fmod (cosh a) (* a a)))
  (log1p (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)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (expm1 (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log1p (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (* 2 (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (fabs (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (fabs (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  0
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))))
  (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (pow (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 3)
  (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (sqrt (log (sqrt (sqrt (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))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
  (* 1/4 (fmod (cosh a) (pow a 2)))
39.517 * * * [progress]: adding candidates to table
39.972 * [progress]: [Phase 3 of 3] Extracting.
39.973 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* (/ (/ 1 2) 2) (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (* a a))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
39.979 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
39.979 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* (/ (/ 1 2) 2) (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (* a a))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
40.081 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (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))))))>)
40.148 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* (/ (/ 1 2) 2) (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (* a a))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
40.224 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (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))))))>)
40.268 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))> #<alt (λ (a) (cbrt (pow (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 3)))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (* (/ (/ 1 2) 2) (fmod (cosh a) (pow a 2)))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (+ (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (* a a))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>)
40.325 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
40.325 * [simplify]: Simplifying:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
40.325 * * [simplify]: Extracting # 0 : cost  0
40.326 * * [simplify]: Extracting # 1 : cost  0
40.326 * * [simplify]: Extracting # 2 : cost  0
40.326 * * [simplify]: Extracting # 3 : cost  0
40.326 * * [simplify]: Extracting # 4 : cost  0
40.326 * * [simplify]: Extracting # 5 : cost  0
40.326 * * [simplify]: Extracting # 6 : cost  0
40.326 * * [simplify]: Extracting # 7 : cost  0
40.326 * * [simplify]: iteration  0 :  9  enodes  (cost  12 )
40.326 * * [simplify]: Extracting # 0 : cost  0
40.326 * * [simplify]: iteration done:  9  enodes  (cost  12 )
40.326 * [simplify]: Simplified to:
  (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
72.224 * [regime-testing]: Baseline error score: 60.28470379560967
72.226 * [regime-testing]: Oracle error score: 59.886844185912324
72.232 * [regime-testing]: End program error score: 60.28470379560967