0.610 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
1.397 * * * [progress]: [2/2] Setting up program.
1.401 * [progress]: [Phase 2 of 3] Improving.
1.403 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.404 * * [simplify]: Extracting # 0 : cost  0
1.404 * * [simplify]: Extracting # 1 : cost  0
1.404 * * [simplify]: Extracting # 2 : cost  0
1.404 * * [simplify]: Extracting # 3 : cost  0
1.405 * * [simplify]: Extracting # 4 : cost  0
1.405 * * [simplify]: Extracting # 5 : cost  0
1.405 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.409 * * [simplify]: Extracting # 0 : cost  0
1.409 * * [simplify]: Extracting # 1 : cost  0
1.409 * * [simplify]: Extracting # 2 : cost  0
1.409 * * [simplify]: Extracting # 3 : cost  0
1.409 * * [simplify]: Extracting # 4 : cost  0
1.409 * * [simplify]: Extracting # 5 : cost  0
1.409 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.411 * * [simplify]: Extracting # 0 : cost  0
1.411 * * [simplify]: Extracting # 1 : cost  0
1.411 * * [simplify]: Extracting # 2 : cost  0
1.412 * * [simplify]: Extracting # 3 : cost  0
1.412 * * [simplify]: Extracting # 4 : cost  0
1.412 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.417 * * [simplify]: Extracting # 0 : cost  0
1.417 * * [simplify]: Extracting # 1 : cost  0
1.417 * * [simplify]: Extracting # 2 : cost  0
1.418 * * [simplify]: Extracting # 3 : cost  0
1.418 * * [simplify]: Extracting # 4 : cost  0
1.418 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
1.435 * * [simplify]: Extracting # 0 : cost  0
1.435 * * [simplify]: Extracting # 1 : cost  0
1.435 * * [simplify]: Extracting # 2 : cost  0
1.435 * * [simplify]: Extracting # 3 : cost  0
1.435 * * [simplify]: Extracting # 4 : cost  0
1.436 * * [simplify]: iteration  4 :  91  enodes  (cost  10 )
1.492 * * [simplify]: Extracting # 0 : cost  0
1.492 * * [simplify]: Extracting # 1 : cost  0
1.493 * * [simplify]: Extracting # 2 : cost  0
1.493 * * [simplify]: Extracting # 3 : cost  0
1.494 * * [simplify]: Extracting # 4 : cost  0
1.495 * * [simplify]: iteration  5 :  373  enodes  (cost  10 )
2.623 * * [simplify]: Extracting # 0 : cost  0
2.634 * * [simplify]: Extracting # 1 : cost  0
2.639 * * [simplify]: Extracting # 2 : cost  0
2.648 * * [simplify]: Extracting # 3 : cost  0
2.653 * * [simplify]: Extracting # 4 : cost  0
2.657 * * [simplify]: iteration  6 :  3269  enodes  (cost  10 )
5.637 * * [simplify]: Extracting # 0 : cost  0
5.710 * * [simplify]: Extracting # 1 : cost  0
5.716 * * [simplify]: Extracting # 2 : cost  0
5.721 * * [simplify]: Extracting # 3 : cost  0
5.727 * * [simplify]: Extracting # 4 : cost  0
5.732 * * [simplify]: iteration done:  5001  enodes  (cost  10 )
5.732 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
5.735 * * [progress]: iteration 1 / 4
5.735 * * * [progress]: picking best candidate
5.740 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
5.740 * * * [progress]: localizing error
5.754 * * * [progress]: generating rewritten candidates
5.754 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
5.755 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.757 * * * [progress]: generating series expansions
5.758 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
5.763 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
5.763 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
5.763 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.765 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
5.765 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.766 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify 0 into 0
5.766 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
5.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.767 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
5.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.767 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify 0 into 0
5.767 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
5.768 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.768 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
5.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.768 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
5.768 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.769 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify 0 into 0
5.769 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
5.769 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.769 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.769 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
5.769 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.769 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.769 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
5.770 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.770 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.770 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
5.770 * [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))))
5.770 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
5.770 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.770 * [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))))
5.771 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
5.771 * [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))))
5.771 * [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))))
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [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)))
5.772 * [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))))
5.772 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
5.772 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.772 * [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))))
5.772 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
5.772 * [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))))
5.772 * [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))))
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify 0 into 0
5.773 * [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)))
5.773 * * * [progress]: simplifying candidates
5.773 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (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)))
5.774 * * [simplify]: Extracting # 0 : cost  0
5.774 * * [simplify]: Extracting # 1 : cost  0
5.774 * * [simplify]: Extracting # 2 : cost  0
5.774 * * [simplify]: Extracting # 3 : cost  0
5.774 * * [simplify]: Extracting # 4 : cost  0
5.774 * * [simplify]: Extracting # 5 : cost  0
5.774 * * [simplify]: Extracting # 6 : cost  0
5.775 * * [simplify]: iteration  0 :  29  enodes  (cost  241 )
5.780 * * [simplify]: Extracting # 0 : cost  0
5.780 * * [simplify]: Extracting # 1 : cost  0
5.780 * * [simplify]: Extracting # 2 : cost  0
5.780 * * [simplify]: Extracting # 3 : cost  0
5.780 * * [simplify]: Extracting # 4 : cost  0
5.781 * * [simplify]: Extracting # 5 : cost  0
5.781 * * [simplify]: iteration  1 :  52  enodes  (cost  241 )
5.800 * * [simplify]: Extracting # 0 : cost  0
5.800 * * [simplify]: Extracting # 1 : cost  0
5.800 * * [simplify]: Extracting # 2 : cost  0
5.800 * * [simplify]: Extracting # 3 : cost  0
5.800 * * [simplify]: iteration  2 :  101  enodes  (cost  209 )
5.842 * * [simplify]: Extracting # 0 : cost  0
5.843 * * [simplify]: Extracting # 1 : cost  0
5.843 * * [simplify]: Extracting # 2 : cost  0
5.843 * * [simplify]: Extracting # 3 : cost  0
5.843 * * [simplify]: Extracting # 4 : cost  0
5.843 * * [simplify]: iteration  3 :  172  enodes  (cost  209 )
5.887 * * [simplify]: Extracting # 0 : cost  0
5.888 * * [simplify]: Extracting # 1 : cost  0
5.888 * * [simplify]: Extracting # 2 : cost  0
5.889 * * [simplify]: Extracting # 3 : cost  0
5.889 * * [simplify]: Extracting # 4 : cost  0
5.890 * * [simplify]: iteration  4 :  301  enodes  (cost  209 )
6.026 * * [simplify]: Extracting # 0 : cost  0
6.027 * * [simplify]: Extracting # 1 : cost  0
6.028 * * [simplify]: Extracting # 2 : cost  0
6.029 * * [simplify]: Extracting # 3 : cost  0
6.030 * * [simplify]: Extracting # 4 : cost  0
6.031 * * [simplify]: iteration  5 :  807  enodes  (cost  209 )
7.158 * * [simplify]: Extracting # 0 : cost  0
7.162 * * [simplify]: Extracting # 1 : cost  0
7.165 * * [simplify]: Extracting # 2 : cost  0
7.167 * * [simplify]: Extracting # 3 : cost  0
7.169 * * [simplify]: Extracting # 4 : cost  0
7.172 * * [simplify]: iteration  6 :  3981  enodes  (cost  209 )
9.068 * * [simplify]: Extracting # 0 : cost  0
9.091 * * [simplify]: Extracting # 1 : cost  0
9.094 * * [simplify]: Extracting # 2 : cost  0
9.097 * * [simplify]: Extracting # 3 : cost  0
9.100 * * [simplify]: iteration done:  5000  enodes  (cost  209 )
9.101 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (* a a)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))))
  (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))
  (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)))
