tan Mul Add tan atan Mul Mul Mul x6 coth sinh x3 2 x5 Pow x0 2 Pow acosh x2 x0 
Mul Pow sec Mul Add tan atan Mul Mul Mul x6 coth sinh x3 2 x5 Pow x0 2 Pow acosh x2 x0 2 Add Mul Pow acosh x2 x0 Mul x0 2 Mul Add tan atan Mul Mul Mul x6 coth sinh x3 2 x5 Pow x0 2 Mul Pow acosh x2 Add x0 -1 Mul acosh x2 log acosh x2 