Add tan Mul Pow acosh Mul -2 x1 x0 x0 Pow -1 x7 
Mul Pow sec Mul Pow acosh Mul -2 x1 x0 x0 2 Add Mul x0 Mul Pow acosh Mul -2 x1 Add x0 -1 Mul acosh Mul -2 x1 log acosh Mul -2 x1 Pow acosh Mul -2 x1 x0 