Add x0 Add Mul x6 acosh x0 cos Pow acosh Pow x0 x3 Add coth x4 x0 
Add 1 Add Mul x6 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul -1 sin Pow acosh Pow x0 x3 Add coth x4 x0 Mul Pow acosh Pow x0 x3 Add Add coth x4 x0 -1 Add Mul Add coth x4 x0 Mul Mul Pow x0 Add x3 -1 x3 Pow Mul sqrt Add Pow x0 x3 -1 sqrt Add 1 Pow x0 x3 -1 Mul acosh Pow x0 x3 log acosh Pow x0 x3 