csc Add Add x0 x0 Pow acosh x7 Pow x0 2 
Mul Mul Mul -1 cot Add Add x0 x0 Pow acosh x7 Pow x0 2 csc Add Add x0 x0 Pow acosh x7 Pow x0 2 Add 2 Mul Pow acosh x7 Add Pow x0 2 -1 Mul Mul acosh x7 log acosh x7 Mul x0 2 