Mul Mul x0 Mul Mul Pow x7 Add x6 acosh x0 x0 Add Add cot x1 x0 asinh x1 x5 
Mul x5 Add Mul Mul Pow x7 Add x6 acosh x0 x0 Add Add cot x1 x0 asinh x1 Mul x0 Add Mul Add Add cot x1 x0 asinh x1 Add Mul x0 Mul Pow x7 Add Add x6 acosh x0 -1 Mul Mul x7 log x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow x7 Add x6 acosh x0 Mul Pow x7 Add x6 acosh x0 x0 