sec Mul x0 Add Mul acoth x0 Pow x0 Add x5 Mul x0 Pow x1 x7 Add x0 Add pi x0 
Mul Mul tan Mul x0 Add Mul acoth x0 Pow x0 Add x5 Mul x0 Pow x1 x7 Add x0 Add pi x0 sec Mul x0 Add Mul acoth x0 Pow x0 Add x5 Mul x0 Pow x1 x7 Add x0 Add pi x0 Add Add Mul acoth x0 Pow x0 Add x5 Mul x0 Pow x1 x7 Add x0 Add pi x0 Mul x0 Add Add Mul Pow x0 Add x5 Mul x0 Pow x1 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow x0 Add Add x5 Mul x0 Pow x1 x7 -1 Add Add x5 Mul x0 Pow x1 x7 Mul Mul x0 log x0 Pow x1 x7 2 