Mul sqrt Pow x3 x0 sinh Pow Add acosh Add x0 atanh Add x0 x1 x0 4 
Add Mul sinh Pow Add acosh Add x0 atanh Add x0 x1 x0 4 Mul Pow Mul 2 sqrt Pow x3 x0 -1 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul sqrt Pow x3 x0 Mul cosh Pow Add acosh Add x0 atanh Add x0 x1 x0 4 Mul Pow Add acosh Add x0 atanh Add x0 x1 x0 3 Mul 4 Add Mul Add 1 Pow Add 1 Mul -1 Mul Add x0 x1 Add x0 x1 -1 Pow Mul sqrt Add Add x0 atanh Add x0 x1 -1 sqrt Add 1 Add x0 atanh Add x0 x1 -1 1 