sqrt acoth Mul cosh Add x0 asinh Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi x3 
Mul Pow Mul 2 sqrt acoth Mul cosh Add x0 asinh Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi x3 -1 Mul Mul x3 Mul sinh Add x0 asinh Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi Add 1 Mul Mul Pow Mul x0 Mul Mul pi 2 x2 Add Mul Mul x0 4 3 -1 Add Mul Mul Mul x0 4 3 Mul Mul pi 2 x2 Mul Mul Mul x0 Mul Mul pi 2 x2 log Mul x0 Mul Mul pi 2 x2 7 Pow sqrt Add 1 Mul Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi -1 Pow Add 1 Mul -1 Mul Mul cosh Add x0 asinh Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi x3 Mul cosh Add x0 asinh Add Pow Mul x0 Mul Mul pi 2 x2 Mul Mul x0 4 3 asech pi x3 -1 