Add x3 Mul sin tanh Pow atanh Pow Pow x0 -2 Mul x3 x1 Pow Mul acot asech x0 pi x0 Pow cosh x0 pi 
Add Mul Pow cosh x0 pi Mul cos tanh Pow atanh Pow Pow x0 -2 Mul x3 x1 Pow Mul acot asech x0 pi x0 Mul Pow sech Pow atanh Pow Pow x0 -2 Mul x3 x1 Pow Mul acot asech x0 pi x0 2 Mul Pow atanh Pow Pow x0 -2 Mul x3 x1 Add Pow Mul acot asech x0 pi x0 -1 Add Mul Pow Mul acot asech x0 pi x0 Mul Mul Pow Pow x0 -2 Add Mul x3 x1 -1 Mul Mul x3 x1 Mul Pow x0 3 -2 Pow Add 1 Mul -1 Mul Pow Pow x0 -2 Mul x3 x1 Pow Pow x0 -2 Mul x3 x1 -1 Mul Mul atanh Pow Pow x0 -2 Mul x3 x1 log atanh Pow Pow x0 -2 Mul x3 x1 Mul Pow Mul acot asech x0 pi Add x0 -1 Add Mul x0 Mul pi Mul -1 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul asech x0 asech x0 -1 Mul Mul acot asech x0 pi log Mul acot asech x0 pi Mul sin tanh Pow atanh Pow Pow x0 -2 Mul x3 x1 Pow Mul acot asech x0 pi x0 Mul Pow cosh x0 Add pi -1 Mul pi sinh x0 