0.921 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
1.444 * * * [progress]: [2/2] Setting up program.
1.449 * [progress]: [Phase 2 of 3] Improving.
1.452 * [simplify]: Simplifying:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
1.452 * * [simplify]: Extracting # 0 : cost  0
1.453 * * [simplify]: Extracting # 1 : cost  0
1.453 * * [simplify]: Extracting # 2 : cost  0
1.453 * * [simplify]: Extracting # 3 : cost  0
1.453 * * [simplify]: Extracting # 4 : cost  0
1.453 * * [simplify]: Extracting # 5 : cost  0
1.453 * * [simplify]: iteration  0 :  7  enodes  (cost  10 )
1.457 * * [simplify]: Extracting # 0 : cost  0
1.457 * * [simplify]: Extracting # 1 : cost  0
1.457 * * [simplify]: Extracting # 2 : cost  0
1.457 * * [simplify]: Extracting # 3 : cost  0
1.457 * * [simplify]: Extracting # 4 : cost  0
1.457 * * [simplify]: Extracting # 5 : cost  0
1.457 * * [simplify]: iteration  1 :  16  enodes  (cost  10 )
1.460 * * [simplify]: Extracting # 0 : cost  0
1.460 * * [simplify]: Extracting # 1 : cost  0
1.460 * * [simplify]: Extracting # 2 : cost  0
1.460 * * [simplify]: Extracting # 3 : cost  0
1.460 * * [simplify]: Extracting # 4 : cost  0
1.460 * * [simplify]: iteration  2 :  24  enodes  (cost  10 )
1.464 * * [simplify]: Extracting # 0 : cost  0
1.464 * * [simplify]: Extracting # 1 : cost  0
1.465 * * [simplify]: Extracting # 2 : cost  0
1.465 * * [simplify]: Extracting # 3 : cost  0
1.465 * * [simplify]: Extracting # 4 : cost  0
1.465 * * [simplify]: iteration  3 :  44  enodes  (cost  10 )
1.473 * * [simplify]: Extracting # 0 : cost  0
1.473 * * [simplify]: Extracting # 1 : cost  0
1.473 * * [simplify]: Extracting # 2 : cost  0
1.473 * * [simplify]: Extracting # 3 : cost  0
1.473 * * [simplify]: Extracting # 4 : cost  0
1.474 * * [simplify]: Extracting # 5 : cost  0
1.474 * * [simplify]: iteration  4 :  89  enodes  (cost  10 )
1.539 * * [simplify]: Extracting # 0 : cost  0
1.539 * * [simplify]: Extracting # 1 : cost  0
1.540 * * [simplify]: Extracting # 2 : cost  0
1.540 * * [simplify]: Extracting # 3 : cost  0
1.540 * * [simplify]: Extracting # 4 : cost  0
1.541 * * [simplify]: iteration  5 :  195  enodes  (cost  10 )
2.099 * * [simplify]: Extracting # 0 : cost  0
2.099 * * [simplify]: Extracting # 1 : cost  0
2.099 * * [simplify]: Extracting # 2 : cost  0
2.100 * * [simplify]: Extracting # 3 : cost  0
2.100 * * [simplify]: Extracting # 4 : cost  0
2.101 * * [simplify]: iteration  6 :  633  enodes  (cost  10 )
3.557 * * [simplify]: Extracting # 0 : cost  0
3.559 * * [simplify]: Extracting # 1 : cost  0
3.561 * * [simplify]: Extracting # 2 : cost  0
3.562 * * [simplify]: Extracting # 3 : cost  0
3.568 * * [simplify]: Extracting # 4 : cost  0
3.569 * * [simplify]: Extracting # 5 : cost  0
3.571 * * [simplify]: iteration  7 :  2582  enodes  (cost  10 )
4.852 * * [simplify]: Extracting # 0 : cost  0
4.860 * * [simplify]: Extracting # 1 : cost  0
4.868 * * [simplify]: Extracting # 2 : cost  0
4.873 * * [simplify]: Extracting # 3 : cost  0
4.877 * * [simplify]: iteration done:  5000  enodes  (cost  10 )
4.878 * [simplify]: Simplified to:
  (acos (pow (fmod (cosh a) (* a a)) (log1p a)))
