Mul tanh Pow acosh Mul x3 2 acos x0 Add Add x0 3 x6 
Add Mul Add Add x0 3 x6 Mul Pow sech Pow acosh Mul x3 2 acos x0 2 Mul Pow acosh Mul x3 2 Add acos x0 -1 Mul Mul acosh Mul x3 2 log acosh Mul x3 2 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 tanh Pow acosh Mul x3 2 acos x0 