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