Mul x0 Mul tan Pow Add acot csch x0 x1 Add -0.142546543074278 x0 Add Add x0 Add x0 pi 4 
Add Mul tan Pow Add acot csch x0 x1 Add -0.142546543074278 x0 Add Add x0 Add x0 pi 4 Mul x0 Add Mul Add Add x0 Add x0 pi 4 Mul Pow sec Pow Add acot csch x0 x1 Add -0.142546543074278 x0 2 Mul Pow Add acot csch x0 x1 Add Add -0.142546543074278 x0 -1 Add Mul Add -0.142546543074278 x0 Mul -1 Mul Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul csch x0 csch x0 -1 Mul Add acot csch x0 x1 log Add acot csch x0 x1 Mul tan Pow Add acot csch x0 x1 Add -0.142546543074278 x0 2 