Mul atan tan Add csc coth x7 x0 sec Mul x0 sin atanh Mul x0 2 
Add Mul sec Mul x0 sin atanh Mul x0 2 Mul Pow sec Add csc coth x7 x0 2 Pow Add 1 Mul tan Add csc coth x7 x0 tan Add csc coth x7 x0 -1 Mul atan tan Add csc coth x7 x0 Mul Mul tan Mul x0 sin atanh Mul x0 2 sec Mul x0 sin atanh Mul x0 2 Add sin atanh Mul x0 2 Mul x0 Mul cos atanh Mul x0 2 Mul 2 Pow Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 