Mul csc acosh log Add Mul x0 x0 x0 acosh x3 
Mul acosh x3 Mul Mul Mul -1 cot acosh log Add Mul x0 x0 x0 csc acosh log Add Mul x0 x0 x0 Mul Mul Add Add x0 x0 1 Pow Add Mul x0 x0 x0 -1 Pow Mul sqrt Add log Add Mul x0 x0 x0 -1 sqrt Add 1 log Add Mul x0 x0 x0 -1 