Pow sech Pow Mul x3 x0 4 tan Add x1 acot x3 
Mul Pow sech Pow Mul x3 x0 4 Add tan Add x1 acot x3 -1 Mul tan Add x1 acot x3 Mul Mul tanh Pow Mul x3 x0 4 Mul -1 sech Pow Mul x3 x0 4 Mul Pow Mul x3 x0 3 Mul 4 x3 