Add Pow x1 acsch Mul sqrt log x4 acsch Mul E -4 sqrt Mul Pow Add x4 4 acot asec x0 3 
Mul Pow Mul 2 sqrt Mul Pow Add x4 4 acot asec x0 3 -1 Mul 3 Mul Pow Add x4 4 Add acot asec x0 -1 Mul Mul Add x4 4 log Add x4 4 Mul -1 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul asec x0 asec x0 -1 