Pow Pow Pow acos Add x0 pi Add Add acot x3 2 atan x0 Add x4 Add x0 x0 atan tanh x0 
Mul Pow Pow Pow acos Add x0 pi Add Add acot x3 2 atan x0 Add x4 Add x0 x0 Add atan tanh x0 -1 Add Mul atan tanh x0 Mul Pow Pow acos Add x0 pi Add Add acot x3 2 atan x0 Add Add x4 Add x0 x0 -1 Add Mul Add x4 Add x0 x0 Mul Pow acos Add x0 pi Add Add Add acot x3 2 atan x0 -1 Add Mul Add Add acot x3 2 atan x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 pi Add x0 pi -1 Mul Mul acos Add x0 pi log acos Add x0 pi Pow Add 1 Mul x0 x0 -1 Mul Mul Pow acos Add x0 pi Add Add acot x3 2 atan x0 log Pow acos Add x0 pi Add Add acot x3 2 atan x0 2 Mul Mul Pow Pow acos Add x0 pi Add Add acot x3 2 atan x0 Add x4 Add x0 x0 log Pow Pow acos Add x0 pi Add Add acot x3 2 atan x0 Add x4 Add x0 x0 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 