coth Pow Add Mul x0 x5 x0 sec Add x0 x0 
Mul Mul -1 Pow csch Pow Add Mul x0 x5 x0 sec Add x0 x0 2 Mul Pow Add Mul x0 x5 x0 Add sec Add x0 x0 -1 Add Mul sec Add x0 x0 Add x5 1 Mul Mul Add Mul x0 x5 x0 log Add Mul x0 x5 x0 Mul Mul tan Add x0 x0 sec Add x0 x0 2 