Mul x0 Mul x0 acosh log Mul x0 acoth sinh Add x0 x6 
Add Mul x0 acosh log Mul x0 acoth sinh Add x0 x6 Mul x0 Add acosh log Mul x0 acoth sinh Add x0 x6 Mul x0 Mul Mul Add acoth sinh Add x0 x6 Mul x0 Mul cosh Add x0 x6 Pow Add 1 Mul -1 Mul sinh Add x0 x6 sinh Add x0 x6 -1 Pow Mul x0 acoth sinh Add x0 x6 -1 Pow Mul sqrt Add log Mul x0 acoth sinh Add x0 x6 -1 sqrt Add 1 log Mul x0 acoth sinh Add x0 x6 -1 