Pow Pow x5 Mul acosh Add E x0 sqrt acoth x0 1.55709674612094 
Mul Pow Pow x5 Mul acosh Add E x0 sqrt acoth x0 0.557096746120943 Mul 1.55709674612094 Mul Pow x5 Add Mul acosh Add E x0 sqrt acoth x0 -1 Mul Mul x5 log x5 Add Mul sqrt acoth x0 Pow Mul sqrt Add Add E x0 -1 sqrt Add 1 Add E x0 -1 Mul acosh Add E x0 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 