acot Mul x0 Add sech x0 Pow Pow x0 64 2 
Mul -1 Mul Add Add sech x0 Pow Pow x0 64 2 Mul x0 Add Mul tanh x0 Mul -1 sech x0 Mul Pow x0 64 Mul 2 Mul Pow x0 63 64 Pow Add 1 Mul Mul x0 Add sech x0 Pow Pow x0 64 2 Mul x0 Add sech x0 Pow Pow x0 64 2 -1 