9.101 * * * [progress]: adding candidates to table
9.208 * * [progress]: iteration 2 / 4
9.208 * * * [progress]: picking best candidate
9.224 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
9.224 * * * [progress]: localizing error
9.239 * * * [progress]: generating rewritten candidates
9.239 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
9.239 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
9.242 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
9.246 * * * [progress]: generating series expansions
9.246 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
9.246 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
9.246 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.246 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.246 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.246 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.246 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.247 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify 0 into 0
9.247 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.247 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.247 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.247 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.248 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.248 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 0 into 0
9.248 * [backup-simplify]: Simplify 0 into 0
9.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.249 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.249 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.249 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.249 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.249 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify 0 into 0
9.250 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.250 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
9.251 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
9.251 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
9.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.251 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
9.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.251 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.251 * [backup-simplify]: Simplify 0 into 0
9.251 * [backup-simplify]: Simplify 0 into 0
9.251 * [backup-simplify]: Simplify 0 into 0
9.251 * [backup-simplify]: Simplify 0 into 0
9.252 * [backup-simplify]: Simplify 0 into 0
9.252 * [backup-simplify]: Simplify 0 into 0
9.252 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
9.260 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.260 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
9.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.260 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.260 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
9.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.261 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.261 * [backup-simplify]: Simplify 0 into 0
9.262 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
9.262 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.262 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
9.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.262 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.262 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
9.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify 0 into 0
9.263 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
9.263 * * * * [progress]: [ 3 / 3 ] generating series at (2)
9.264 * [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)))
9.264 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
9.264 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.264 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.264 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
9.265 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.265 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify 0 into 0
9.265 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
9.266 * [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))))
9.266 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
9.266 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.266 * [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))))
9.267 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
9.267 * [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))))
9.267 * [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))))
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 0 into 0
9.268 * [backup-simplify]: Simplify 0 into 0
9.269 * [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)))
9.269 * [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))))
9.269 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
9.269 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.270 * [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))))
9.270 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
9.270 * [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))))
9.270 * [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))))
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [backup-simplify]: Simplify 0 into 0
9.271 * [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)))
9.271 * * * [progress]: simplifying candidates
9.272 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log 1)
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (exp (fmod (cosh a) (* a a)))))
  (exp (log (exp (fmod (cosh a) (* a a)))))
  (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a))))))
  (cbrt (log (exp (fmod (cosh a) (* a a)))))
  (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (sqrt (log (exp (fmod (cosh a) (* a a)))))
  (/ PI 2)
  (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))
  (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))))
  (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))
  (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)))
