Add acosh Mul Pow x0 acoth Add exp atan x3 7 cos Pow x0 -2 x0 
Add Mul Add Mul cos Pow x0 -2 Mul Pow x0 Add acoth Add exp atan x3 7 -1 acoth Add exp atan x3 7 Mul Pow x0 acoth Add exp atan x3 7 Mul Mul -1 sin Pow x0 -2 Mul Pow x0 3 -2 Pow Mul sqrt Add Mul Pow x0 acoth Add exp atan x3 7 cos Pow x0 -2 -1 sqrt Add 1 Mul Pow x0 acoth Add exp atan x3 7 cos Pow x0 -2 -1 1 