Mul Mul asec Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 acoth sin Pow x0 atan x1 x6 
Mul x6 Add Mul acoth sin Pow x0 atan x1 Mul Add Mul Pow atanh x3 Add Pow x7 x0 -1 Mul Mul atanh x3 log atanh x3 Mul Pow x7 Add x0 -1 Mul x7 log x7 3 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 -1 Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 -1 Mul asec Add Pow atanh x3 Pow x7 x0 Add Add x0 x0 x0 Mul Mul cos Pow x0 atan x1 Mul Pow x0 Add atan x1 -1 atan x1 Pow Add 1 Mul -1 Mul sin Pow x0 atan x1 sin Pow x0 atan x1 -1 