Mul Mul coth Mul Pow Add acosh Add x0 x3 x0 -4 x0 5 atan acosh x3 
Mul atan acosh x3 Mul 5 Mul Mul -1 Pow csch Mul Pow Add acosh Add x0 x3 x0 -4 x0 2 Add Mul x0 Mul Pow Add acosh Add x0 x3 x0 5 Mul -4 Add Pow Mul sqrt Add Add x0 x3 -1 sqrt Add 1 Add x0 x3 -1 1 Pow Add acosh Add x0 x3 x0 -4 