Pow acot tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi Mul atanh x0 csch x4 
Mul Pow acot tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi Add Mul atanh x0 csch x4 -1 Add Mul Mul atanh x0 csch x4 Mul -1 Mul Mul Pow sec Pow Mul Add x0 0.881373587019543 x7 Add x0 pi 2 Mul Pow Mul Add x0 0.881373587019543 x7 Add Add x0 pi -1 Add Mul Add x0 pi x7 Mul Mul Add x0 0.881373587019543 x7 log Mul Add x0 0.881373587019543 x7 Pow Add 1 Mul tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi -1 Mul Mul acot tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi log acot tan Pow Mul Add x0 0.881373587019543 x7 Add x0 pi Mul csch x4 Pow Add 1 Mul -1 Mul x0 x0 -1 