Add Pow x1 x6 tan Mul x0 Add acoth Mul x0 Add x7 x0 x0 
Mul Pow sec Mul x0 Add acoth Mul x0 Add x7 x0 x0 2 Add Add acoth Mul x0 Add x7 x0 x0 Mul x0 Add Mul Add Add x7 x0 x0 Pow Add 1 Mul -1 Mul Mul x0 Add x7 x0 Mul x0 Add x7 x0 -1 1 