Mul x3 Pow acot csch x0 Add x0 Mul pi atan acos Add Add x0 E x3 
Mul x3 Mul Pow acot csch x0 Add Add x0 Mul pi atan acos Add Add x0 E x3 -1 Add Mul Add x0 Mul pi atan acos Add Add x0 E x3 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul Mul acot csch x0 log acot csch x0 Add 1 Mul pi Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Add x0 E x3 Add Add x0 E x3 -1 Pow Add 1 Mul acos Add Add x0 E x3 acos Add Add x0 E x3 -1 