acoth Mul Mul x0 acos x4 asinh Mul x0 Pow coth asinh pi x0 
Mul Add Mul asinh Mul x0 Pow coth asinh pi x0 acos x4 Mul Mul x0 acos x4 Mul Add Pow coth asinh pi x0 Mul x0 Mul Pow coth asinh pi Add x0 -1 Mul coth asinh pi log coth asinh pi Pow sqrt Add 1 Mul Mul x0 Pow coth asinh pi x0 Mul x0 Pow coth asinh pi x0 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 acos x4 asinh Mul x0 Pow coth asinh pi x0 Mul Mul x0 acos x4 asinh Mul x0 Pow coth asinh pi x0 -1 