Pow x6 Add Add Add x1 Add exp E x7 Mul pi E Mul Add acosh x0 x0 -3 
Mul Pow x6 Add Add Add Add x1 Add exp E x7 Mul pi E Mul Add acosh x0 x0 -3 -1 Mul Mul x6 log x6 Mul -3 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 