Mul acosh Mul x2 x0 Add Add acoth x0 Mul cot x5 -5 -4 
Add Mul Add Add acoth x0 Mul cot x5 -5 -4 Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 Mul acosh Mul x2 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 