Pow acoth Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 asinh acos acos Mul pi x0 
Mul Pow acoth Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 Add asinh acos acos Mul pi x0 -1 Add Mul asinh acos acos Mul pi x0 Mul Add Mul Pow asinh x0 Add asin x0 x3 Mul Pow Mul pi acos x0 Add x1 -1 Mul x1 Mul pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul pi acos x0 x1 Mul Pow asinh x0 Add Add asin x0 x3 -1 Add Mul Add asin x0 x3 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 -1 Mul Mul acoth Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 log acoth Mul Pow Mul pi acos x0 x1 Pow asinh x0 Add asin x0 x3 Mul Mul -1 Mul Mul -1 Mul pi Pow sqrt Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow sqrt Add 1 Mul -1 Mul acos Mul pi x0 acos Mul pi x0 -1 Pow sqrt Add 1 Mul acos acos Mul pi x0 acos acos Mul pi x0 -1 