Add 0.255412811882995 Pow Pow acosh Mul acoth x0 Mul Add x0 x0 x4 x0 asec x0 
Mul Pow Pow acosh Mul acoth x0 Mul Add x0 x0 x4 x0 Add asec x0 -1 Add Mul asec x0 Mul Pow acosh Mul acoth x0 Mul Add x0 x0 x4 Add x0 -1 Add Mul x0 Mul Add Mul Mul Add x0 x0 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul x4 2 Pow Mul sqrt Add Mul acoth x0 Mul Add x0 x0 x4 -1 sqrt Add 1 Mul acoth x0 Mul Add x0 x0 x4 -1 Mul acosh Mul acoth x0 Mul Add x0 x0 x4 log acosh Mul acoth x0 Mul Add x0 x0 x4 Mul Mul Pow acosh Mul acoth x0 Mul Add x0 x0 x4 x0 log Pow acosh Mul acoth x0 Mul Add x0 x0 x4 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 