Add Pow x7 Mul Pow Add sqrt x0 x0 -1 acoth Add acoth Pow -4 x4 Add -2 x0 tan asec x0 
Add Mul Pow x7 Add Mul Pow Add sqrt x0 x0 -1 acoth Add acoth Pow -4 x4 Add -2 x0 -1 Mul Mul x7 log x7 Add Mul acoth Add acoth Pow -4 x4 Add -2 x0 Mul Pow Add sqrt x0 x0 2 Mul -1 Add Pow Mul 2 sqrt x0 -1 1 Mul Pow Add sqrt x0 x0 -1 Pow Add 1 Mul -1 Mul Add acoth Pow -4 x4 Add -2 x0 Add acoth Pow -4 x4 Add -2 x0 -1 Mul Pow sec asec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 