tan Pow Add Pow x5 Mul -4 x0 x1 acoth x6 
Mul Pow sec Pow Add Pow x5 Mul -4 x0 x1 acoth x6 2 Mul Pow Add Pow x5 Mul -4 x0 x1 Add acoth x6 -1 Mul acoth x6 Mul Pow x5 Add Mul -4 x0 -1 Mul Mul x5 log x5 -4 