Pow cos acos sqrt Add x3 x0 csch log x0 
Mul Pow cos acos sqrt Add x3 x0 Add csch log x0 -1 Add Mul csch log x0 Mul Mul -1 sin acos sqrt Add x3 x0 Mul -1 Mul Pow Mul 2 sqrt Add x3 x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt Add x3 x0 sqrt Add x3 x0 -1 Mul Mul cos acos sqrt Add x3 x0 log cos acos sqrt Add x3 x0 Mul Mul Mul -1 coth log x0 csch log x0 Pow x0 -1 