Pow Add x7 Add Add x0 x0 E Mul Mul x0 cot acosh x2 x6 
Mul Pow Add x7 Add Add x0 x0 E Add Mul Mul x0 cot acosh x2 x6 -1 Add Mul Mul Mul x0 cot acosh x2 x6 2 Mul Mul Add x7 Add Add x0 x0 E log Add x7 Add Add x0 x0 E Mul x6 cot acosh x2 