Pow tan Add acosh x6 x0 Add csch coth x2 Mul x0 x1 
Mul Pow tan Add acosh x6 x0 Add Add csch coth x2 Mul x0 x1 -1 Add Mul Add csch coth x2 Mul x0 x1 Pow sec Add acosh x6 x0 2 Mul Mul tan Add acosh x6 x0 log tan Add acosh x6 x0 x1 