asech atan Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E 
Mul Mul Mul acsch E Add Mul Add tan coth sqrt x0 x0 Add 3 coth x0 Mul x0 Add Mul Add 3 coth x0 Add Mul Pow sec coth sqrt x0 2 Mul Mul -1 Pow csch sqrt x0 2 Pow Mul 2 sqrt x0 -1 1 Mul Add tan coth sqrt x0 x0 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E -1 Pow Mul Mul atan Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E atan Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E sqrt Add 1 Mul -1 Pow Mul atan Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E atan Mul Mul x0 Mul Add tan coth sqrt x0 x0 Add 3 coth x0 acsch E -1 -1 