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