4.879 * * [progress]: iteration 1 / 4
4.879 * * * [progress]: picking best candidate
4.889 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (fmod (cosh a) (* a a)) (log1p a))))>
4.889 * * * [progress]: localizing error
4.908 * * * [progress]: generating rewritten candidates
4.909 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
4.910 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.914 * * * [progress]: generating series expansions
4.915 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
4.920 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
4.920 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
4.921 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.923 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.923 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
4.923 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.924 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify 0 into 0
4.924 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
4.924 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.924 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
4.924 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.925 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
4.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
4.926 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.926 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
4.926 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.926 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.926 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
4.926 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.926 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify 0 into 0
4.927 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
4.927 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.927 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.927 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
4.927 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.927 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.927 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
4.927 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.927 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.928 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.928 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
4.928 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.928 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.928 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
4.928 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.929 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a))))
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify 0 into 0
4.929 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.929 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.929 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
4.929 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.930 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.930 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
4.930 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.930 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a))))
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 0 into 0
4.931 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
4.931 * * * [progress]: simplifying candidates
4.931 * [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)))
4.932 * * [simplify]: Extracting # 0 : cost  0
4.932 * * [simplify]: Extracting # 1 : cost  0
4.932 * * [simplify]: Extracting # 2 : cost  0
4.932 * * [simplify]: Extracting # 3 : cost  0
4.932 * * [simplify]: Extracting # 4 : cost  0
4.932 * * [simplify]: Extracting # 5 : cost  0
4.932 * * [simplify]: Extracting # 6 : cost  0
4.932 * * [simplify]: iteration  0 :  29  enodes  (cost  241 )
4.937 * * [simplify]: Extracting # 0 : cost  0
4.937 * * [simplify]: Extracting # 1 : cost  0
4.937 * * [simplify]: Extracting # 2 : cost  0
4.937 * * [simplify]: Extracting # 3 : cost  0
4.937 * * [simplify]: Extracting # 4 : cost  0
4.937 * * [simplify]: Extracting # 5 : cost  0
4.937 * * [simplify]: iteration  1 :  43  enodes  (cost  241 )
4.944 * * [simplify]: Extracting # 0 : cost  0
4.945 * * [simplify]: Extracting # 1 : cost  0
4.945 * * [simplify]: Extracting # 2 : cost  0
4.945 * * [simplify]: Extracting # 3 : cost  0
4.945 * * [simplify]: Extracting # 4 : cost  0
4.945 * * [simplify]: iteration  2 :  61  enodes  (cost  209 )
4.959 * * [simplify]: Extracting # 0 : cost  0
4.959 * * [simplify]: Extracting # 1 : cost  0
4.959 * * [simplify]: Extracting # 2 : cost  0
4.960 * * [simplify]: Extracting # 3 : cost  0
4.960 * * [simplify]: Extracting # 4 : cost  0
4.960 * * [simplify]: iteration  3 :  90  enodes  (cost  209 )
4.988 * * [simplify]: Extracting # 0 : cost  0
4.989 * * [simplify]: Extracting # 1 : cost  0
4.989 * * [simplify]: Extracting # 2 : cost  0
4.989 * * [simplify]: Extracting # 3 : cost  0
4.989 * * [simplify]: Extracting # 4 : cost  0
4.990 * * [simplify]: iteration  4 :  148  enodes  (cost  209 )
5.061 * * [simplify]: Extracting # 0 : cost  0
5.061 * * [simplify]: Extracting # 1 : cost  0
5.061 * * [simplify]: Extracting # 2 : cost  0
5.062 * * [simplify]: Extracting # 3 : cost  0
5.062 * * [simplify]: Extracting # 4 : cost  0
5.062 * * [simplify]: Extracting # 5 : cost  0
5.062 * * [simplify]: iteration  5 :  288  enodes  (cost  209 )
5.274 * * [simplify]: Extracting # 0 : cost  0
5.276 * * [simplify]: Extracting # 1 : cost  0
5.277 * * [simplify]: Extracting # 2 : cost  0
5.278 * * [simplify]: Extracting # 3 : cost  0
5.279 * * [simplify]: Extracting # 4 : cost  0
5.280 * * [simplify]: iteration  6 :  765  enodes  (cost  209 )
6.835 * * [simplify]: Extracting # 0 : cost  0
6.838 * * [simplify]: Extracting # 1 : cost  0
6.839 * * [simplify]: Extracting # 2 : cost  0
6.841 * * [simplify]: Extracting # 3 : cost  0
6.842 * * [simplify]: Extracting # 4 : cost  0
6.844 * * [simplify]: iteration  7 :  2920  enodes  (cost  209 )
8.176 * * [simplify]: Extracting # 0 : cost  0
8.184 * * [simplify]: Extracting # 1 : cost  0
8.193 * * [simplify]: Extracting # 2 : cost  0
8.202 * * [simplify]: Extracting # 3 : cost  0
8.211 * * [simplify]: iteration done:  5000  enodes  (cost  209 )
8.211 * [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)))
8.212 * * * [progress]: adding candidates to table
8.306 * * [progress]: iteration 2 / 4
8.306 * * * [progress]: picking best candidate
8.329 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))>
8.330 * * * [progress]: localizing error
8.344 * * * [progress]: generating rewritten candidates
8.344 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1)
8.344 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
8.353 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.354 * * * [progress]: generating series expansions
8.355 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1)
8.355 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
8.355 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.355 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.355 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.355 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.355 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.355 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.355 * [backup-simplify]: Simplify 0 into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.355 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.356 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.356 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.356 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.356 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify 0 into 0
8.356 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.357 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.357 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify 0 into 0
8.357 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.358 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
8.358 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2))
8.358 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
8.358 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.358 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.358 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
8.358 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.358 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify 0 into 0
8.358 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
8.358 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.358 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
8.359 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.359 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.359 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
8.359 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.359 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify 0 into 0
8.359 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
8.359 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.359 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
8.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.360 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
8.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify 0 into 0
8.360 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
8.360 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.361 * [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)))
8.361 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
8.361 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.361 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.361 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
8.361 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.361 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify 0 into 0
8.361 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
8.362 * [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))))
8.362 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0
8.362 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.362 * [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))))
8.362 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a
8.362 * [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))))
8.362 * [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))))
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 0 into 0
8.362 * [backup-simplify]: Simplify 0 into 0
8.363 * [backup-simplify]: Simplify 0 into 0
8.363 * [backup-simplify]: Simplify 0 into 0
8.363 * [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)))
8.363 * [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))))
8.363 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0
8.363 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.363 * [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))))
8.363 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a
8.364 * [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))))
8.364 * [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))))
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [backup-simplify]: Simplify 0 into 0
8.364 * [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)))
8.364 * * * [progress]: simplifying candidates
8.365 * [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)))
8.366 * * [simplify]: Extracting # 0 : cost  0
8.366 * * [simplify]: Extracting # 1 : cost  0
8.366 * * [simplify]: Extracting # 2 : cost  0
8.366 * * [simplify]: Extracting # 3 : cost  0
8.366 * * [simplify]: Extracting # 4 : cost  0
8.366 * * [simplify]: Extracting # 5 : cost  0
8.366 * * [simplify]: Extracting # 6 : cost  0
8.366 * * [simplify]: Extracting # 7 : cost  0
8.366 * * [simplify]: iteration  0 :  51  enodes  (cost  463 )
8.375 * * [simplify]: Extracting # 0 : cost  0
8.375 * * [simplify]: Extracting # 1 : cost  0
8.376 * * [simplify]: Extracting # 2 : cost  0
8.376 * * [simplify]: Extracting # 3 : cost  0
8.376 * * [simplify]: Extracting # 4 : cost  0
8.376 * * [simplify]: Extracting # 5 : cost  0
8.376 * * [simplify]: Extracting # 6 : cost  0
8.376 * * [simplify]: iteration  1 :  70  enodes  (cost  410 )
8.385 * * [simplify]: Extracting # 0 : cost  0
8.385 * * [simplify]: Extracting # 1 : cost  0
8.385 * * [simplify]: Extracting # 2 : cost  0
8.385 * * [simplify]: Extracting # 3 : cost  0
8.385 * * [simplify]: Extracting # 4 : cost  0
8.385 * * [simplify]: iteration  2 :  92  enodes  (cost  359 )
8.396 * * [simplify]: Extracting # 0 : cost  0
8.396 * * [simplify]: Extracting # 1 : cost  0
8.396 * * [simplify]: Extracting # 2 : cost  0
8.397 * * [simplify]: Extracting # 3 : cost  0
8.397 * * [simplify]: Extracting # 4 : cost  0
8.397 * * [simplify]: Extracting # 5 : cost  0
8.397 * * [simplify]: iteration  3 :  130  enodes  (cost  359 )
8.415 * * [simplify]: Extracting # 0 : cost  0
8.415 * * [simplify]: Extracting # 1 : cost  0
8.415 * * [simplify]: Extracting # 2 : cost  0
8.416 * * [simplify]: Extracting # 3 : cost  0
8.416 * * [simplify]: Extracting # 4 : cost  0
8.416 * * [simplify]: iteration  4 :  211  enodes  (cost  359 )
8.485 * * [simplify]: Extracting # 0 : cost  0
8.486 * * [simplify]: Extracting # 1 : cost  0
8.487 * * [simplify]: Extracting # 2 : cost  0
8.487 * * [simplify]: Extracting # 3 : cost  0
8.488 * * [simplify]: Extracting # 4 : cost  0
8.489 * * [simplify]: iteration  5 :  428  enodes  (cost  359 )
8.877 * * [simplify]: Extracting # 0 : cost  0
8.879 * * [simplify]: Extracting # 1 : cost  0
8.881 * * [simplify]: Extracting # 2 : cost  0
8.882 * * [simplify]: Extracting # 3 : cost  0
8.884 * * [simplify]: Extracting # 4 : cost  0
8.885 * * [simplify]: iteration  6 :  1103  enodes  (cost  359 )
10.995 * * [simplify]: Extracting # 0 : cost  0
11.002 * * [simplify]: Extracting # 1 : cost  0
11.008 * * [simplify]: Extracting # 2 : cost  0
11.014 * * [simplify]: Extracting # 3 : cost  0
11.019 * * [simplify]: Extracting # 4 : cost  0
11.030 * * [simplify]: iteration  7 :  4017  enodes  (cost  359 )
12.973 * * [simplify]: Extracting # 0 : cost  0
12.981 * * [simplify]: Extracting # 1 : cost  0
12.995 * * [simplify]: Extracting # 2 : cost  0
13.002 * * [simplify]: Extracting # 3 : cost  0
13.008 * * [simplify]: iteration done:  5000  enodes  (cost  359 )
13.008 * [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)))
13.008 * * * [progress]: adding candidates to table
13.213 * * [progress]: iteration 3 / 4
13.213 * * * [progress]: picking best candidate
13.247 * * * * [pick]: Picked  #<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))>
13.247 * * * [progress]: localizing error
13.279 * * * [progress]: generating rewritten candidates
13.279 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1)
13.279 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1)
13.280 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
13.287 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
13.297 * * * [progress]: generating series expansions
13.297 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1)
13.298 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.298 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.298 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.298 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.298 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.298 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.298 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.298 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify 0 into 0
13.299 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.299 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.299 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.299 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.299 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.299 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify 0 into 0
13.300 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.301 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.301 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.301 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.301 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.302 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify 0 into 0
13.302 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.302 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1)
13.302 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2))
13.302 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
13.302 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.303 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.303 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.303 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.303 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify 0 into 0
13.303 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.304 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0
13.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.304 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.304 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.305 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify 0 into 0
13.305 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2))
13.306 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.306 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0
13.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.306 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.306 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.306 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.306 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify 0 into 0
13.307 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2))
13.307 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
13.307 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.307 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
13.307 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
13.307 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
13.307 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
13.308 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.308 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.308 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
13.308 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
13.310 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
13.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.311 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.311 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
13.311 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
13.311 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
13.311 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.311 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.312 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
13.312 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
13.313 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
13.313 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.313 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.314 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.315 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
13.315 * [backup-simplify]: Simplify 0 into 0
13.319 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.323 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
13.323 * [backup-simplify]: Simplify 0 into 0
13.325 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.326 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.330 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
13.330 * [backup-simplify]: Simplify 0 into 0
13.333 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.335 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.341 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
13.341 * [backup-simplify]: Simplify 0 into 0
13.346 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.347 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.365 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
13.365 * [backup-simplify]: Simplify 0 into 0
13.368 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.369 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.378 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
13.378 * [backup-simplify]: Simplify 0 into 0
13.378 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.378 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.378 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
13.378 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
13.378 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
13.378 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
13.378 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.378 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.378 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
13.379 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
13.379 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.379 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.380 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.380 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
13.380 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
13.380 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
13.380 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.380 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.380 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
13.380 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
13.381 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.381 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.381 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.381 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.382 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
13.382 * [backup-simplify]: Simplify 0 into 0
13.383 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.384 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.385 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
13.385 * [backup-simplify]: Simplify 0 into 0
13.386 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.387 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.389 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
13.389 * [backup-simplify]: Simplify 0 into 0
13.391 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.391 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.395 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
13.396 * [backup-simplify]: Simplify 0 into 0
13.400 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.412 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
13.412 * [backup-simplify]: Simplify 0 into 0
13.419 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.420 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.430 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
13.430 * [backup-simplify]: Simplify 0 into 0
13.430 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.430 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.430 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
13.430 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
13.430 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
13.430 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
13.430 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.431 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.431 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
13.431 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
13.432 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.432 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.432 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.432 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
13.432 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
13.432 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
13.432 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.432 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.432 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
13.432 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
13.433 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.433 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.433 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.434 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.434 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
13.434 * [backup-simplify]: Simplify 0 into 0
13.435 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.436 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.437 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
13.437 * [backup-simplify]: Simplify 0 into 0
13.438 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.439 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.441 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
13.441 * [backup-simplify]: Simplify 0 into 0
13.443 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.447 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
13.447 * [backup-simplify]: Simplify 0 into 0
13.449 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.450 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.456 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
13.456 * [backup-simplify]: Simplify 0 into 0
13.462 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.464 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.486 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
13.486 * [backup-simplify]: Simplify 0 into 0
13.487 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.487 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
13.487 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.487 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0
13.487 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
13.487 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
13.487 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
13.487 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.487 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.487 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
13.488 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
13.489 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
13.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.489 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.489 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a
13.489 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a
13.489 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a
13.489 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
13.490 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
13.490 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2)))
13.490 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2))))
13.491 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0
13.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.492 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.492 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.493 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0
13.493 * [backup-simplify]: Simplify 0 into 0
13.495 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.496 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.498 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0
13.498 * [backup-simplify]: Simplify 0 into 0
13.499 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.504 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0
13.504 * [backup-simplify]: Simplify 0 into 0
13.507 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.508 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.513 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0
13.513 * [backup-simplify]: Simplify 0 into 0
13.518 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.519 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.528 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0
13.528 * [backup-simplify]: Simplify 0 into 0
13.534 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.535 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0
13.549 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0
13.549 * [backup-simplify]: Simplify 0 into 0
13.550 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.550 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.550 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0
13.550 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
13.550 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
13.550 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
13.550 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.550 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.551 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
13.551 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
13.552 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.552 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.553 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.553 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a
13.553 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a
13.553 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a
13.553 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a
13.553 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))
13.553 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))
13.553 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))
13.555 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.555 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.555 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))
13.557 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
13.557 * [backup-simplify]: Simplify 0 into 0
13.558 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.559 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.561 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
13.561 * [backup-simplify]: Simplify 0 into 0
13.563 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.564 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.568 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
13.568 * [backup-simplify]: Simplify 0 into 0
13.571 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.572 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.580 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
13.580 * [backup-simplify]: Simplify 0 into 0
13.583 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.590 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
13.590 * [backup-simplify]: Simplify 0 into 0
13.593 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0
13.603 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
13.603 * [backup-simplify]: Simplify 0 into 0
13.603 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.603 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a))))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.603 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0
13.603 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
13.603 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
13.603 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
13.603 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.603 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.604 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
13.604 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
13.604 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.605 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.605 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.605 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a
13.605 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a
13.605 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a
13.605 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a
13.605 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))
13.605 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))
13.605 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))
13.606 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0
13.606 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.606 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.606 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))
13.607 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0
13.607 * [backup-simplify]: Simplify 0 into 0
13.608 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.610 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0
13.610 * [backup-simplify]: Simplify 0 into 0
13.611 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.612 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.614 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0
13.614 * [backup-simplify]: Simplify 0 into 0
13.616 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.616 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.621 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0
13.621 * [backup-simplify]: Simplify 0 into 0
13.630 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
13.632 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.641 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0
13.641 * [backup-simplify]: Simplify 0 into 0
13.649 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
13.650 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0
13.666 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0
13.666 * [backup-simplify]: Simplify 0 into 0
13.666 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.666 * * * [progress]: simplifying candidates
13.668 * [simplify]: Simplifying:
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (* a a)))
  (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt 1))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log 1)
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (exp (fmod (cosh a) (* a a))))
  (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))))
  (log (exp (sqrt (fmod (cosh a) (* a a)))))
  (log (exp 1))
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (exp (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
  (log (sqrt (exp (fmod (cosh a) (pow a 2)))))
13.671 * * [simplify]: Extracting # 0 : cost  0
13.671 * * [simplify]: Extracting # 1 : cost  0
13.671 * * [simplify]: Extracting # 2 : cost  0
13.671 * * [simplify]: Extracting # 3 : cost  0
13.671 * * [simplify]: Extracting # 4 : cost  0
13.672 * * [simplify]: Extracting # 5 : cost  0
13.672 * * [simplify]: Extracting # 6 : cost  0
13.672 * * [simplify]: Extracting # 7 : cost  0
13.672 * * [simplify]: iteration  0 :  49  enodes  (cost  782 )
13.689 * * [simplify]: Extracting # 0 : cost  0
13.689 * * [simplify]: Extracting # 1 : cost  0
13.689 * * [simplify]: Extracting # 2 : cost  0
13.689 * * [simplify]: Extracting # 3 : cost  0
13.689 * * [simplify]: Extracting # 4 : cost  0
13.689 * * [simplify]: Extracting # 5 : cost  0
13.689 * * [simplify]: Extracting # 6 : cost  0
13.690 * * [simplify]: iteration  1 :  66  enodes  (cost  734 )
13.706 * * [simplify]: Extracting # 0 : cost  0
13.706 * * [simplify]: Extracting # 1 : cost  0
13.706 * * [simplify]: Extracting # 2 : cost  0
13.706 * * [simplify]: Extracting # 3 : cost  0
13.706 * * [simplify]: iteration  2 :  83  enodes  (cost  658 )
13.724 * * [simplify]: Extracting # 0 : cost  0
13.724 * * [simplify]: Extracting # 1 : cost  0
13.724 * * [simplify]: Extracting # 2 : cost  0
13.724 * * [simplify]: Extracting # 3 : cost  0
13.724 * * [simplify]: Extracting # 4 : cost  0
13.725 * * [simplify]: iteration  3 :  103  enodes  (cost  658 )
13.749 * * [simplify]: Extracting # 0 : cost  0
13.749 * * [simplify]: Extracting # 1 : cost  0
13.750 * * [simplify]: Extracting # 2 : cost  0
13.750 * * [simplify]: Extracting # 3 : cost  0
13.750 * * [simplify]: Extracting # 4 : cost  0
13.750 * * [simplify]: iteration  4 :  143  enodes  (cost  658 )
13.775 * * [simplify]: Extracting # 0 : cost  0
13.775 * * [simplify]: Extracting # 1 : cost  0
13.775 * * [simplify]: Extracting # 2 : cost  0
13.776 * * [simplify]: Extracting # 3 : cost  0
13.776 * * [simplify]: Extracting # 4 : cost  0
13.777 * * [simplify]: iteration  5 :  252  enodes  (cost  658 )
13.894 * * [simplify]: Extracting # 0 : cost  0
13.895 * * [simplify]: Extracting # 1 : cost  0
13.896 * * [simplify]: Extracting # 2 : cost  0
13.897 * * [simplify]: Extracting # 3 : cost  0
13.898 * * [simplify]: Extracting # 4 : cost  0
13.898 * * [simplify]: Extracting # 5 : cost  0
13.899 * * [simplify]: iteration  6 :  533  enodes  (cost  658 )
14.360 * * [simplify]: Extracting # 0 : cost  0
14.363 * * [simplify]: Extracting # 1 : cost  0
14.365 * * [simplify]: Extracting # 2 : cost  0
14.367 * * [simplify]: Extracting # 3 : cost  0
14.369 * * [simplify]: Extracting # 4 : cost  0
14.372 * * [simplify]: Extracting # 5 : cost  0
14.374 * * [simplify]: iteration  7 :  1583  enodes  (cost  658 )
15.726 * * [simplify]: Extracting # 0 : cost  0
15.732 * * [simplify]: Extracting # 1 : cost  0
15.737 * * [simplify]: Extracting # 2 : cost  0
15.742 * * [simplify]: Extracting # 3 : cost  0
15.750 * * [simplify]: Extracting # 4 : cost  0
15.759 * * [simplify]: iteration done:  5001  enodes  (cost  658 )
15.760 * [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) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (log (fmod (cosh a) (* a a)))
  (exp (fmod (cosh a) (* a a)))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (cbrt (fmod (cosh a) (pow a 2)))
  (pow (fmod (cosh a) (pow a 2)) 3)
  (sqrt (fmod (cosh a) (* a a)))
  (sqrt (fmod (cosh a) (* a a)))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))
  (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (fabs (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))
  0
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (fmod (cosh a) (pow a 2))
  (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a))))
  (sqrt (fmod (cosh a) (* a a)))
  1
  (log (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (exp (fmod (cosh a) (* a a))))
  (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))))
  (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (pow (log (sqrt (exp (fmod (cosh a) (* a a))))) 3)
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (sqrt (log (sqrt (exp (fmod (cosh a) (* a a))))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
  (log (sqrt (exp (fmod (cosh a) (* a a)))))
15.761 * * * [progress]: adding candidates to table
16.105 * * [progress]: iteration 4 / 4
16.105 * * * [progress]: picking best candidate
16.142 * * * * [pick]: Picked  #<alt (λ (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))))))>
16.142 * * * [progress]: localizing error
16.173 * * * [progress]: generating rewritten candidates
16.173 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1)
16.173 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1)
16.174 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
16.174 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
16.176 * * * [progress]: generating series expansions
16.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1)
16.177 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.177 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.177 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.177 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.177 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.177 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.178 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify 0 into 0
16.178 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.178 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.178 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0
16.178 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.179 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.179 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 0 into 0
16.179 * [backup-simplify]: Simplify 0 into 0
16.180 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2))
16.180 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.180 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0
16.180 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.180 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.180 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.181 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify 0 into 0
16.181 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2))
16.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1)
16.181 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.181 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.181 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.182 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.182 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.182 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.182 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.182 * [backup-simplify]: Simplify 0 into 0
16.182 * [backup-simplify]: Simplify 0 into 0
16.182 * [backup-simplify]: Simplify 0 into 0
16.182 * [backup-simplify]: Simplify 0 into 0
16.182 * [backup-simplify]: Simplify 0 into 0
16.183 * [backup-simplify]: Simplify 0 into 0
16.183 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.183 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.183 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0
16.183 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.183 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.183 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify 0 into 0
16.184 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2))
16.185 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.185 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0
16.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.185 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.185 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.185 * [backup-simplify]: Simplify 0 into 0
16.185 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify 0 into 0
16.186 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2))
16.186 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1)
16.186 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.186 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0
16.186 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.186 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.186 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a
16.187 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.187 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify 0 into 0
16.187 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2))
16.187 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.187 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0
16.187 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.188 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.188 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a
16.188 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.188 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) into (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2))
16.188 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify 0 into 0
16.188 * [backup-simplify]: Simplify 0 into 0
16.189 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (pow (/ 1 (/ 1 a)) 2)) into (fmod (cosh a) (pow a 2))
16.189 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (pow (/ 1 (- a)) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.189 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0
16.189 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.189 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.189 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a
16.189 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.190 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) into (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2))
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify 0 into 0
16.190 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (pow (/ -1 (/ 1 (- a))) 2)) into (fmod (cosh a) (pow a 2))
16.190 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
16.191 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.191 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0
16.191 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.191 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.191 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a
16.191 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.192 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify 0 into 0
16.192 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))
16.192 * [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))))
16.193 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0
16.193 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.193 * [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))))
16.193 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a
16.193 * [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))))
16.194 * [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))))
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [backup-simplify]: Simplify 0 into 0
16.194 * [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)))
16.195 * [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))))
16.195 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0
16.195 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.195 * [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))))
16.195 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a
16.196 * [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))))
16.196 * [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))))
16.196 * [backup-simplify]: Simplify 0 into 0
16.196 * [backup-simplify]: Simplify 0 into 0
16.196 * [backup-simplify]: Simplify 0 into 0
16.196 * [backup-simplify]: Simplify 0 into 0
16.196 * [backup-simplify]: Simplify 0 into 0
16.196 * [backup-simplify]: Simplify 0 into 0
16.197 * [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)))
16.197 * * * [progress]: simplifying candidates
16.198 * [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)))
  (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)))
  (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))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (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.199 * * [simplify]: Extracting # 0 : cost  0
16.199 * * [simplify]: Extracting # 1 : cost  0
16.199 * * [simplify]: Extracting # 2 : cost  0
16.199 * * [simplify]: Extracting # 3 : cost  0
16.199 * * [simplify]: Extracting # 4 : cost  0
16.199 * * [simplify]: Extracting # 5 : cost  0
16.200 * * [simplify]: Extracting # 6 : cost  0
16.200 * * [simplify]: Extracting # 7 : cost  0
16.200 * * [simplify]: iteration  0 :  25  enodes  (cost  417 )
16.208 * * [simplify]: Extracting # 0 : cost  0
16.208 * * [simplify]: Extracting # 1 : cost  0
16.208 * * [simplify]: Extracting # 2 : cost  0
16.208 * * [simplify]: Extracting # 3 : cost  0
16.208 * * [simplify]: Extracting # 4 : cost  0
16.209 * * [simplify]: Extracting # 5 : cost  0
16.209 * * [simplify]: iteration  1 :  40  enodes  (cost  417 )
16.223 * * [simplify]: Extracting # 0 : cost  0
16.223 * * [simplify]: Extracting # 1 : cost  0
16.223 * * [simplify]: Extracting # 2 : cost  0
16.223 * * [simplify]: Extracting # 3 : cost  0
16.223 * * [simplify]: iteration  2 :  58  enodes  (cost  361 )
16.240 * * [simplify]: Extracting # 0 : cost  0
16.240 * * [simplify]: Extracting # 1 : cost  0
16.240 * * [simplify]: Extracting # 2 : cost  0
16.240 * * [simplify]: Extracting # 3 : cost  0
16.240 * * [simplify]: Extracting # 4 : cost  0
16.240 * * [simplify]: iteration  3 :  87  enodes  (cost  361 )
16.276 * * [simplify]: Extracting # 0 : cost  0
16.277 * * [simplify]: Extracting # 1 : cost  0
16.277 * * [simplify]: Extracting # 2 : cost  0
16.277 * * [simplify]: Extracting # 3 : cost  0
16.277 * * [simplify]: Extracting # 4 : cost  0
16.278 * * [simplify]: Extracting # 5 : cost  0
16.278 * * [simplify]: iteration  4 :  145  enodes  (cost  361 )
16.333 * * [simplify]: Extracting # 0 : cost  0
16.333 * * [simplify]: Extracting # 1 : cost  0
16.333 * * [simplify]: Extracting # 2 : cost  0
16.334 * * [simplify]: Extracting # 3 : cost  0
16.334 * * [simplify]: Extracting # 4 : cost  0
16.334 * * [simplify]: iteration  5 :  278  enodes  (cost  361 )
16.521 * * [simplify]: Extracting # 0 : cost  0
16.522 * * [simplify]: Extracting # 1 : cost  0
16.522 * * [simplify]: Extracting # 2 : cost  0
16.523 * * [simplify]: Extracting # 3 : cost  0
16.523 * * [simplify]: Extracting # 4 : cost  0
16.527 * * [simplify]: iteration  6 :  772  enodes  (cost  361 )
17.992 * * [simplify]: Extracting # 0 : cost  0
17.995 * * [simplify]: Extracting # 1 : cost  0
17.996 * * [simplify]: Extracting # 2 : cost  0
17.998 * * [simplify]: Extracting # 3 : cost  0
17.999 * * [simplify]: Extracting # 4 : cost  0
18.001 * * [simplify]: Extracting # 5 : cost  0
18.003 * * [simplify]: iteration  7 :  2907  enodes  (cost  361 )
19.186 * * [simplify]: Extracting # 0 : cost  0
19.190 * * [simplify]: Extracting # 1 : cost  0
19.195 * * [simplify]: Extracting # 2 : cost  0
19.200 * * [simplify]: Extracting # 3 : cost  0
19.205 * * [simplify]: iteration done:  5001  enodes  (cost  361 )
19.205 * [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)))
  (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)))
  (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))))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (fmod (cosh a) (pow a 2))
  (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)))
