Mul Pow acos Mul x0 Add asech Pow pi x0 x0 Add Mul x0 x2 Add x0 atanh x6 Mul acsch x0 x0 
Add Mul Mul acsch x0 x0 Mul Pow acos Mul x0 Add asech Pow pi x0 x0 Add Add Mul x0 x2 Add x0 atanh x6 -1 Add Mul Add Mul x0 x2 Add x0 atanh x6 Mul -1 Mul Add Add asech Pow pi x0 x0 Mul x0 Add Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul Pow pi x0 Pow pi x0 sqrt Add 1 Mul -1 Pow Mul Pow pi x0 Pow pi x0 -1 -1 1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add asech Pow pi x0 x0 Mul x0 Add asech Pow pi x0 x0 -1 Mul Mul acos Mul x0 Add asech Pow pi x0 x0 log acos Mul x0 Add asech Pow pi x0 x0 Add x2 1 Mul Pow acos Mul x0 Add asech Pow pi x0 x0 Add Mul x0 x2 Add x0 atanh x6 Add Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 acsch x0 