Add acos Mul x0 acsch Mul x0 E Add x0 Add x4 coth Add acoth x0 x0 
Add Mul -1 Mul Add acsch Mul x0 E Mul x0 Mul Mul -1 E Pow Mul Mul Mul x0 E Mul x0 E sqrt Add 1 Mul -1 Pow Mul Mul x0 E Mul x0 E -1 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 acsch Mul x0 E Mul x0 acsch Mul x0 E -1 Add 1 Mul Mul -1 Pow csch Add acoth x0 x0 2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 