cos Mul atan asech Add x0 Mul Mul 2 x5 pi acot Mul x2 tanh x0 
Mul Mul -1 sin Mul atan asech Add x0 Mul Mul 2 x5 pi acot Mul x2 tanh x0 Add Mul acot Mul x2 tanh x0 Mul Pow Mul Mul Add x0 Mul Mul 2 x5 pi Add x0 Mul Mul 2 x5 pi sqrt Add 1 Mul -1 Pow Mul Add x0 Mul Mul 2 x5 pi Add x0 Mul Mul 2 x5 pi -1 -1 Pow Add 1 Mul asech Add x0 Mul Mul 2 x5 pi asech Add x0 Mul Mul 2 x5 pi -1 Mul atan asech Add x0 Mul Mul 2 x5 pi Mul -1 Mul Mul x2 Pow sech x0 2 Pow Add 1 Mul Mul x2 tanh x0 Mul x2 tanh x0 -1 