acot Add Mul x3 Mul x0 x1 tan Pow csch x0 Add x0 0.909297426825682 
Mul -1 Mul Add Mul x3 x1 Mul Pow sec Pow csch x0 Add x0 0.909297426825682 2 Mul Pow csch x0 Add Add x0 0.909297426825682 -1 Add Mul Add x0 0.909297426825682 Mul Mul -1 coth x0 csch x0 Mul csch x0 log csch x0 Pow Add 1 Mul Add Mul x3 Mul x0 x1 tan Pow csch x0 Add x0 0.909297426825682 Add Mul x3 Mul x0 x1 tan Pow csch x0 Add x0 0.909297426825682 -1 