Mul x0 sec Add acoth Pow Mul x0 x0 x2 x0 
Add sec Add acoth Pow Mul x0 x0 x2 x0 Mul x0 Mul Mul tan Add acoth Pow Mul x0 x0 x2 x0 sec Add acoth Pow Mul x0 x0 x2 x0 Add Mul Mul Pow Mul x0 x0 Add x2 -1 Mul x2 Add x0 x0 Pow Add 1 Mul -1 Mul Pow Mul x0 x0 x2 Pow Mul x0 x0 x2 -1 1 