sec Mul acoth Pow Pow Add -3 Mul x0 4 x0 x4 x7 
Mul Mul tan Mul acoth Pow Pow Add -3 Mul x0 4 x0 x4 x7 sec Mul acoth Pow Pow Add -3 Mul x0 4 x0 x4 x7 Mul x7 Mul Mul Pow Pow Add -3 Mul x0 4 x0 Add x4 -1 Mul x4 Mul Pow Add -3 Mul x0 4 Add x0 -1 Add Mul x0 4 Mul Add -3 Mul x0 4 log Add -3 Mul x0 4 Pow Add 1 Mul -1 Mul Pow Pow Add -3 Mul x0 4 x0 x4 Pow Pow Add -3 Mul x0 4 x0 x4 -1 