exp acsch Add exp Add Mul Mul acos acot x0 x0 x0 x2 E 
Mul exp acsch Add exp Add Mul Mul acos acot x0 x0 x0 x2 E Mul Mul -1 Mul exp Add Mul Mul acos acot x0 x0 x0 x2 Add Mul x0 Add Mul x0 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acot x0 acot x0 -1 acos acot x0 Mul acos acot x0 x0 Pow Mul Mul Add exp Add Mul Mul acos acot x0 x0 x0 x2 E Add exp Add Mul Mul acos acot x0 x0 x0 x2 E sqrt Add 1 Mul -1 Pow Mul Add exp Add Mul Mul acos acot x0 x0 x0 x2 E Add exp Add Mul Mul acos acot x0 x0 x0 x2 E -1 -1 