9.274 * * [simplify]: Extracting # 0 : cost  0
9.274 * * [simplify]: Extracting # 1 : cost  0
9.274 * * [simplify]: Extracting # 2 : cost  0
9.274 * * [simplify]: Extracting # 3 : cost  0
9.274 * * [simplify]: Extracting # 4 : cost  0
9.275 * * [simplify]: Extracting # 5 : cost  0
9.275 * * [simplify]: Extracting # 6 : cost  0
9.275 * * [simplify]: Extracting # 7 : cost  0
9.275 * * [simplify]: iteration  0 :  51  enodes  (cost  463 )
9.294 * * [simplify]: Extracting # 0 : cost  0
9.294 * * [simplify]: Extracting # 1 : cost  0
9.295 * * [simplify]: Extracting # 2 : cost  0
9.295 * * [simplify]: Extracting # 3 : cost  0
9.295 * * [simplify]: Extracting # 4 : cost  0
9.295 * * [simplify]: Extracting # 5 : cost  0
9.295 * * [simplify]: Extracting # 6 : cost  0
9.295 * * [simplify]: iteration  1 :  83  enodes  (cost  410 )
9.319 * * [simplify]: Extracting # 0 : cost  0
9.319 * * [simplify]: Extracting # 1 : cost  0
9.319 * * [simplify]: Extracting # 2 : cost  0
9.319 * * [simplify]: Extracting # 3 : cost  0
9.320 * * [simplify]: iteration  2 :  148  enodes  (cost  359 )
9.338 * * [simplify]: Extracting # 0 : cost  0
9.338 * * [simplify]: Extracting # 1 : cost  0
9.338 * * [simplify]: Extracting # 2 : cost  0
9.338 * * [simplify]: Extracting # 3 : cost  0
9.339 * * [simplify]: Extracting # 4 : cost  0
9.339 * * [simplify]: iteration  3 :  235  enodes  (cost  359 )
9.378 * * [simplify]: Extracting # 0 : cost  0
9.379 * * [simplify]: Extracting # 1 : cost  0
9.379 * * [simplify]: Extracting # 2 : cost  0
9.380 * * [simplify]: Extracting # 3 : cost  0
9.380 * * [simplify]: Extracting # 4 : cost  0
9.381 * * [simplify]: iteration  4 :  387  enodes  (cost  359 )
9.517 * * [simplify]: Extracting # 0 : cost  0
9.519 * * [simplify]: Extracting # 1 : cost  0
9.520 * * [simplify]: Extracting # 2 : cost  0
9.521 * * [simplify]: Extracting # 3 : cost  0
9.522 * * [simplify]: Extracting # 4 : cost  0
9.523 * * [simplify]: iteration  5 :  984  enodes  (cost  359 )
10.660 * * [simplify]: Extracting # 0 : cost  0
10.669 * * [simplify]: Extracting # 1 : cost  0
10.675 * * [simplify]: Extracting # 2 : cost  0
10.680 * * [simplify]: Extracting # 3 : cost  0
10.685 * * [simplify]: Extracting # 4 : cost  0
10.696 * * [simplify]: Extracting # 5 : cost  0
10.701 * * [simplify]: iteration  6 :  4616  enodes  (cost  359 )
12.590 * * [simplify]: Extracting # 0 : cost  0
12.594 * * [simplify]: Extracting # 1 : cost  0
12.597 * * [simplify]: Extracting # 2 : cost  0
12.600 * * [simplify]: Extracting # 3 : cost  0
12.603 * * [simplify]: Extracting # 4 : cost  0
12.606 * * [simplify]: iteration done:  5001  enodes  (cost  359 )
12.606 * [simplify]: Simplified to:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (cbrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  0
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (pow (fmod (cosh a) (* a a)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (fmod (cosh a) (* a a))
  (acos (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.606 * * * [progress]: adding candidates to table
12.794 * * [progress]: iteration 3 / 4
12.794 * * * [progress]: picking best candidate
12.805 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))>
12.805 * * * [progress]: localizing error
12.821 * * * [progress]: generating rewritten candidates
12.821 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
12.821 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
12.822 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
12.830 * * * [progress]: generating series expansions
12.830 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
12.830 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.830 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
12.830 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.831 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.831 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
12.831 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.831 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify 0 into 0
12.831 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
12.832 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
12.832 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0
12.832 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
12.832 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
12.832 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
12.832 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
12.833 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify 0 into 0
12.833 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2))
12.833 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
12.833 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0
12.833 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
12.834 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
12.834 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
12.834 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
12.834 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
12.834 * [backup-simplify]: Simplify 0 into 0
12.834 * [backup-simplify]: Simplify 0 into 0
12.834 * [backup-simplify]: Simplify 0 into 0
12.834 * [backup-simplify]: Simplify 0 into 0
12.834 * [backup-simplify]: Simplify 0 into 0
12.834 * [backup-simplify]: Simplify 0 into 0
12.835 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2))
12.835 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
12.835 * [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.835 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.835 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.836 * [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.836 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.836 * [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.836 * [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.836 * [backup-simplify]: Simplify 0 into 0
12.836 * [backup-simplify]: Simplify 0 into 0
12.836 * [backup-simplify]: Simplify 0 into 0
12.836 * [backup-simplify]: Simplify 0 into 0
12.836 * [backup-simplify]: Simplify 0 into 0
12.837 * [backup-simplify]: Simplify 0 into 0
12.837 * [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.837 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.837 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0
12.837 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
12.838 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.838 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
12.838 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.838 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify 0 into 0
12.839 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.840 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.840 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0
12.840 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
12.840 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.840 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
12.840 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.841 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.841 * [backup-simplify]: Simplify 0 into 0
12.841 * [backup-simplify]: Simplify 0 into 0
12.841 * [backup-simplify]: Simplify 0 into 0
12.841 * [backup-simplify]: Simplify 0 into 0
12.841 * [backup-simplify]: Simplify 0 into 0
12.841 * [backup-simplify]: Simplify 0 into 0
12.842 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.842 * * * * [progress]: [ 3 / 3 ] generating series at (2)
12.842 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.842 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
12.842 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.843 * [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.843 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
12.843 * [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.843 * [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.843 * [backup-simplify]: Simplify 0 into 0
12.843 * [backup-simplify]: Simplify 0 into 0
12.843 * [backup-simplify]: Simplify 0 into 0
12.843 * [backup-simplify]: Simplify 0 into 0
12.843 * [backup-simplify]: Simplify 0 into 0
12.843 * [backup-simplify]: Simplify 0 into 0
12.844 * [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.844 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.844 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0
12.844 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
12.845 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.845 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
12.845 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.845 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify 0 into 0
12.846 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.847 * [backup-simplify]: Simplify (log (exp (acos (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.847 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0
12.847 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
12.847 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.847 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
12.848 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.848 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
12.848 * [backup-simplify]: Simplify 0 into 0
12.848 * [backup-simplify]: Simplify 0 into 0
12.848 * [backup-simplify]: Simplify 0 into 0
12.848 * [backup-simplify]: Simplify 0 into 0
12.848 * [backup-simplify]: Simplify 0 into 0
12.848 * [backup-simplify]: Simplify 0 into 0
12.849 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
12.849 * * * [progress]: simplifying candidates
12.850 * [simplify]: Simplifying:
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
  (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (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)))))
  (cbrt (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)))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log (* (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log 1)
  (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (exp (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (exp (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (exp 1))
  (log (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (exp (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (* (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (cbrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (* (* (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (sqrt (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (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)))
  (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.852 * * [simplify]: Extracting # 0 : cost  0
12.852 * * [simplify]: Extracting # 1 : cost  0
12.852 * * [simplify]: Extracting # 2 : cost  0
12.853 * * [simplify]: Extracting # 3 : cost  0
12.853 * * [simplify]: Extracting # 4 : cost  0
12.853 * * [simplify]: Extracting # 5 : cost  0
12.853 * * [simplify]: Extracting # 6 : cost  0
12.853 * * [simplify]: Extracting # 7 : cost  0
12.853 * * [simplify]: iteration  0 :  51  enodes  (cost  550 )
12.880 * * [simplify]: Extracting # 0 : cost  0
12.880 * * [simplify]: Extracting # 1 : cost  0
12.880 * * [simplify]: Extracting # 2 : cost  0
12.880 * * [simplify]: Extracting # 3 : cost  0
12.880 * * [simplify]: Extracting # 4 : cost  0
12.880 * * [simplify]: Extracting # 5 : cost  0
12.880 * * [simplify]: Extracting # 6 : cost  0
12.881 * * [simplify]: iteration  1 :  77  enodes  (cost  515 )
12.891 * * [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.892 * * [simplify]: Extracting # 4 : cost  0
12.892 * * [simplify]: iteration  2 :  113  enodes  (cost  452 )
12.910 * * [simplify]: Extracting # 0 : cost  0
12.910 * * [simplify]: Extracting # 1 : cost  0
12.911 * * [simplify]: Extracting # 2 : cost  0
12.911 * * [simplify]: Extracting # 3 : cost  0
12.911 * * [simplify]: Extracting # 4 : cost  0
12.911 * * [simplify]: Extracting # 5 : cost  0
12.912 * * [simplify]: iteration  3 :  187  enodes  (cost  452 )
12.947 * * [simplify]: Extracting # 0 : cost  0
12.947 * * [simplify]: Extracting # 1 : cost  0
12.947 * * [simplify]: Extracting # 2 : cost  0
12.947 * * [simplify]: Extracting # 3 : cost  0
12.948 * * [simplify]: Extracting # 4 : cost  0
12.948 * * [simplify]: iteration  4 :  355  enodes  (cost  452 )
13.096 * * [simplify]: Extracting # 0 : cost  0
13.098 * * [simplify]: Extracting # 1 : cost  0
13.099 * * [simplify]: Extracting # 2 : cost  0
13.100 * * [simplify]: Extracting # 3 : cost  0
13.102 * * [simplify]: Extracting # 4 : cost  0
13.103 * * [simplify]: Extracting # 5 : cost  0
13.104 * * [simplify]: iteration  5 :  969  enodes  (cost  452 )
14.461 * * [simplify]: Extracting # 0 : cost  0
14.477 * * [simplify]: Extracting # 1 : cost  0
14.483 * * [simplify]: Extracting # 2 : cost  0
14.489 * * [simplify]: Extracting # 3 : cost  0
14.495 * * [simplify]: Extracting # 4 : cost  0
14.501 * * [simplify]: iteration  6 :  4926  enodes  (cost  452 )
16.284 * * [simplify]: Extracting # 0 : cost  0
16.291 * * [simplify]: Extracting # 1 : cost  0
16.296 * * [simplify]: Extracting # 2 : cost  0
16.299 * * [simplify]: iteration done:  5001  enodes  (cost  452 )
16.299 * [simplify]: Simplified to:
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
  (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2))))
  (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)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (sqrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  0
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (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)))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  1
  (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (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)))))
  (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (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)))
  (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)))
16.299 * * * [progress]: adding candidates to table
16.491 * * [progress]: iteration 4 / 4
16.491 * * * [progress]: picking best candidate
16.514 * * * * [pick]: Picked  #<alt (λ (a) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))>
16.515 * * * [progress]: localizing error
16.534 * * * [progress]: generating rewritten candidates
16.535 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1)
16.535 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
16.566 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
16.634 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
16.638 * * * [progress]: generating series expansions
16.638 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1)
16.639 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.639 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.639 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.639 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.639 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.639 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.639 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify 0 into 0
16.640 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.640 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0
16.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.640 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.640 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.641 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 0 into 0
16.641 * [backup-simplify]: Simplify 0 into 0
16.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2))
16.642 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.642 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0
16.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.642 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.642 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify 0 into 0
16.643 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2))
16.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
16.646 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.646 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0
16.646 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
16.646 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.646 * [taylor]: Taking taylor expansion of 1/2 in a
16.646 * [backup-simplify]: Simplify 1/2 into 1/2
16.646 * [taylor]: Taking taylor expansion of PI in a
16.646 * [backup-simplify]: Simplify PI into PI
16.646 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.646 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.647 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
16.647 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.647 * [taylor]: Taking taylor expansion of 1/2 in a
16.647 * [backup-simplify]: Simplify 1/2 into 1/2
16.647 * [taylor]: Taking taylor expansion of PI in a
16.647 * [backup-simplify]: Simplify PI into PI
16.647 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.647 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.648 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.649 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.650 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.650 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.651 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.652 * [backup-simplify]: Simplify (- 0) into 0
16.652 * [backup-simplify]: Simplify (+ 0 0) into 0
16.652 * [backup-simplify]: Simplify 0 into 0
16.653 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.654 * [backup-simplify]: Simplify (- 0) into 0
16.654 * [backup-simplify]: Simplify (+ 0 0) into 0
16.654 * [backup-simplify]: Simplify 0 into 0
16.656 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.656 * [backup-simplify]: Simplify (- 0) into 0
16.657 * [backup-simplify]: Simplify (+ 0 0) into 0
16.657 * [backup-simplify]: Simplify 0 into 0
16.658 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.658 * [backup-simplify]: Simplify (- 0) into 0
16.659 * [backup-simplify]: Simplify (+ 0 0) into 0
16.659 * [backup-simplify]: Simplify 0 into 0
16.660 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.661 * [backup-simplify]: Simplify (- 0) into 0
16.661 * [backup-simplify]: Simplify (+ 0 0) into 0
16.661 * [backup-simplify]: Simplify 0 into 0
16.663 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.664 * [backup-simplify]: Simplify (- 0) into 0
16.664 * [backup-simplify]: Simplify (+ 0 0) into 0
16.664 * [backup-simplify]: Simplify 0 into 0
16.665 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.666 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.666 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0
16.666 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a
16.666 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.667 * [taylor]: Taking taylor expansion of 1/2 in a
16.667 * [backup-simplify]: Simplify 1/2 into 1/2
16.667 * [taylor]: Taking taylor expansion of PI in a
16.667 * [backup-simplify]: Simplify PI into PI
16.667 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.667 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.667 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a
16.667 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.667 * [taylor]: Taking taylor expansion of 1/2 in a
16.667 * [backup-simplify]: Simplify 1/2 into 1/2
16.667 * [taylor]: Taking taylor expansion of PI in a
16.667 * [backup-simplify]: Simplify PI into PI
16.667 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.668 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.668 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.669 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.670 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.671 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.671 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.672 * [backup-simplify]: Simplify (- 0) into 0
16.672 * [backup-simplify]: Simplify (+ 0 0) into 0
16.672 * [backup-simplify]: Simplify 0 into 0
16.673 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.674 * [backup-simplify]: Simplify (- 0) into 0
16.674 * [backup-simplify]: Simplify (+ 0 0) into 0
16.674 * [backup-simplify]: Simplify 0 into 0
16.675 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.676 * [backup-simplify]: Simplify (- 0) into 0
16.676 * [backup-simplify]: Simplify (+ 0 0) into 0
16.676 * [backup-simplify]: Simplify 0 into 0
16.677 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.678 * [backup-simplify]: Simplify (- 0) into 0
16.678 * [backup-simplify]: Simplify (+ 0 0) into 0
16.678 * [backup-simplify]: Simplify 0 into 0
16.680 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.680 * [backup-simplify]: Simplify (- 0) into 0
16.681 * [backup-simplify]: Simplify (+ 0 0) into 0
16.681 * [backup-simplify]: Simplify 0 into 0
16.682 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.683 * [backup-simplify]: Simplify (- 0) into 0
16.683 * [backup-simplify]: Simplify (+ 0 0) into 0
16.683 * [backup-simplify]: Simplify 0 into 0
16.684 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.685 * [backup-simplify]: Simplify (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.685 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0
16.685 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a
16.685 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.685 * [taylor]: Taking taylor expansion of 1/2 in a
16.685 * [backup-simplify]: Simplify 1/2 into 1/2
16.685 * [taylor]: Taking taylor expansion of PI in a
16.685 * [backup-simplify]: Simplify PI into PI
16.685 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.686 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.686 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a
16.686 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.686 * [taylor]: Taking taylor expansion of 1/2 in a
16.686 * [backup-simplify]: Simplify 1/2 into 1/2
16.686 * [taylor]: Taking taylor expansion of PI in a
16.686 * [backup-simplify]: Simplify PI into PI
16.686 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.686 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.687 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.687 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.688 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.689 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.690 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.690 * [backup-simplify]: Simplify (- 0) into 0
16.691 * [backup-simplify]: Simplify (+ 0 0) into 0
16.691 * [backup-simplify]: Simplify 0 into 0
16.692 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.692 * [backup-simplify]: Simplify (- 0) into 0
16.692 * [backup-simplify]: Simplify (+ 0 0) into 0
16.692 * [backup-simplify]: Simplify 0 into 0
16.694 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.699 * [backup-simplify]: Simplify (- 0) into 0
16.700 * [backup-simplify]: Simplify (+ 0 0) into 0
16.700 * [backup-simplify]: Simplify 0 into 0
16.701 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.702 * [backup-simplify]: Simplify (- 0) into 0
16.702 * [backup-simplify]: Simplify (+ 0 0) into 0
16.702 * [backup-simplify]: Simplify 0 into 0
16.704 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.704 * [backup-simplify]: Simplify (- 0) into 0
16.704 * [backup-simplify]: Simplify (+ 0 0) into 0
16.704 * [backup-simplify]: Simplify 0 into 0
16.706 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.706 * [backup-simplify]: Simplify (- 0) into 0
16.707 * [backup-simplify]: Simplify (+ 0 0) into 0
16.707 * [backup-simplify]: Simplify 0 into 0
16.707 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.707 * * * * [progress]: [ 3 / 4 ] generating series at (2)
16.708 * [backup-simplify]: Simplify (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.708 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0
16.708 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
16.708 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.708 * [taylor]: Taking taylor expansion of 1/2 in a
16.708 * [backup-simplify]: Simplify 1/2 into 1/2
16.708 * [taylor]: Taking taylor expansion of PI in a
16.708 * [backup-simplify]: Simplify PI into PI
16.708 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.708 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.708 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a
16.708 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.708 * [taylor]: Taking taylor expansion of 1/2 in a
16.708 * [backup-simplify]: Simplify 1/2 into 1/2
16.708 * [taylor]: Taking taylor expansion of PI in a
16.708 * [backup-simplify]: Simplify PI into PI
16.708 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.709 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.709 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.709 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.710 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.710 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.711 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.711 * [backup-simplify]: Simplify (- 0) into 0
16.711 * [backup-simplify]: Simplify (+ 0 0) into 0
16.711 * [backup-simplify]: Simplify 0 into 0
16.712 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.712 * [backup-simplify]: Simplify (- 0) into 0
16.712 * [backup-simplify]: Simplify (+ 0 0) into 0
16.712 * [backup-simplify]: Simplify 0 into 0
16.713 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.713 * [backup-simplify]: Simplify (- 0) into 0
16.713 * [backup-simplify]: Simplify (+ 0 0) into 0
16.713 * [backup-simplify]: Simplify 0 into 0
16.714 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.714 * [backup-simplify]: Simplify (- 0) into 0
16.715 * [backup-simplify]: Simplify (+ 0 0) into 0
16.715 * [backup-simplify]: Simplify 0 into 0
16.715 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.716 * [backup-simplify]: Simplify (- 0) into 0
16.716 * [backup-simplify]: Simplify (+ 0 0) into 0
16.716 * [backup-simplify]: Simplify 0 into 0
16.717 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.717 * [backup-simplify]: Simplify (- 0) into 0
16.717 * [backup-simplify]: Simplify (+ 0 0) into 0
16.717 * [backup-simplify]: Simplify 0 into 0
16.718 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.718 * [backup-simplify]: Simplify (log (exp (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.718 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0
16.718 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a
16.718 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.718 * [taylor]: Taking taylor expansion of 1/2 in a
16.719 * [backup-simplify]: Simplify 1/2 into 1/2
16.719 * [taylor]: Taking taylor expansion of PI in a
16.719 * [backup-simplify]: Simplify PI into PI
16.719 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.719 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.719 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a
16.719 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.719 * [taylor]: Taking taylor expansion of 1/2 in a
16.719 * [backup-simplify]: Simplify 1/2 into 1/2
16.719 * [taylor]: Taking taylor expansion of PI in a
16.719 * [backup-simplify]: Simplify PI into PI
16.719 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.719 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.719 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.720 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.720 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.721 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))))
16.721 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.721 * [backup-simplify]: Simplify (- 0) into 0
16.722 * [backup-simplify]: Simplify (+ 0 0) into 0
16.722 * [backup-simplify]: Simplify 0 into 0
16.723 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.723 * [backup-simplify]: Simplify (- 0) into 0
16.723 * [backup-simplify]: Simplify (+ 0 0) into 0
16.723 * [backup-simplify]: Simplify 0 into 0
16.724 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.724 * [backup-simplify]: Simplify (- 0) into 0
16.724 * [backup-simplify]: Simplify (+ 0 0) into 0
16.724 * [backup-simplify]: Simplify 0 into 0
16.725 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.725 * [backup-simplify]: Simplify (- 0) into 0
16.725 * [backup-simplify]: Simplify (+ 0 0) into 0
16.725 * [backup-simplify]: Simplify 0 into 0
16.726 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.727 * [backup-simplify]: Simplify (- 0) into 0
16.727 * [backup-simplify]: Simplify (+ 0 0) into 0
16.727 * [backup-simplify]: Simplify 0 into 0
16.728 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.728 * [backup-simplify]: Simplify (- 0) into 0
16.728 * [backup-simplify]: Simplify (+ 0 0) into 0
16.728 * [backup-simplify]: Simplify 0 into 0
16.729 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.730 * [backup-simplify]: Simplify (log (exp (- (/ PI 2) (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a)))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.730 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0
16.730 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a
16.730 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.730 * [taylor]: Taking taylor expansion of 1/2 in a
16.730 * [backup-simplify]: Simplify 1/2 into 1/2
16.730 * [taylor]: Taking taylor expansion of PI in a
16.730 * [backup-simplify]: Simplify PI into PI
16.730 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.730 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.730 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a
16.730 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a
16.730 * [taylor]: Taking taylor expansion of 1/2 in a
16.730 * [backup-simplify]: Simplify 1/2 into 1/2
16.730 * [taylor]: Taking taylor expansion of PI in a
16.730 * [backup-simplify]: Simplify PI into PI
16.730 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.730 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.731 * [backup-simplify]: Simplify (* 1/2 PI) into (* 1/2 PI)
16.731 * [backup-simplify]: Simplify (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.731 * [backup-simplify]: Simplify (+ (* 1/2 PI) (- (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.732 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))))
16.732 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 PI)) into 0
16.733 * [backup-simplify]: Simplify (- 0) into 0
16.733 * [backup-simplify]: Simplify (+ 0 0) into 0
16.733 * [backup-simplify]: Simplify 0 into 0
16.734 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 PI))) into 0
16.734 * [backup-simplify]: Simplify (- 0) into 0
16.734 * [backup-simplify]: Simplify (+ 0 0) into 0
16.734 * [backup-simplify]: Simplify 0 into 0
16.735 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))) into 0
16.735 * [backup-simplify]: Simplify (- 0) into 0
16.735 * [backup-simplify]: Simplify (+ 0 0) into 0
16.735 * [backup-simplify]: Simplify 0 into 0
16.736 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))) into 0
16.736 * [backup-simplify]: Simplify (- 0) into 0
16.737 * [backup-simplify]: Simplify (+ 0 0) into 0
16.737 * [backup-simplify]: Simplify 0 into 0
16.738 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI)))))) into 0
16.738 * [backup-simplify]: Simplify (- 0) into 0
16.738 * [backup-simplify]: Simplify (+ 0 0) into 0
16.738 * [backup-simplify]: Simplify 0 into 0
16.739 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 PI))))))) into 0
16.739 * [backup-simplify]: Simplify (- 0) into 0
16.739 * [backup-simplify]: Simplify (+ 0 0) into 0
16.740 * [backup-simplify]: Simplify 0 into 0
16.740 * [backup-simplify]: Simplify (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a))))))) into (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
16.740 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
16.740 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.740 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
16.740 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.741 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.741 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.741 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.741 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify 0 into 0
16.741 * [backup-simplify]: Simplify (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.742 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.742 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0
16.742 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.742 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.742 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.742 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.742 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) into (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))
16.742 * [backup-simplify]: Simplify 0 into 0
16.742 * [backup-simplify]: Simplify 0 into 0
16.742 * [backup-simplify]: Simplify 0 into 0
16.742 * [backup-simplify]: Simplify 0 into 0
16.742 * [backup-simplify]: Simplify 0 into 0
16.742 * [backup-simplify]: Simplify 0 into 0
16.743 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) (log1p (/ 1 (/ 1 a))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.743 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) (log1p (/ 1 (- a))))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.743 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0
16.743 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.743 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.743 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.743 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.744 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) into (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify 0 into 0
16.744 * [backup-simplify]: Simplify (asin (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) (log1p (/ -1 (/ 1 (- a)))))) into (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.744 * * * [progress]: simplifying candidates
16.745 * [simplify]: Simplifying:
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
  (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (sqrt (fmod (cosh a) (pow a 2)))
  (/ (exp (/ PI 2)) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (* (* (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3))
  (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (/ PI 2) (/ PI 2))
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (log (exp (/ PI 2)))
  (log (exp (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (exp (- (/ PI 2) (/ PI 2))))
  (log (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (exp (/ PI 2)))
  (log (exp (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (* (cbrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
  (log (cbrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (sqrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (sqrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log 1)
  (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (exp (/ PI 2)))
  (log (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (log (exp (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
  (log (exp (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (exp 1))
  (log (exp (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (exp (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (exp 1))
  (log (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (exp (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (* (cbrt (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (cbrt (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
  (cbrt (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (* (* (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (sqrt (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (sqrt (log (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (/ PI 2)
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.747 * * [simplify]: Extracting # 0 : cost  0
16.747 * * [simplify]: Extracting # 1 : cost  0
16.747 * * [simplify]: Extracting # 2 : cost  0
16.747 * * [simplify]: Extracting # 3 : cost  0
16.747 * * [simplify]: Extracting # 4 : cost  0
16.747 * * [simplify]: Extracting # 5 : cost  0
16.747 * * [simplify]: Extracting # 6 : cost  0
16.747 * * [simplify]: Extracting # 7 : cost  0
16.748 * * [simplify]: Extracting # 8 : cost  0
16.748 * * [simplify]: Extracting # 9 : cost  0
16.748 * * [simplify]: iteration  0 :  92  enodes  (cost  1161 )
16.768 * * [simplify]: Extracting # 0 : cost  0
16.768 * * [simplify]: Extracting # 1 : cost  0
16.769 * * [simplify]: Extracting # 2 : cost  0
16.769 * * [simplify]: Extracting # 3 : cost  0
16.769 * * [simplify]: Extracting # 4 : cost  0
16.770 * * [simplify]: Extracting # 5 : cost  0
16.770 * * [simplify]: Extracting # 6 : cost  0
16.770 * * [simplify]: iteration  1 :  180  enodes  (cost  1064 )
16.815 * * [simplify]: Extracting # 0 : cost  0
16.816 * * [simplify]: Extracting # 1 : cost  0
16.817 * * [simplify]: Extracting # 2 : cost  0
16.818 * * [simplify]: Extracting # 3 : cost  0
16.819 * * [simplify]: Extracting # 4 : cost  0
16.819 * * [simplify]: iteration  2 :  401  enodes  (cost  981 )
16.971 * * [simplify]: Extracting # 0 : cost  0
16.973 * * [simplify]: Extracting # 1 : cost  0
16.975 * * [simplify]: Extracting # 2 : cost  0
16.977 * * [simplify]: Extracting # 3 : cost  0
16.978 * * [simplify]: Extracting # 4 : cost  0
16.980 * * [simplify]: iteration  3 :  1139  enodes  (cost  977 )
17.312 * * [simplify]: Extracting # 0 : cost  0
17.351 * * [simplify]: Extracting # 1 : cost  0
17.364 * * [simplify]: Extracting # 2 : cost  0
17.377 * * [simplify]: Extracting # 3 : cost  0
17.389 * * [simplify]: Extracting # 4 : cost  0
17.401 * * [simplify]: iteration done:  5000  enodes  (cost  977 )
17.402 * [simplify]: Simplified to:
  (log (fmod (cosh a) (pow a 2)))
  (exp (fmod (cosh a) (pow a 2)))
  (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2))))
  (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)))
  (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (pow (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3)
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3))
  (+ (/ (* PI PI) 4) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (+ (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ PI 2))))
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (/ (* PI PI) 4) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  0
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (/ PI 2)
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  0
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (/ PI 2)
  (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* 2 (log (cbrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
  (log (cbrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (sqrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  (log (sqrt (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))
  0
  (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (/ PI 2)
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  1
  (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  1
  (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))
  (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (pow (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3)
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (/ PI 2)
  (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))
  (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)
  (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
  (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))
17.403 * * * [progress]: adding candidates to table
17.761 * [progress]: [Phase 3 of 3] Extracting.
17.762 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (log (exp (- (/ PI 2) (* (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))))> #<alt (λ (a) (* (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))> #<alt (λ (a) (log (exp (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))))>)
17.766 * * * [regime-changes]: Trying 1 branch expressions: (a)
17.767 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))> #<alt (λ (a) (log (exp (- (/ PI 2) (* (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))))> #<alt (λ (a) (* (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))> #<alt (λ (a) (+ (* 2 (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (log (cbrt (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))> #<alt (λ (a) (log (exp (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))))>)
17.806 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
17.806 * [simplify]: Simplifying:
  (log (exp (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
17.807 * * [simplify]: Extracting # 0 : cost  0
17.807 * * [simplify]: Extracting # 1 : cost  0
17.807 * * [simplify]: Extracting # 2 : cost  0
17.807 * * [simplify]: Extracting # 3 : cost  0
17.807 * * [simplify]: Extracting # 4 : cost  0
17.807 * * [simplify]: Extracting # 5 : cost  0
17.807 * * [simplify]: Extracting # 6 : cost  0
17.807 * * [simplify]: Extracting # 7 : cost  0
17.807 * * [simplify]: Extracting # 8 : cost  0
17.807 * * [simplify]: Extracting # 9 : cost  0
17.807 * * [simplify]: Extracting # 10 : cost  0
17.807 * * [simplify]: Extracting # 11 : cost  0
17.807 * * [simplify]: Extracting # 12 : cost  0
17.807 * * [simplify]: Extracting # 13 : cost  0
17.807 * * [simplify]: iteration  0 :  15  enodes  (cost  29 )
17.808 * * [simplify]: Extracting # 0 : cost  0
17.808 * * [simplify]: iteration done:  15  enodes  (cost  29 )
17.808 * [simplify]: Simplified to:
  (log (exp (- (/ PI 2) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))))
56.055 * [regime-testing]: Baseline error score: 59.405895268044105
56.058 * [regime-testing]: Oracle error score: 59.37496706734772
56.064 * [regime-testing]: End program error score: 59.405895268044105