Mul Mul -2 x0 asin Add acot x0 Add sec Mul cosh pi x0 x0 
Add Mul asin Add acot x0 Add sec Mul cosh pi x0 x0 -2 Mul Mul -2 x0 Mul Add Mul -1 Pow Add 1 Mul x0 x0 -1 Add Mul Mul tan Mul cosh pi x0 sec Mul cosh pi x0 cosh pi 1 Pow sqrt Add 1 Mul -1 Mul Add acot x0 Add sec Mul cosh pi x0 x0 Add acot x0 Add sec Mul cosh pi x0 x0 -1 