Add Pow acosh Mul x0 Add cos Pow acot x2 x0 x4 acoth x5 x7 
Mul Pow acosh Mul x0 Add cos Pow acot x2 x0 x4 Add acoth x5 -1 Mul acoth x5 Mul Add Add cos Pow acot x2 x0 x4 Mul x0 Mul Mul -1 sin Pow acot x2 x0 Mul Pow acot x2 Add x0 -1 Mul acot x2 log acot x2 Pow Mul sqrt Add Mul x0 Add cos Pow acot x2 x0 x4 -1 sqrt Add 1 Mul x0 Add cos Pow acot x2 x0 x4 -1 