Pow Mul Mul x4 tan Mul x0 atan Pow Add Pow Add x3 x6 x2 -1 x0 x2 acoth log x0 
Mul Pow Mul Mul x4 tan Mul x0 atan Pow Add Pow Add x3 x6 x2 -1 x0 x2 Add acoth log x0 -1 Add Mul acoth log x0 Mul x2 Mul x4 Mul Pow sec Mul x0 atan Pow Add Pow Add x3 x6 x2 -1 x0 2 Add atan Pow Add Pow Add x3 x6 x2 -1 x0 Mul x0 Mul Mul Pow Add Pow Add x3 x6 x2 -1 Add x0 -1 Mul Add Pow Add x3 x6 x2 -1 log Add Pow Add x3 x6 x2 -1 Pow Add 1 Mul Pow Add Pow Add x3 x6 x2 -1 x0 Pow Add Pow Add x3 x6 x2 -1 x0 -1 Mul Mul Mul Mul x4 tan Mul x0 atan Pow Add Pow Add x3 x6 x2 -1 x0 x2 log Mul Mul x4 tan Mul x0 atan Pow Add Pow Add x3 x6 x2 -1 x0 x2 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 