Pow x0 Mul acosh acosh Pow Mul x0 x0 asech x5 Mul 2 Add Mul pi -3 x4 
Mul Pow x0 Add Mul acosh acosh Pow Mul x0 x0 asech x5 Mul 2 Add Mul pi -3 x4 -1 Add Mul acosh acosh Pow Mul x0 x0 asech x5 Mul 2 Add Mul pi -3 x4 Mul Mul x0 log x0 Mul Mul 2 Add Mul pi -3 x4 Mul Mul Mul Pow Mul x0 x0 Add asech x5 -1 Mul asech x5 Add x0 x0 Pow Mul sqrt Add Pow Mul x0 x0 asech x5 -1 sqrt Add 1 Pow Mul x0 x0 asech x5 -1 Pow Mul sqrt Add acosh Pow Mul x0 x0 asech x5 -1 sqrt Add 1 acosh Pow Mul x0 x0 asech x5 -1 