Pow Pow acos x0 Add 3 E coth Pow acot x0 -0.989992496600445 
Mul Pow Pow acos x0 Add 3 E Add coth Pow acot x0 -0.989992496600445 -1 Add Mul coth Pow acot x0 -0.989992496600445 Mul Pow acos x0 Add Add 3 E -1 Mul Add 3 E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow acos x0 Add 3 E log Pow acos x0 Add 3 E Mul Mul -1 Pow csch Pow acot x0 -0.989992496600445 2 Mul Pow acot x0 -1.98999249660045 Mul -0.989992496600445 Mul -1 Pow Add 1 Mul x0 x0 -1 