Pow Pow acoth Mul pi x6 asinh Add pi x0 asin x5 
Mul Pow Pow acoth Mul pi x6 asinh Add pi x0 Add asin x5 -1 Mul asin x5 Mul Pow acoth Mul pi x6 Add asinh Add pi x0 -1 Mul Mul acoth Mul pi x6 log acoth Mul pi x6 Pow sqrt Add 1 Mul Add pi x0 Add pi x0 -1 