19.205 * * * [progress]: adding candidates to table
19.444 * [progress]: [Phase 3 of 3] Extracting.
19.445 * * [regime]: Finding splitpoints for: (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
19.447 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a)
19.447 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
19.513 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (#<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
19.547 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
19.593 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a) (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (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))))))> #<alt (λ (a) (exp (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))))> #<alt (λ (a) (acos (pow (+ (* 1/2 (fmod (cosh a) (pow a 2))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a))))> #<alt (λ (a) (- (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a)))))> #<alt (λ (a) (log (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a))))))>)
19.637 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
19.638 * [simplify]: Simplifying:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))
19.638 * * [simplify]: Extracting # 0 : cost  0
19.638 * * [simplify]: Extracting # 1 : cost  0
19.638 * * [simplify]: Extracting # 2 : cost  0
19.638 * * [simplify]: Extracting # 3 : cost  0
19.638 * * [simplify]: Extracting # 4 : cost  0
19.638 * * [simplify]: Extracting # 5 : cost  0
19.638 * * [simplify]: Extracting # 6 : cost  0
19.638 * * [simplify]: Extracting # 7 : cost  0
19.638 * * [simplify]: Extracting # 8 : cost  0
19.638 * * [simplify]: Extracting # 9 : cost  0
19.639 * * [simplify]: iteration  0 :  11  enodes  (cost  23 )
19.639 * * [simplify]: Extracting # 0 : cost  0
19.639 * * [simplify]: iteration done:  11  enodes  (cost  23 )
19.639 * [simplify]: Simplified to:
  (acos (pow (+ (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p a)))
57.906 * [regime-testing]: Baseline error score: 60.33068260846467
57.908 * [regime-testing]: Oracle error score: 59.87042966170018
57.911 * [regime-testing]: End program error score: 60.33068260846467