acos Mul Mul Mul Add sech x0 x0 sqrt x2 pi x1 
Mul -1 Mul Mul x1 Mul pi Mul sqrt x2 Add Mul tanh x0 Mul -1 sech x0 1 Pow sqrt Add 1 Mul -1 Mul Mul Mul Mul Add sech x0 x0 sqrt x2 pi x1 Mul Mul Mul Add sech x0 x0 sqrt x2 pi x1 -1 