0.893 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.295 * * * [progress]: [2/2] Setting up program. 1.303 * [progress]: [Phase 2 of 3] Improving. 1.308 * [simplify]: Simplifying: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.310 * * [simplify]: Extracting # 0 : cost 0 1.310 * * [simplify]: Extracting # 1 : cost 0 1.310 * * [simplify]: Extracting # 2 : cost 0 1.310 * * [simplify]: Extracting # 3 : cost 0 1.311 * * [simplify]: Extracting # 4 : cost 0 1.311 * * [simplify]: Extracting # 5 : cost 0 1.311 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.318 * * [simplify]: Extracting # 0 : cost 0 1.319 * * [simplify]: Extracting # 1 : cost 0 1.319 * * [simplify]: Extracting # 2 : cost 0 1.319 * * [simplify]: Extracting # 3 : cost 0 1.319 * * [simplify]: Extracting # 4 : cost 0 1.319 * * [simplify]: Extracting # 5 : cost 0 1.319 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 1.326 * * [simplify]: Extracting # 0 : cost 0 1.326 * * [simplify]: Extracting # 1 : cost 0 1.326 * * [simplify]: Extracting # 2 : cost 0 1.326 * * [simplify]: Extracting # 3 : cost 0 1.326 * * [simplify]: Extracting # 4 : cost 0 1.327 * * [simplify]: Extracting # 5 : cost 0 1.327 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 1.348 * * [simplify]: Extracting # 0 : cost 0 1.348 * * [simplify]: Extracting # 1 : cost 0 1.348 * * [simplify]: Extracting # 2 : cost 0 1.349 * * [simplify]: Extracting # 3 : cost 0 1.349 * * [simplify]: Extracting # 4 : cost 0 1.349 * * [simplify]: Extracting # 5 : cost 0 1.349 * * [simplify]: iteration 3 : 162 enodes (cost 10 ) 12.760 * * [simplify]: Extracting # 0 : cost 0 12.781 * * [simplify]: Extracting # 1 : cost 0 12.788 * * [simplify]: Extracting # 2 : cost 0 12.795 * * [simplify]: Extracting # 3 : cost 0 12.805 * * [simplify]: Extracting # 4 : cost 0 12.812 * * [simplify]: Extracting # 5 : cost 0 12.819 * * [simplify]: iteration done: 5000 enodes (cost 10 ) 12.819 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 12.821 * * [progress]: iteration 1 / 4 12.821 * * * [progress]: picking best candidate 12.824 * * * * [pick]: Picked # 12.824 * * * [progress]: localizing error 12.848 * * * [progress]: generating rewritten candidates 12.849 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 12.850 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 12.855 * * * [progress]: generating series expansions 12.856 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 12.863 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 12.863 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 12.865 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.868 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 12.868 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.869 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify 0 into 0 12.869 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 12.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 12.870 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 12.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 12.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 12.870 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 12.870 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 12.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify 0 into 0 12.871 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 12.872 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 12.872 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 12.872 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 12.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 12.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 12.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 12.873 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 12.873 * [backup-simplify]: Simplify 0 into 0 12.873 * [backup-simplify]: Simplify 0 into 0 12.873 * [backup-simplify]: Simplify 0 into 0 12.873 * [backup-simplify]: Simplify 0 into 0 12.873 * [backup-simplify]: Simplify 0 into 0 12.873 * [backup-simplify]: Simplify 0 into 0 12.874 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 12.874 * * * * [progress]: [ 2 / 2 ] generating series at (2) 12.874 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (* a a)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.874 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 12.874 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 12.875 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.875 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 12.875 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.875 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.875 * [backup-simplify]: Simplify 0 into 0 12.875 * [backup-simplify]: Simplify 0 into 0 12.875 * [backup-simplify]: Simplify 0 into 0 12.875 * [backup-simplify]: Simplify 0 into 0 12.875 * [backup-simplify]: Simplify 0 into 0 12.875 * [backup-simplify]: Simplify 0 into 0 12.876 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.876 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 12.876 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 12.876 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 12.877 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 12.877 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 12.877 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 12.878 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) into (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify 0 into 0 12.878 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) (log1p (/ 1 (/ 1 a))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.879 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) (log1p (/ 1 (- a))))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 12.879 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 12.879 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 12.879 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 12.879 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 12.880 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 12.880 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) into (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) 12.880 * [backup-simplify]: Simplify 0 into 0 12.880 * [backup-simplify]: Simplify 0 into 0 12.880 * [backup-simplify]: Simplify 0 into 0 12.880 * [backup-simplify]: Simplify 0 into 0 12.880 * [backup-simplify]: Simplify 0 into 0 12.881 * [backup-simplify]: Simplify 0 into 0 12.881 * [backup-simplify]: Simplify (acos (pow (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) (log1p (/ -1 (/ 1 (- a)))))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 12.881 * * * [progress]: simplifying candidates 12.882 * [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))) 12.883 * * [simplify]: Extracting # 0 : cost 0 12.883 * * [simplify]: Extracting # 1 : cost 0 12.883 * * [simplify]: Extracting # 2 : cost 0 12.883 * * [simplify]: Extracting # 3 : cost 0 12.883 * * [simplify]: Extracting # 4 : cost 0 12.883 * * [simplify]: Extracting # 5 : cost 0 12.884 * * [simplify]: Extracting # 6 : cost 0 12.884 * * [simplify]: iteration 0 : 29 enodes (cost 241 ) 12.896 * * [simplify]: Extracting # 0 : cost 0 12.896 * * [simplify]: Extracting # 1 : cost 0 12.896 * * [simplify]: Extracting # 2 : cost 0 12.896 * * [simplify]: Extracting # 3 : cost 0 12.896 * * [simplify]: Extracting # 4 : cost 0 12.897 * * [simplify]: Extracting # 5 : cost 0 12.897 * * [simplify]: iteration 1 : 46 enodes (cost 241 ) 12.931 * * [simplify]: Extracting # 0 : cost 0 12.931 * * [simplify]: Extracting # 1 : cost 0 12.931 * * [simplify]: Extracting # 2 : cost 0 12.931 * * [simplify]: Extracting # 3 : cost 0 12.931 * * [simplify]: Extracting # 4 : cost 0 12.931 * * [simplify]: Extracting # 5 : cost 0 12.931 * * [simplify]: iteration 2 : 105 enodes (cost 209 ) 16.382 * * [simplify]: Extracting # 0 : cost 0 16.384 * * [simplify]: Extracting # 1 : cost 0 16.386 * * [simplify]: Extracting # 2 : cost 0 16.388 * * [simplify]: Extracting # 3 : cost 0 16.389 * * [simplify]: Extracting # 4 : cost 0 16.391 * * [simplify]: Extracting # 5 : cost 0 16.392 * * [simplify]: iteration 3 : 2160 enodes (cost 209 ) 25.091 * * [simplify]: Extracting # 0 : cost 0 25.098 * * [simplify]: Extracting # 1 : cost 0 25.102 * * [simplify]: Extracting # 2 : cost 0 25.106 * * [simplify]: Extracting # 3 : cost 0 25.109 * * [simplify]: Extracting # 4 : cost 0 25.114 * * [simplify]: iteration done: 5000 enodes (cost 209 ) 25.114 * [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))) 25.114 * * * [progress]: adding candidates to table 25.172 * * [progress]: iteration 2 / 4 25.172 * * * [progress]: picking best candidate 25.193 * * * * [pick]: Picked # 25.193 * * * [progress]: localizing error 25.208 * * * [progress]: generating rewritten candidates 25.208 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 25.208 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 25.211 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 25.213 * * * [progress]: generating series expansions 25.213 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 25.213 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 25.213 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 25.213 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 25.214 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.214 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 25.214 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.214 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify 0 into 0 25.214 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.214 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.214 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 25.214 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 25.214 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.214 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify 0 into 0 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.215 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 25.215 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.215 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 25.215 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.216 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify 0 into 0 25.216 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 25.216 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 25.216 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (* a a)))) into (fmod (cosh a) (pow a 2)) 25.216 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 25.216 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 25.216 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.216 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 25.216 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 25.217 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.217 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 25.217 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 25.217 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.217 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 25.217 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.217 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.217 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 25.218 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.218 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 25.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 25.218 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.218 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 25.218 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.218 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 25.218 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify 0 into 0 25.218 * [backup-simplify]: Simplify 0 into 0 25.219 * [backup-simplify]: Simplify 0 into 0 25.219 * [backup-simplify]: Simplify 0 into 0 25.219 * [backup-simplify]: Simplify 0 into 0 25.219 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 25.219 * * * * [progress]: [ 3 / 3 ] generating series at (2) 25.219 * [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))) 25.219 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 25.219 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 25.219 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 25.219 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 25.219 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 25.220 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify 0 into 0 25.220 * [backup-simplify]: Simplify (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) into (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 25.220 * [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)))) 25.220 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 25.220 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 25.220 * [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)))) 25.220 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 25.221 * [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)))) 25.221 * [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)))) 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [backup-simplify]: Simplify 0 into 0 25.221 * [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))) 25.222 * [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)))) 25.222 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 25.222 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 25.222 * [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)))) 25.222 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 25.222 * [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)))) 25.222 * [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)))) 25.222 * [backup-simplify]: Simplify 0 into 0 25.222 * [backup-simplify]: Simplify 0 into 0 25.222 * [backup-simplify]: Simplify 0 into 0 25.222 * [backup-simplify]: Simplify 0 into 0 25.222 * [backup-simplify]: Simplify 0 into 0 25.222 * [backup-simplify]: Simplify 0 into 0 25.223 * [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))) 25.223 * * * [progress]: simplifying candidates 25.223 * [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))) 25.224 * * [simplify]: Extracting # 0 : cost 0 25.224 * * [simplify]: Extracting # 1 : cost 0 25.224 * * [simplify]: Extracting # 2 : cost 0 25.224 * * [simplify]: Extracting # 3 : cost 0 25.224 * * [simplify]: Extracting # 4 : cost 0 25.224 * * [simplify]: Extracting # 5 : cost 0 25.225 * * [simplify]: Extracting # 6 : cost 0 25.225 * * [simplify]: Extracting # 7 : cost 0 25.225 * * [simplify]: iteration 0 : 51 enodes (cost 463 ) 25.238 * * [simplify]: Extracting # 0 : cost 0 25.239 * * [simplify]: Extracting # 1 : cost 0 25.239 * * [simplify]: Extracting # 2 : cost 0 25.239 * * [simplify]: Extracting # 3 : cost 0 25.239 * * [simplify]: Extracting # 4 : cost 0 25.239 * * [simplify]: Extracting # 5 : cost 0 25.239 * * [simplify]: Extracting # 6 : cost 0 25.239 * * [simplify]: iteration 1 : 81 enodes (cost 403 ) 25.268 * * [simplify]: Extracting # 0 : cost 0 25.269 * * [simplify]: Extracting # 1 : cost 0 25.269 * * [simplify]: Extracting # 2 : cost 0 25.269 * * [simplify]: Extracting # 3 : cost 0 25.270 * * [simplify]: Extracting # 4 : cost 0 25.270 * * [simplify]: Extracting # 5 : cost 0 25.278 * * [simplify]: iteration 2 : 191 enodes (cost 359 ) 29.082 * * [simplify]: Extracting # 0 : cost 0 29.099 * * [simplify]: Extracting # 1 : cost 0 29.112 * * [simplify]: Extracting # 2 : cost 0 29.129 * * [simplify]: Extracting # 3 : cost 0 29.141 * * [simplify]: Extracting # 4 : cost 0 29.151 * * [simplify]: Extracting # 5 : cost 0 29.162 * * [simplify]: iteration done: 5000 enodes (cost 359 ) 29.162 * [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))) 29.163 * * * [progress]: adding candidates to table 29.363 * * [progress]: iteration 3 / 4 29.364 * * * [progress]: picking best candidate 29.393 * * * * [pick]: Picked # 29.393 * * * [progress]: localizing error 29.411 * * * [progress]: generating rewritten candidates 29.411 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 29.411 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1) 29.411 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 29.415 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 29.420 * * * [progress]: generating series expansions 29.421 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 29.421 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 29.421 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 29.421 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.421 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.421 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.421 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.421 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify 0 into 0 29.422 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.422 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 29.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.422 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.422 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.423 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.423 * [backup-simplify]: Simplify 0 into 0 29.423 * [backup-simplify]: Simplify 0 into 0 29.423 * [backup-simplify]: Simplify 0 into 0 29.423 * [backup-simplify]: Simplify 0 into 0 29.423 * [backup-simplify]: Simplify 0 into 0 29.423 * [backup-simplify]: Simplify 0 into 0 29.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 29.424 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.424 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 29.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.424 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.424 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.424 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify 0 into 0 29.425 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 29.425 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1) 29.425 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 29.425 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 29.426 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.426 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.426 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.426 * [backup-simplify]: Simplify 0 into 0 29.426 * [backup-simplify]: Simplify 0 into 0 29.426 * [backup-simplify]: Simplify 0 into 0 29.426 * [backup-simplify]: Simplify 0 into 0 29.426 * [backup-simplify]: Simplify 0 into 0 29.426 * [backup-simplify]: Simplify 0 into 0 29.427 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.427 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 29.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.427 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.427 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify 0 into 0 29.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 29.428 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.428 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 29.428 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.429 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.429 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.429 * [backup-simplify]: Simplify 0 into 0 29.429 * [backup-simplify]: Simplify 0 into 0 29.429 * [backup-simplify]: Simplify 0 into 0 29.429 * [backup-simplify]: Simplify 0 into 0 29.429 * [backup-simplify]: Simplify 0 into 0 29.429 * [backup-simplify]: Simplify 0 into 0 29.430 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 29.430 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 29.430 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.430 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 29.430 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 29.430 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 29.430 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 29.430 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.430 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.431 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 29.431 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2)))) 29.433 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 29.433 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.434 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.434 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 29.434 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 29.434 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 29.434 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.434 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.434 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 29.435 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2)))) 29.445 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 29.445 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.446 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.446 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.448 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0 29.448 * [backup-simplify]: Simplify 0 into 0 29.451 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.452 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.455 * [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 29.455 * [backup-simplify]: Simplify 0 into 0 29.457 * [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 29.458 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.462 * [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 29.462 * [backup-simplify]: Simplify 0 into 0 29.465 * [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 29.467 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.473 * [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 29.473 * [backup-simplify]: Simplify 0 into 0 29.477 * [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 29.478 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.487 * [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 29.488 * [backup-simplify]: Simplify 0 into 0 29.494 * [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 29.495 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.510 * [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 29.510 * [backup-simplify]: Simplify 0 into 0 29.511 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.511 * [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)))))) 29.511 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 29.511 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 29.511 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 29.511 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 29.511 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.511 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.512 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 29.512 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 29.513 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.513 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.514 * [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)))))) 29.514 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 29.514 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 29.514 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 29.514 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.514 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.514 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 29.515 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 29.516 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.516 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.516 * [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)))))) 29.517 * [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)))))) 29.518 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 29.518 * [backup-simplify]: Simplify 0 into 0 29.519 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.520 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.523 * [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 29.523 * [backup-simplify]: Simplify 0 into 0 29.525 * [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 29.526 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.529 * [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 29.529 * [backup-simplify]: Simplify 0 into 0 29.531 * [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 29.532 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.536 * [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 29.536 * [backup-simplify]: Simplify 0 into 0 29.538 * [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 29.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.545 * [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 29.545 * [backup-simplify]: Simplify 0 into 0 29.548 * [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 29.549 * [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 29.559 * [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 29.559 * [backup-simplify]: Simplify 0 into 0 29.560 * [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))))) 29.560 * [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)))))) 29.560 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 29.560 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 29.560 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 29.560 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 29.560 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.560 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.560 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 29.560 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 29.561 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.562 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.562 * [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)))))) 29.562 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 29.562 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 29.562 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 29.562 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.562 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.562 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 29.563 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 29.563 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.563 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.564 * [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)))))) 29.564 * [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)))))) 29.564 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 29.565 * [backup-simplify]: Simplify 0 into 0 29.565 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.566 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.567 * [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 29.567 * [backup-simplify]: Simplify 0 into 0 29.569 * [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 29.570 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.574 * [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 29.574 * [backup-simplify]: Simplify 0 into 0 29.577 * [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 29.578 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.588 * [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 29.588 * [backup-simplify]: Simplify 0 into 0 29.590 * [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 29.591 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.597 * [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 29.597 * [backup-simplify]: Simplify 0 into 0 29.600 * [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 29.601 * [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 29.614 * [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 29.615 * [backup-simplify]: Simplify 0 into 0 29.615 * [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))))) 29.615 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 29.615 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (* a a))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.615 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 29.615 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 29.615 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 29.615 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 29.616 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.616 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.616 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 29.616 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2)))) 29.617 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 29.617 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.618 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.618 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 29.618 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 29.618 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 29.618 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 29.618 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 29.618 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 29.619 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh a) (pow a 2)))) into (sqrt (exp (fmod (cosh a) (pow a 2)))) 29.620 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 29.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.620 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.620 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.621 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0 29.621 * [backup-simplify]: Simplify 0 into 0 29.622 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.623 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.624 * [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 29.624 * [backup-simplify]: Simplify 0 into 0 29.625 * [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 29.626 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.628 * [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 29.628 * [backup-simplify]: Simplify 0 into 0 29.629 * [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 29.630 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.633 * [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 29.633 * [backup-simplify]: Simplify 0 into 0 29.636 * [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 29.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.642 * [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 29.642 * [backup-simplify]: Simplify 0 into 0 29.645 * [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 29.646 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh a) (pow a 2)))))) into 0 29.658 * [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 29.658 * [backup-simplify]: Simplify 0 into 0 29.659 * [backup-simplify]: Simplify (log (sqrt (exp (fmod (cosh a) (pow a 2))))) into (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 29.659 * [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)))))) 29.659 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 29.659 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 29.659 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 29.659 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 29.659 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.659 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.660 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 29.660 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 29.661 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.661 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.662 * [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)))))) 29.662 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 29.662 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 29.662 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 29.662 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 29.662 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 29.662 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 29.662 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 29.663 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.664 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.664 * [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)))))) 29.664 * [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)))))) 29.666 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 29.666 * [backup-simplify]: Simplify 0 into 0 29.667 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.668 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.671 * [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 29.671 * [backup-simplify]: Simplify 0 into 0 29.673 * [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 29.674 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.679 * [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 29.679 * [backup-simplify]: Simplify 0 into 0 29.682 * [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 29.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.690 * [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 29.690 * [backup-simplify]: Simplify 0 into 0 29.694 * [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 29.696 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 29.705 * [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 29.706 * [backup-simplify]: Simplify 0 into 0 29.712 * [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 29.714 * [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 29.732 * [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 29.732 * [backup-simplify]: Simplify 0 into 0 29.733 * [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))))) 29.733 * [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)))))) 29.733 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 29.733 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 29.733 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 29.733 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 29.733 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.733 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.733 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 29.733 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 29.734 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.734 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.735 * [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)))))) 29.735 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 29.735 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 29.735 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 29.735 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 29.735 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 29.735 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 29.735 * [backup-simplify]: Simplify (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 29.736 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 29.736 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.736 * [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)))))) 29.736 * [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)))))) 29.737 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 29.737 * [backup-simplify]: Simplify 0 into 0 29.738 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 29.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.740 * [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 29.740 * [backup-simplify]: Simplify 0 into 0 29.741 * [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 29.742 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.744 * [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 29.744 * [backup-simplify]: Simplify 0 into 0 29.746 * [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 29.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.750 * [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 29.750 * [backup-simplify]: Simplify 0 into 0 29.753 * [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 29.753 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 29.759 * [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 29.759 * [backup-simplify]: Simplify 0 into 0 29.765 * [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 29.766 * [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 29.782 * [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 29.782 * [backup-simplify]: Simplify 0 into 0 29.783 * [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))))) 29.783 * * * [progress]: simplifying candidates 29.784 * [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))))) 29.786 * * [simplify]: Extracting # 0 : cost 0 29.787 * * [simplify]: Extracting # 1 : cost 0 29.787 * * [simplify]: Extracting # 2 : cost 0 29.787 * * [simplify]: Extracting # 3 : cost 0 29.787 * * [simplify]: Extracting # 4 : cost 0 29.787 * * [simplify]: Extracting # 5 : cost 0 29.787 * * [simplify]: Extracting # 6 : cost 0 29.787 * * [simplify]: Extracting # 7 : cost 0 29.788 * * [simplify]: iteration 0 : 49 enodes (cost 782 ) 29.808 * * [simplify]: Extracting # 0 : cost 0 29.808 * * [simplify]: Extracting # 1 : cost 0 29.808 * * [simplify]: Extracting # 2 : cost 0 29.808 * * [simplify]: Extracting # 3 : cost 0 29.808 * * [simplify]: Extracting # 4 : cost 0 29.808 * * [simplify]: Extracting # 5 : cost 0 29.809 * * [simplify]: Extracting # 6 : cost 0 29.809 * * [simplify]: iteration 1 : 75 enodes (cost 718 ) 29.839 * * [simplify]: Extracting # 0 : cost 0 29.839 * * [simplify]: Extracting # 1 : cost 0 29.839 * * [simplify]: Extracting # 2 : cost 0 29.840 * * [simplify]: Extracting # 3 : cost 0 29.840 * * [simplify]: Extracting # 4 : cost 0 29.840 * * [simplify]: Extracting # 5 : cost 0 29.840 * * [simplify]: iteration 2 : 162 enodes (cost 658 ) 34.258 * * [simplify]: Extracting # 0 : cost 0 34.264 * * [simplify]: Extracting # 1 : cost 0 34.274 * * [simplify]: Extracting # 2 : cost 0 34.289 * * [simplify]: Extracting # 3 : cost 0 34.300 * * [simplify]: Extracting # 4 : cost 0 34.310 * * [simplify]: Extracting # 5 : cost 0 34.320 * * [simplify]: iteration done: 5000 enodes (cost 658 ) 34.321 * [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))) (* (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) 2) (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)))))) (* (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) 2) (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))))) 34.321 * * * [progress]: adding candidates to table 34.655 * * [progress]: iteration 4 / 4 34.655 * * * [progress]: picking best candidate 34.686 * * * * [pick]: Picked # 34.687 * * * [progress]: localizing error 34.740 * * * [progress]: generating rewritten candidates 34.740 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 34.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1 1 1) 34.742 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 1 1 1 1) 34.742 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2) 34.754 * * * [progress]: generating series expansions 34.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 34.754 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 34.754 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 34.754 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.754 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.754 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.755 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.755 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify 0 into 0 34.755 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.755 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.755 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 34.755 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.756 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.756 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.756 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.756 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.756 * [backup-simplify]: Simplify 0 into 0 34.756 * [backup-simplify]: Simplify 0 into 0 34.756 * [backup-simplify]: Simplify 0 into 0 34.756 * [backup-simplify]: Simplify 0 into 0 34.756 * [backup-simplify]: Simplify 0 into 0 34.756 * [backup-simplify]: Simplify 0 into 0 34.757 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 34.757 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.757 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 34.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.757 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.757 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.758 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.758 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify 0 into 0 34.758 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 34.758 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1 1 1) 34.759 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 34.759 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 34.759 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.759 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.759 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.759 * [backup-simplify]: Simplify 0 into 0 34.759 * [backup-simplify]: Simplify 0 into 0 34.759 * [backup-simplify]: Simplify 0 into 0 34.759 * [backup-simplify]: Simplify 0 into 0 34.759 * [backup-simplify]: Simplify 0 into 0 34.759 * [backup-simplify]: Simplify 0 into 0 34.760 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.760 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 34.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.760 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.760 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify 0 into 0 34.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 34.761 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.761 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 34.761 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.762 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.762 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.762 * [backup-simplify]: Simplify 0 into 0 34.762 * [backup-simplify]: Simplify 0 into 0 34.762 * [backup-simplify]: Simplify 0 into 0 34.762 * [backup-simplify]: Simplify 0 into 0 34.762 * [backup-simplify]: Simplify 0 into 0 34.762 * [backup-simplify]: Simplify 0 into 0 34.763 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 34.763 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 1 1 1 1) 34.763 * [backup-simplify]: Simplify (fmod (cosh a) (* a a)) into (fmod (cosh a) (pow a 2)) 34.763 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 34.763 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.763 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.763 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.763 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.764 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify 0 into 0 34.764 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.764 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.764 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 34.764 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.765 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.765 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.765 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.765 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.765 * [backup-simplify]: Simplify 0 into 0 34.765 * [backup-simplify]: Simplify 0 into 0 34.765 * [backup-simplify]: Simplify 0 into 0 34.765 * [backup-simplify]: Simplify 0 into 0 34.765 * [backup-simplify]: Simplify 0 into 0 34.765 * [backup-simplify]: Simplify 0 into 0 34.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2))) into (fmod (cosh a) (pow a 2)) 34.766 * [backup-simplify]: Simplify (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.766 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 34.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.766 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.766 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.767 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.767 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify 0 into 0 34.767 * [backup-simplify]: Simplify (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2))) into (fmod (cosh a) (pow a 2)) 34.767 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2) 34.768 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) into (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) 34.768 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in (a) around 0 34.768 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a 34.768 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a 34.768 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a 34.768 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a 34.768 * [taylor]: Taking taylor expansion of 1/4 in a 34.768 * [backup-simplify]: Simplify 1/4 into 1/4 34.768 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a 34.768 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 34.768 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.768 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.769 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 34.769 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2)) 34.769 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.770 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 34.770 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.770 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh a) (pow a 2))) 1/4)) in a 34.770 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh a) (pow a 2))) 1/4) in a 34.770 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh a) (pow a 2)))))) in a 34.770 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh a) (pow a 2))))) in a 34.770 * [taylor]: Taking taylor expansion of 1/4 in a 34.770 * [backup-simplify]: Simplify 1/4 into 1/4 34.770 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh a) (pow a 2)))) in a 34.770 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 34.770 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 34.771 * [backup-simplify]: Simplify (fmod (cosh a) (pow a 2)) into (fmod (cosh a) (pow a 2)) 34.771 * [backup-simplify]: Simplify (exp (fmod (cosh a) (pow a 2))) into (exp (fmod (cosh a) (pow a 2))) 34.771 * [backup-simplify]: Simplify (log (exp (fmod (cosh a) (pow a 2)))) into (fmod (cosh a) (pow a 2)) 34.771 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.771 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh a) (pow a 2)))) into (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 34.772 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh a) (pow a 2))))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.772 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.774 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 1) 1)))) into 0 34.775 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 1) into 0 34.776 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh a) (pow a 2)))) into 0 34.777 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 34.779 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 1) into 0 34.779 * [backup-simplify]: Simplify 0 into 0 34.780 * [backup-simplify]: Simplify (* (exp (fmod (cosh a) (pow a 2))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.783 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 2) into 0 34.784 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))) into 0 34.786 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.789 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 2) into 0 34.789 * [backup-simplify]: Simplify 0 into 0 34.791 * [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 34.796 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 6) into 0 34.798 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))) into 0 34.801 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 34.804 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 6) into 0 34.805 * [backup-simplify]: Simplify 0 into 0 34.808 * [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 34.814 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 24) into 0 34.816 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))) into 0 34.819 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.825 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 24) into 0 34.825 * [backup-simplify]: Simplify 0 into 0 34.829 * [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 34.839 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 120) into 0 34.842 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2)))))))) into 0 34.846 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 34.854 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 120) into 0 34.854 * [backup-simplify]: Simplify 0 into 0 34.858 * [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 34.866 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh a) (pow a 2))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh a) (pow a 2))) 1)))) 720) into 0 34.868 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh a) (pow a 2))))))))) into 0 34.871 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh a) (pow a 2)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.885 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh a) (pow a 2)))) 1)))) 720) into 0 34.885 * [backup-simplify]: Simplify 0 into 0 34.885 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh a) (pow a 2))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.885 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 a)) (* (/ 1 a) (/ 1 a))))))) into (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) 34.885 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0 34.885 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a 34.885 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a 34.885 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a 34.885 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 34.885 * [taylor]: Taking taylor expansion of 1/4 in a 34.885 * [backup-simplify]: Simplify 1/4 into 1/4 34.885 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 34.885 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 34.885 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.885 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.886 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.886 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.886 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.886 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 34.886 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.886 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4)) in a 34.886 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1/4) in a 34.886 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) in a 34.886 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 34.886 * [taylor]: Taking taylor expansion of 1/4 in a 34.886 * [backup-simplify]: Simplify 1/4 into 1/4 34.886 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 34.886 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 34.887 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 34.887 * [backup-simplify]: Simplify (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.887 * [backup-simplify]: Simplify (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.887 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) 34.887 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.887 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 34.888 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.888 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 34.889 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 34.889 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0 34.890 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) into 0 34.890 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 34.891 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 34.891 * [backup-simplify]: Simplify 0 into 0 34.892 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.894 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0 34.895 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) into 0 34.897 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.899 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0 34.899 * [backup-simplify]: Simplify 0 into 0 34.901 * [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 34.905 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0 34.907 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))) into 0 34.909 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 34.912 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0 34.913 * [backup-simplify]: Simplify 0 into 0 34.916 * [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 34.922 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0 34.924 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))) into 0 34.927 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.932 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0 34.932 * [backup-simplify]: Simplify 0 into 0 34.934 * [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 34.940 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0 34.942 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))))))) into 0 34.944 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 34.950 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0 34.950 * [backup-simplify]: Simplify 0 into 0 34.953 * [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 34.963 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0 34.964 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))))))) into 0 34.971 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 34.987 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0 34.988 * [backup-simplify]: Simplify 0 into 0 34.988 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ 1 (/ 1 a))) (/ 1 (pow (/ 1 a) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2))) 34.988 * [backup-simplify]: Simplify (log (sqrt (sqrt (exp (fmod (cosh (/ 1 (- a))) (* (/ 1 (- a)) (/ 1 (- a)))))))) into (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) 34.988 * [approximate]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in (a) around 0 34.988 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a 34.988 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a 34.988 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a 34.989 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 34.989 * [taylor]: Taking taylor expansion of 1/4 in a 34.989 * [backup-simplify]: Simplify 1/4 into 1/4 34.989 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 34.989 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 34.989 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.989 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.989 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.990 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.990 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.990 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 34.991 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.991 * [taylor]: Taking taylor expansion of (log (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4)) in a 34.991 * [taylor]: Taking taylor expansion of (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1/4) in a 34.991 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) in a 34.991 * [taylor]: Taking taylor expansion of (* 1/4 (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 34.991 * [taylor]: Taking taylor expansion of 1/4 in a 34.991 * [backup-simplify]: Simplify 1/4 into 1/4 34.991 * [taylor]: Taking taylor expansion of (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 34.991 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 34.991 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 34.991 * [backup-simplify]: Simplify (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.991 * [backup-simplify]: Simplify (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.992 * [backup-simplify]: Simplify (log (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) 34.992 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.992 * [backup-simplify]: Simplify (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 34.993 * [backup-simplify]: Simplify (log (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.993 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) into (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 34.994 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 1) 1)))) into 0 34.996 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 1) into 0 34.996 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) into 0 34.997 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 1) 1)))) into 0 34.998 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 1) into 0 34.998 * [backup-simplify]: Simplify 0 into 0 35.000 * [backup-simplify]: Simplify (* (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 35.002 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 2) into 0 35.003 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) into 0 35.005 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 35.012 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 2) into 0 35.012 * [backup-simplify]: Simplify 0 into 0 35.014 * [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 35.018 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 6) into 0 35.020 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))) into 0 35.022 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 35.026 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 6) into 0 35.026 * [backup-simplify]: Simplify 0 into 0 35.029 * [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 35.034 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 24) into 0 35.036 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))) into 0 35.037 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 35.041 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 24) into 0 35.041 * [backup-simplify]: Simplify 0 into 0 35.044 * [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 35.049 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 120) into 0 35.051 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))))))) into 0 35.054 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 35.063 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 120) into 0 35.064 * [backup-simplify]: Simplify 0 into 0 35.071 * [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 35.086 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) 1)))) 720) into 0 35.089 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))))))) into 0 35.095 * [backup-simplify]: Simplify (* (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 35.113 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (* 1/4 (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) 1)))) 720) into 0 35.113 * [backup-simplify]: Simplify 0 into 0 35.113 * [backup-simplify]: Simplify (* 1/4 (fmod (cosh (/ -1 (/ 1 (- a)))) (/ 1 (pow (/ 1 (- a)) 2)))) into (* 1/4 (fmod (cosh a) (pow a 2))) 35.113 * * * [progress]: simplifying candidates 35.114 * [simplify]: Simplifying: (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (log (* (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))))) (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt 1))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt 1)) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log 1) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (exp (fmod (cosh a) (* a a)))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (exp (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (* (* (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (* 1/4 (fmod (cosh a) (pow a 2))) (* 1/4 (fmod (cosh a) (pow a 2))) (* 1/4 (fmod (cosh a) (pow a 2))) 35.115 * * [simplify]: Extracting # 0 : cost 0 35.115 * * [simplify]: Extracting # 1 : cost 0 35.115 * * [simplify]: Extracting # 2 : cost 0 35.115 * * [simplify]: Extracting # 3 : cost 0 35.115 * * [simplify]: Extracting # 4 : cost 0 35.115 * * [simplify]: Extracting # 5 : cost 0 35.115 * * [simplify]: Extracting # 6 : cost 0 35.115 * * [simplify]: Extracting # 7 : cost 0 35.115 * * [simplify]: iteration 0 : 60 enodes (cost 672 ) 35.127 * * [simplify]: Extracting # 0 : cost 0 35.127 * * [simplify]: Extracting # 1 : cost 0 35.127 * * [simplify]: Extracting # 2 : cost 0 35.128 * * [simplify]: Extracting # 3 : cost 0 35.128 * * [simplify]: Extracting # 4 : cost 0 35.128 * * [simplify]: Extracting # 5 : cost 0 35.128 * * [simplify]: Extracting # 6 : cost 0 35.128 * * [simplify]: iteration 1 : 88 enodes (cost 626 ) 35.170 * * [simplify]: Extracting # 0 : cost 0 35.171 * * [simplify]: Extracting # 1 : cost 0 35.171 * * [simplify]: Extracting # 2 : cost 0 35.172 * * [simplify]: Extracting # 3 : cost 0 35.172 * * [simplify]: Extracting # 4 : cost 0 35.172 * * [simplify]: iteration 2 : 175 enodes (cost 570 ) 38.915 * * [simplify]: Extracting # 0 : cost 0 38.920 * * [simplify]: Extracting # 1 : cost 0 38.927 * * [simplify]: Extracting # 2 : cost 0 38.932 * * [simplify]: Extracting # 3 : cost 0 38.937 * * [simplify]: Extracting # 4 : cost 0 38.943 * * [simplify]: Extracting # 5 : cost 0 38.953 * * [simplify]: iteration done: 5001 enodes (cost 570 ) 38.953 * [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))) (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 (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) 2) (log (cbrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (fabs (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (fabs (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) 0 (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) 0 (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) 0 (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (fmod (cosh a) (pow a 2)) (log (sqrt (exp (fmod (cosh a) (* a a))))) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (sqrt (sqrt (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))))) (cbrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (pow (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) 3) (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (sqrt (log (sqrt (sqrt (exp (fmod (cosh a) (* a a))))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (* 1/4 (fmod (cosh a) (pow a 2))) (* 1/4 (fmod (cosh a) (pow a 2))) (* 1/4 (fmod (cosh a) (pow a 2))) 38.954 * * * [progress]: adding candidates to table 39.412 * [progress]: [Phase 3 of 3] Extracting. 39.412 * * [regime]: Finding splitpoints for: (# # # # # # # #) 39.415 * * * [regime-changes]: Trying 3 branch expressions: ((pow (fmod (cosh a) (* a a)) (log1p a)) (acos (pow (fmod (cosh a) (* a a)) (log1p a))) a) 39.416 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # # # # # # #) 39.472 * * * * [regimes]: Trying to branch on (pow (fmod (cosh a) (* a a)) (log1p a)) from (# # #) 39.503 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# # # # # # # #) 39.576 * * * * [regimes]: Trying to branch on (acos (pow (fmod (cosh a) (* a a)) (log1p a))) from (# #) 39.615 * * * * [regimes]: Trying to branch on a from (# # # # # # # #) 39.685 * * * [regime]: Found split indices: #