Mul Pow 2 Add Pow csc Mul acoth x0 x0 Add x0 Add Mul x1 x7 1.44363547517881 x0 x1 
Mul x1 Mul Pow 2 Add Add Pow csc Mul acoth x0 x0 Add x0 Add Mul x1 x7 1.44363547517881 x0 -1 Mul 2.69314718055995 Add Mul Pow csc Mul acoth x0 x0 Add Add x0 Add Mul x1 x7 1.44363547517881 -1 Add Mul Add x0 Add Mul x1 x7 1.44363547517881 Mul Mul Mul -1 cot Mul acoth x0 x0 csc Mul acoth x0 x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 Mul csc Mul acoth x0 x0 log csc Mul acoth x0 x0 1 