tan Add Mul x3 x4 sec csch Add Pow x6 x0 x0 
Mul Pow sec Add Mul x3 x4 sec csch Add Pow x6 x0 x0 2 Mul Mul tan csch Add Pow x6 x0 x0 sec csch Add Pow x6 x0 x0 Mul Mul Mul -1 coth Add Pow x6 x0 x0 csch Add Pow x6 x0 x0 Add Mul Pow x6 Add x0 -1 Mul x6 log x6 1 