Add Mul 5 acosh Pow Pow x0 Mul x0 Mul acoth Add asec x0 pi x0 x5 asech x0 
Add Mul 5 Mul Mul Pow Pow x0 Mul x0 Mul acoth Add asec x0 pi x0 Add x5 -1 Mul x5 Mul Pow x0 Add Mul x0 Mul acoth Add asec x0 pi x0 -1 Add Mul x0 Mul acoth Add asec x0 pi x0 Mul Mul x0 log x0 Add Mul acoth Add asec x0 pi x0 Mul x0 Add Mul x0 Mul Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul -1 Mul Add asec x0 pi Add asec x0 pi -1 acoth Add asec x0 pi Pow Mul sqrt Add Pow Pow x0 Mul x0 Mul acoth Add asec x0 pi x0 x5 -1 sqrt Add 1 Pow Pow x0 Mul x0 Mul acoth Add asec x0 pi x0 x5 -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 