Pow Mul sinh Pow x0 5 sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 Add x1 x0 
Mul Pow Mul sinh Pow x0 5 sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 Add Add x1 x0 -1 Add Mul Add x1 x0 Add Mul sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 Mul cosh Pow x0 5 Mul Pow x0 4 5 Mul sinh Pow x0 5 Mul Pow Mul 2 sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 -1 Add 1 Mul Pow sech Pow x0 sqrt exp Add acot Add x0 x0 x0 2 Mul Pow x0 Add sqrt exp Add acot Add x0 x0 x0 -1 Add sqrt exp Add acot Add x0 x0 x0 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt exp Add acot Add x0 x0 x0 -1 Mul exp Add acot Add x0 x0 x0 Add Mul -1 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 1 Mul Mul sinh Pow x0 5 sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 log Mul sinh Pow x0 5 sqrt Add x0 tanh Pow x0 sqrt exp Add acot Add x0 x0 x0 