acoth Mul x0 acot sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E 
Mul Add acot sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E Mul x0 Mul -1 Mul Mul Pow Mul 2 sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E -1 Add Mul Mul Mul acoth atanh x0 x0 4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul 4 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 acoth atanh x0 Pow Add 1 Mul sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E -1 Pow Add 1 Mul -1 Mul Mul x0 acot sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E Mul x0 acot sqrt Add Mul acoth x0 Mul Mul acoth atanh x0 x0 4 E -1 