Mul Add Mul exp cot x2 Pow sech x0 sinh Add acoth x0 acot Add acos x0 x1 pi x3 
Mul x3 Mul exp cot x2 Mul Pow sech x0 Add sinh Add acoth x0 acot Add acos x0 x1 -1 Add Mul sinh Add acoth x0 acot Add acos x0 x1 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul cosh Add acoth x0 acot Add acos x0 x1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add acos x0 x1 Add acos x0 x1 -1 