Add Add Mul x0 x0 Add x7 Pow acoth x2 Pow Add x2 -4 x0 Mul x0 Pow 4 tan Pow x0 x0 
Add Add Add x0 x0 Mul Pow acoth x2 Add Pow Add x2 -4 x0 -1 Mul Mul acoth x2 log acoth x2 Mul Pow Add x2 -4 Add x0 -1 Mul Add x2 -4 log Add x2 -4 Add Pow 4 tan Pow x0 x0 Mul x0 Mul Pow 4 Add tan Pow x0 x0 -1 Mul 5.38629436111989 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 