Pow Mul cot Add x4 acosh Mul -3 E -1 Mul x0 Add x4 x7 
Mul Pow Mul cot Add x4 acosh Mul -3 E -1 Add Mul x0 Add x4 x7 -1 Mul Mul Mul cot Add x4 acosh Mul -3 E -1 log Mul cot Add x4 acosh Mul -3 E -1 Add x4 x7 