Mul x1 acsch Add Add pi x0 cosh Add x0 Add 2 Add acot x0 x0 
Mul x1 Mul Mul -1 Add 1 Mul sinh Add x0 Add 2 Add acot x0 x0 Add 1 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Pow Mul Mul Add Add pi x0 cosh Add x0 Add 2 Add acot x0 x0 Add Add pi x0 cosh Add x0 Add 2 Add acot x0 x0 sqrt Add 1 Mul -1 Pow Mul Add Add pi x0 cosh Add x0 Add 2 Add acot x0 x0 Add Add pi x0 cosh Add x0 Add 2 Add acot x0 x0 -1 -1 