atan tan Mul x0 tan Mul 3 Add Mul x0 x2 csch x0 
Mul Mul Pow sec Mul x0 tan Mul 3 Add Mul x0 x2 csch x0 2 Add tan Mul 3 Add Mul x0 x2 csch x0 Mul x0 Mul Pow sec Mul 3 Add Mul x0 x2 csch x0 2 Mul 3 Add x2 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul tan Mul x0 tan Mul 3 Add Mul x0 x2 csch x0 tan Mul x0 tan Mul 3 Add Mul x0 x2 csch x0 -1 