Add x0 Mul Add sech exp acot x0 Mul Add acosh Add x3 x0 pi x0 -2 
Add 1 Mul -2 Add Mul Mul tanh exp acot x0 Mul -1 sech exp acot x0 Mul exp acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul x0 Pow Mul sqrt Add Add x3 x0 -1 sqrt Add 1 Add x3 x0 -1 Add acosh Add x3 x0 pi 