Mul atan Add Add 4 x0 Mul x0 exp acoth x4 x0 
Add Mul x0 Mul Add 1 exp acoth x4 Pow Add 1 Mul Add Add 4 x0 Mul x0 exp acoth x4 Add Add 4 x0 Mul x0 exp acoth x4 -1 atan Add Add 4 x0 Mul x0 exp acoth x4 