Add -2 asec atanh Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 
Mul Mul Mul Pow Add acosh x0 asinh x2 Add Mul Mul x2 x0 pi -1 Add Mul Mul Mul x2 x0 pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Add acosh x0 asinh x2 log Add acosh x0 asinh x2 Mul pi x2 Pow Add 1 Mul -1 Mul Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 atanh Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 -1 atanh Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 atanh Add Pow Add acosh x0 asinh x2 Mul Mul x2 x0 pi x6 -1 