Mul Pow Mul Add csch acosh x0 Pow Mul x0 x5 1.57079632679490 4 x0 Add Mul pi Add Pow x0 x1 x0 asec sec x5 
Add Mul Add Mul pi Add Pow x0 x1 x0 asec sec x5 Mul Pow Mul Add csch acosh x0 Pow Mul x0 x5 1.57079632679490 4 Add x0 -1 Add Mul x0 Mul 4 Add Mul Mul Mul -1 coth acosh x0 csch acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Mul x0 x5 0.570796326794897 Mul 1.57079632679490 x5 Mul Mul Add csch acosh x0 Pow Mul x0 x5 1.57079632679490 4 log Mul Add csch acosh x0 Pow Mul x0 x5 1.57079632679490 4 Mul Pow Mul Add csch acosh x0 Pow Mul x0 x5 1.57079632679490 4 x0 Mul pi Add Mul Pow x0 Add x1 -1 x1 1 