Mul x0 acosh Pow Add x0 1 Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 
Add acosh Pow Add x0 1 Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 Mul x0 Mul Mul Pow Add x0 1 Add Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 -1 Add Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 Mul Mul Add x0 1 log Add x0 1 Mul Pow acoth x4 Add Pow Add x0 Mul cos Mul x3 -1 x7 x0 -1 Mul Mul acoth x4 log acoth x4 Mul Pow Add x0 Mul cos Mul x3 -1 x7 Add x0 -1 Add x0 Mul Add x0 Mul cos Mul x3 -1 x7 log Add x0 Mul cos Mul x3 -1 x7 Pow Mul sqrt Add Pow Add x0 1 Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 -1 sqrt Add 1 Pow Add x0 1 Pow acoth x4 Pow Add x0 Mul cos Mul x3 -1 x7 x0 -1 