Add sinh Add Pow acot log x6 Add Add x4 x0 x0 acosh Pow acosh x0 x0 acos x4 
Mul cosh Add Pow acot log x6 Add Add x4 x0 x0 acosh Pow acosh x0 x0 Add Mul Pow acot log x6 Add Add Add x4 x0 x0 -1 Mul Mul acot log x6 log acot log x6 2 Mul Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Pow Mul sqrt Add Pow acosh x0 x0 -1 sqrt Add 1 Pow acosh x0 x0 -1 