Mul Add Mul Add atan x0 Pow x0 Pow acoth x0 Add E x6 -4 x3 x0 
Add Mul x0 Mul -4 Add Pow Add 1 Mul x0 x0 -1 Mul Pow x0 Add Pow acoth x0 Add E x6 -1 Add Pow acoth x0 Add E x6 Mul Mul x0 log x0 Mul Pow acoth x0 Add Add E x6 -1 Mul Add E x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Add atan x0 Pow x0 Pow acoth x0 Add E x6 -4 x3 