sec Mul x6 Mul Mul Pow acoth x0 x5 Mul x0 x0 x0 
Mul Mul tan Mul x6 Mul Mul Pow acoth x0 x5 Mul x0 x0 x0 sec Mul x6 Mul Mul Pow acoth x0 x5 Mul x0 x0 x0 Mul x6 Add Mul x0 Add Mul Mul x0 x0 Mul Pow acoth x0 Add x5 -1 Mul x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acoth x0 x5 Add x0 x0 Mul Pow acoth x0 x5 Mul x0 x0 