0.795 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.990 * * * [progress]: [2/2] Setting up program. 0.994 * [progress]: [Phase 2 of 3] Improving. 0.997 * [simplify]: Simplifying using # : (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 1.000 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 1.004 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 1.006 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 1.010 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 1.017 * * [simplify]: iteration 4 : 85 enodes (cost 10 ) 1.046 * * [simplify]: iteration 5 : 199 enodes (cost 10 ) 1.136 * * [simplify]: iteration 6 : 523 enodes (cost 10 ) 1.764 * * [simplify]: iteration 7 : 1893 enodes (cost 10 ) 4.051 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 4.052 * [simplify]: Simplified to: (acos (pow (fmod (cosh a) (* a a)) (log1p a))) 4.053 * * [progress]: iteration 1 / 4 4.053 * * * [progress]: picking best candidate 4.056 * * * * [pick]: Picked # 4.056 * * * [progress]: localizing error 4.074 * * * [progress]: generating rewritten candidates 4.074 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 4.075 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 4.078 * * * [progress]: generating series expansions 4.078 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 4.082 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 4.083 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.085 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 4.086 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 4.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.086 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 4.087 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 4.087 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.087 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 4.088 * * * * [progress]: [ 2 / 2 ] generating series at (2) 4.088 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 4.088 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.088 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 4.089 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 4.089 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.089 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 4.090 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 4.090 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.090 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 4.091 * * * [progress]: simplifying candidates 4.092 * [simplify]: Simplifying using # : (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (* (acos (pow (fmod (cosh a) (* a a)) (log1p a))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 4.093 * * [simplify]: iteration 0 : 33 enodes (cost 277 ) 4.097 * * [simplify]: iteration 1 : 49 enodes (cost 277 ) 4.104 * * [simplify]: iteration 2 : 67 enodes (cost 245 ) 4.112 * * [simplify]: iteration 3 : 96 enodes (cost 245 ) 4.124 * * [simplify]: iteration 4 : 150 enodes (cost 245 ) 4.162 * * [simplify]: iteration 5 : 282 enodes (cost 245 ) 4.286 * * [simplify]: iteration 6 : 724 enodes (cost 245 ) 5.092 * * [simplify]: iteration 7 : 2519 enodes (cost 245 ) 8.775 * * [simplify]: iteration done : 5000 enodes (cost 245 ) 8.776 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (* a a)) (log1p a))) (log (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (* a a)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.776 * * * [progress]: adding candidates to table 8.856 * * [progress]: iteration 2 / 4 8.856 * * * [progress]: picking best candidate 8.871 * * * * [pick]: Picked # 8.871 * * * [progress]: localizing error 8.886 * * * [progress]: generating rewritten candidates 8.886 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1 1) 8.886 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 8.888 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 8.889 * * * [progress]: generating series expansions 8.889 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1 1) 8.889 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.889 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.889 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.890 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.890 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.890 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.891 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 8.891 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 8.891 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.891 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 8.892 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 8.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 8.892 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 8.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.892 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 8.893 * * * * [progress]: [ 3 / 3 ] generating series at (2) 8.893 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 8.893 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.893 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 8.894 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in (a) around 0 8.894 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.894 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) (log1p (/ 1 a)))) in a 8.895 * [approximate]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in (a) around 0 8.895 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.895 * [taylor]: Taking taylor expansion of (acos (pow (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) (log1p (/ -1 a)))) in a 8.896 * * * [progress]: simplifying candidates 8.897 * [simplify]: Simplifying using # : (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (exp (fmod (cosh a) (* a a))))) (log1p (log (exp (fmod (cosh a) (* a a))))) (log (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a)))))) (log (cbrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log 1) (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (exp (fmod (cosh a) (* a a))))) (exp (log (exp (fmod (cosh a) (* a a))))) (* (cbrt (log (exp (fmod (cosh a) (* a a))))) (cbrt (log (exp (fmod (cosh a) (* a a)))))) (cbrt (log (exp (fmod (cosh a) (* a a))))) (* (* (log (exp (fmod (cosh a) (* a a)))) (log (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (sqrt (log (exp (fmod (cosh a) (* a a))))) (expm1 (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (log1p (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (/ PI 2) (asin (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (log (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (exp (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))))) (cbrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (* (* (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (sqrt (acos (pow (log (exp (fmod (cosh a) (* a a)))) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 8.899 * * [simplify]: iteration 0 : 57 enodes (cost 521 ) 8.907 * * [simplify]: iteration 1 : 79 enodes (cost 460 ) 8.916 * * [simplify]: iteration 2 : 101 enodes (cost 409 ) 8.927 * * [simplify]: iteration 3 : 145 enodes (cost 409 ) 8.948 * * [simplify]: iteration 4 : 235 enodes (cost 409 ) 9.006 * * [simplify]: iteration 5 : 492 enodes (cost 409 ) 9.243 * * [simplify]: iteration 6 : 1367 enodes (cost 409 ) 10.683 * * [simplify]: iteration done : 5000 enodes (cost 409 ) 10.683 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (* 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) (pow a 2)) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (pow a 2))) 1 (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (expm1 (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (acos (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (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))) 10.683 * * * [progress]: adding candidates to table 10.837 * * [progress]: iteration 3 / 4 10.837 * * * [progress]: picking best candidate 10.852 * * * * [pick]: Picked # 10.853 * * * [progress]: localizing error 10.866 * * * [progress]: generating rewritten candidates 10.866 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1 1 1) 10.867 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 1) 10.867 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 10.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 10.872 * * * [progress]: generating series expansions 10.872 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1 1 1) 10.873 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 10.873 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.873 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.873 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 10.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.873 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.874 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.874 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 1) 10.874 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 10.874 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.875 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.875 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in (a) around 0 10.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.875 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.876 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in (a) around 0 10.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.876 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.876 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 10.876 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 10.876 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 10.876 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 10.876 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 10.876 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.878 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 10.878 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 10.878 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 10.878 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.913 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 10.914 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 10.914 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 10.914 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 10.914 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.915 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 10.915 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 10.915 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 10.915 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 10.954 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 10.954 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 10.954 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 10.954 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 10.954 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.955 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 10.955 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 10.955 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 10.955 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 10.989 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 10.989 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in (a) around 0 10.989 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 10.989 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 10.989 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 10.989 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 10.990 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh a) (pow a 2))))) in a 10.990 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh a) (pow a 2)))) in a 10.990 * [taylor]: Taking taylor expansion of (exp (fmod (cosh a) (pow a 2))) in a 10.990 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 11.025 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in (a) around 0 11.025 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 11.025 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 11.025 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 11.025 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 11.027 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))))) in a 11.027 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))))) in a 11.027 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ 1 a)) (/ 1 (pow a 2)))) in a 11.027 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (/ 1 (pow a 2))) in a 11.061 * [approximate]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in (a) around 0 11.061 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 11.061 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 11.061 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 11.061 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 11.062 * [taylor]: Taking taylor expansion of (log (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))))) in a 11.062 * [taylor]: Taking taylor expansion of (sqrt (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))))) in a 11.062 * [taylor]: Taking taylor expansion of (exp (fmod (cosh (/ -1 a)) (/ 1 (pow a 2)))) in a 11.062 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (/ 1 (pow a 2))) in a 11.096 * * * [progress]: simplifying candidates 11.100 * [simplify]: Simplifying using # : (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (* a a))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (* (* (fmod (cosh a) (* a a)) (fmod (cosh a) (* a a))) (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (exp (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (expm1 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (* (cbrt (sqrt (exp (fmod (cosh a) (* a a))))) (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (* (cbrt (exp (fmod (cosh a) (* a a)))) (cbrt (exp (fmod (cosh a) (* a a))))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt 1)) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (exp (fmod (cosh a) (* a a)))) (log (exp (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))))) (log (exp (sqrt (fmod (cosh a) (* a a))))) (log (exp 1)) (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (exp (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a))))))) (cbrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* (* (log (sqrt (exp (fmod (cosh a) (* a a))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) 11.103 * * [simplify]: iteration 0 : 53 enodes (cost 850 ) 11.110 * * [simplify]: iteration 1 : 70 enodes (cost 804 ) 11.118 * * [simplify]: iteration 2 : 87 enodes (cost 728 ) 11.128 * * [simplify]: iteration 3 : 113 enodes (cost 728 ) 11.142 * * [simplify]: iteration 4 : 170 enodes (cost 728 ) 11.169 * * [simplify]: iteration 5 : 316 enodes (cost 728 ) 11.277 * * [simplify]: iteration 6 : 838 enodes (cost 728 ) 12.101 * * [simplify]: iteration 7 : 2955 enodes (cost 728 ) 14.049 * * [simplify]: iteration done : 5000 enodes (cost 728 ) 14.049 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (fmod (cosh a) (* a a))) (log1p (fmod (cosh a) (* a a))) (log (fmod (cosh a) (* a a))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (cbrt (fmod (cosh a) (* a a))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (* a a))) (sqrt (fmod (cosh a) (* a a))) (expm1 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (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) (pow a 2))))) (fmod (cosh a) (pow a 2)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (exp (fmod (cosh a) (pow a 2)))) (* (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) (pow a 2))))) 3) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (log (sqrt (exp (fmod (cosh a) (* a a)))))) (expm1 (log (sqrt (exp (fmod (cosh a) (* a a)))))) (log1p (log (sqrt (exp (fmod (cosh a) (* a a)))))) (* 2 (log (cbrt (sqrt (exp (fmod (cosh a) (* a a))))))) (log (cbrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (fabs (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (cbrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log (sqrt (sqrt (exp (fmod (cosh a) (* a a)))))) (log 1) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (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) (pow a 2))))) (fmod (cosh a) (pow a 2)) (log (sqrt (exp (fmod (cosh a) (pow a 2))))) (fmod (cosh a) (pow a 2)) (* (cbrt (fmod (cosh a) (* a a))) (cbrt (fmod (cosh a) (* a a)))) (sqrt (fmod (cosh a) (* a a))) 1 (log (log (sqrt (exp (fmod (cosh a) (* a a)))))) (sqrt (exp (fmod (cosh a) (pow a 2)))) (* (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) (pow a 2))))) 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) (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))))) 14.050 * * * [progress]: adding candidates to table 14.373 * * [progress]: iteration 4 / 4 14.373 * * * [progress]: picking best candidate 14.383 * * * * [pick]: Picked # 14.383 * * * [progress]: localizing error 14.398 * * * [progress]: generating rewritten candidates 14.399 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1) 14.399 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 14.414 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 14.419 * * * [progress]: generating series expansions 14.419 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1) 14.419 * [approximate]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in (a) around 0 14.419 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.419 * [taylor]: Taking taylor expansion of (fmod (cosh a) (pow a 2)) in a 14.420 * [approximate]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in (a) around 0 14.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) in a 14.420 * [approximate]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in (a) around 0 14.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.420 * [taylor]: Taking taylor expansion of (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) in a 14.421 * * * * [progress]: [ 2 / 3 ] generating series at (2) 14.422 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in (a) around 0 14.422 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 14.422 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.422 * [taylor]: Taking taylor expansion of 1/2 in a 14.422 * [taylor]: Taking taylor expansion of PI in a 14.422 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.423 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) in a 14.423 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.423 * [taylor]: Taking taylor expansion of 1/2 in a 14.423 * [taylor]: Taking taylor expansion of PI in a 14.423 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.432 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in (a) around 0 14.433 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 14.433 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.433 * [taylor]: Taking taylor expansion of 1/2 in a 14.433 * [taylor]: Taking taylor expansion of PI in a 14.433 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.433 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a))))) in a 14.433 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.433 * [taylor]: Taking taylor expansion of 1/2 in a 14.433 * [taylor]: Taking taylor expansion of PI in a 14.433 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.443 * [approximate]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in (a) around 0 14.443 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 14.443 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.443 * [taylor]: Taking taylor expansion of 1/2 in a 14.443 * [taylor]: Taking taylor expansion of PI in a 14.443 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.443 * [taylor]: Taking taylor expansion of (- (* 1/2 PI) (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a))))) in a 14.443 * [taylor]: Taking taylor expansion of (* 1/2 PI) in a 14.443 * [taylor]: Taking taylor expansion of 1/2 in a 14.443 * [taylor]: Taking taylor expansion of PI in a 14.443 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.452 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 14.452 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in (a) around 0 14.452 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.453 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) in a 14.453 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in (a) around 0 14.453 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.453 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ 1 a)) (pow (/ 1 a) 2)) (log1p (/ 1 a)))) in a 14.454 * [approximate]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in (a) around 0 14.455 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.455 * [taylor]: Taking taylor expansion of (asin (pow (fmod (cosh (/ -1 a)) (pow (/ -1 a) 2)) (log1p (/ -1 a)))) in a 14.455 * * * [progress]: simplifying candidates 14.457 * [simplify]: Simplifying using # : (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (* (* (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2))) (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (* (cbrt (/ PI 2)) (cbrt (/ PI 2))) (cbrt (/ PI 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (sqrt (/ PI 2)) (sqrt (/ PI 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) (* (cbrt 2) (cbrt 2))) (/ (cbrt PI) (cbrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (* (cbrt PI) (cbrt PI)) 1) (/ (cbrt PI) 2) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (sqrt PI) (* (cbrt 2) (cbrt 2))) (/ (sqrt PI) (cbrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (sqrt PI) (sqrt 2)) (/ (sqrt PI) (sqrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ (sqrt PI) 1) (/ (sqrt PI) 2) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ 1 (* (cbrt 2) (cbrt 2))) (/ PI (cbrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ 1 (sqrt 2)) (/ PI (sqrt 2)) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma (/ 1 1) (/ PI 2) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (/ 1 1) (/ PI 2) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma (/ 1 1) (/ PI 2) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma 1 (/ PI 2) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma 1 (/ PI 2) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma 1 (/ PI 2) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (fma PI (/ 1 2) (- (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))))) (fma (- (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma PI (/ 1 2) (- (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))))) (fma (- (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (fma PI (/ 1 2) (- (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1))) (fma (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 1 (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 1)) (expm1 (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log1p (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ (exp (/ PI 2)) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (* (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)) (+ (* (/ PI 2) (/ PI 2)) (+ (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* (/ PI 2) (/ PI 2)) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ PI 2) (/ PI 2)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (expm1 (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (/ PI 2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* 1/2 PI) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 14.465 * * [simplify]: iteration 0 : 137 enodes (cost 4094 ) 14.494 * * [simplify]: iteration 1 : 274 enodes (cost 2627 ) 14.566 * * [simplify]: iteration 2 : 599 enodes (cost 2050 ) 14.966 * * [simplify]: iteration 3 : 1923 enodes (cost 1936 ) 15.821 * * [simplify]: iteration done : 5000 enodes (cost 1936 ) 15.822 * [simplify]: Simplified to: (expm1 (fmod (cosh a) (pow a 2))) (log1p (fmod (cosh a) (pow a 2))) (log (fmod (cosh a) (pow a 2))) (exp (fmod (cosh a) (pow a 2))) (* (cbrt (fmod (cosh a) (pow a 2))) (cbrt (fmod (cosh a) (pow a 2)))) (cbrt (fmod (cosh a) (pow a 2))) (pow (fmod (cosh a) (pow a 2)) 3) (sqrt (fmod (cosh a) (pow a 2))) (sqrt (fmod (cosh a) (pow a 2))) (- (pow (cbrt (/ PI 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (pow (cbrt (/ PI 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (pow (cbrt (/ PI 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (pow (/ (cbrt PI) (cbrt 2)) 3) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (/ (* (cbrt PI) (cbrt PI)) (sqrt 2)) (/ (cbrt PI) (sqrt 2)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (fma (* (cbrt PI) (cbrt PI)) (/ (cbrt PI) 2) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (* (cbrt 2) (cbrt 2))) (cbrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (/ (/ PI (sqrt 2)) (sqrt 2)) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 0) (expm1 (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log1p (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (log (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (exp (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (* (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))))) (cbrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (pow (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 3) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (sqrt (- (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (pow (/ PI 2) 3) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3)) (fma (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (/ (* PI PI) 4)) (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (/ (* PI PI) 4) (pow (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 6)) (+ (/ PI 2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (+ (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (sqrt (/ PI 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (+ (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (/ (sqrt PI) (sqrt 2)) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) 0 (- (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (expm1 (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (log1p (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* PI 1/2) (acos (pow (fmod (cosh a) (pow a 2)) (log1p a))) (log (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (exp (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (* (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))))) (cbrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (pow (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 3) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (sqrt (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (fmod (cosh a) (pow a 2)) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (- (* PI 1/2) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a)))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) (asin (pow (fmod (cosh a) (pow a 2)) (log1p a))) 15.823 * * * [progress]: adding candidates to table 16.069 * [progress]: [Phase 3 of 3] Extracting. 16.070 * * [regime]: Finding splitpoints for: (# # # # # # #) 16.072 * * * [regime-changes]: Trying 1 branch expressions: (a) 16.073 * * * * [regimes]: Trying to branch on a from (# # # # # # #) 16.113 * * * [regime]: Found split indices: #