Mul Pow x0 sech asech Add 1 x0 Pow exp acosh acos Pow pi x1 -2 
Mul Pow exp acosh acos Pow pi x1 -2 Mul Pow x0 Add sech asech Add 1 x0 -1 Add sech asech Add 1 x0 Mul Mul x0 log x0 Mul Mul tanh asech Add 1 x0 Mul -1 sech asech Add 1 x0 Pow Mul Mul Add 1 x0 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 x0 Add 1 x0 -1 -1 