acos Mul x0 Pow Mul x0 Mul sec sin x6 x2 Pow sec acosh x0 Pow x1 x0 
Mul -1 Mul Add Pow Mul x0 Mul sec sin x6 x2 Pow sec acosh x0 Pow x1 x0 Mul x0 Mul Pow Mul x0 Mul sec sin x6 x2 Add Pow sec acosh x0 Pow x1 x0 -1 Add Mul Pow sec acosh x0 Pow x1 x0 Mul sec sin x6 x2 Mul Mul Mul x0 Mul sec sin x6 x2 log Mul x0 Mul sec sin x6 x2 Mul Pow sec acosh x0 Add Pow x1 x0 -1 Add Mul Pow x1 x0 Mul Mul tan acosh x0 sec acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul sec acosh x0 log sec acosh x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow Mul x0 Mul sec sin x6 x2 Pow sec acosh x0 Pow x1 x0 Mul x0 Pow Mul x0 Mul sec sin x6 x2 Pow sec acosh x0 Pow x1 x0 -1 