sqrt Mul 256 Pow sech x0 asech Add cot Add x3 x6 x7 
Mul Pow Mul 2 sqrt Mul 256 Pow sech x0 asech Add cot Add x3 x6 x7 -1 Mul 256 Mul Pow sech x0 Add asech Add cot Add x3 x6 x7 -1 Mul asech Add cot Add x3 x6 x7 Mul tanh x0 Mul -1 sech x0 