Mul sin x0 Mul Add Mul 4 Pow acot acosh atanh x0 Add sqrt Mul Mul x2 x0 x5 x1 x0 x7 
Add Mul Mul Add Mul 4 Pow acot acosh atanh x0 Add sqrt Mul Mul x2 x0 x5 x1 x0 x7 cos x0 Mul sin x0 Mul x7 Add Mul 4 Mul Pow acot acosh atanh x0 Add Add sqrt Mul Mul x2 x0 x5 x1 -1 Add Mul Add sqrt Mul Mul x2 x0 x5 x1 Mul -1 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add atanh x0 -1 sqrt Add 1 atanh x0 -1 Pow Add 1 Mul acosh atanh x0 acosh atanh x0 -1 Mul Mul acot acosh atanh x0 log acot acosh atanh x0 Mul Pow Mul 2 sqrt Mul Mul x2 x0 x5 -1 Mul x5 x2 1 