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