Add Pow Pow Pow x5 x0 x0 tan tan Pow acosh x0 x0 x0 
Add Mul Pow Pow Pow x5 x0 x0 Add tan tan Pow acosh x0 x0 -1 Add Mul tan tan Pow acosh x0 x0 Mul Pow Pow x5 x0 Add x0 -1 Add Mul x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Pow x5 x0 log Pow x5 x0 Mul Mul Pow Pow x5 x0 x0 log Pow Pow x5 x0 x0 Mul Pow sec tan Pow acosh x0 x0 2 Mul Pow sec Pow acosh x0 x0 2 Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 1 