Add acoth sqrt Mul acoth x0 x2 Add 0.142546543074278 Add Add Pow cos x1 atan x0 acos x1 x7 
Add Mul Mul Pow Mul 2 sqrt Mul acoth x0 x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sqrt Mul acoth x0 x2 sqrt Mul acoth x0 x2 -1 Mul Pow cos x1 Add atan x0 -1 Mul Mul cos x1 log cos x1 Pow Add 1 Mul x0 x0 -1 