Mul x0 Pow Mul atan Mul x0 E acoth x0 acosh Mul -4 x0 
Add Pow Mul atan Mul x0 E acoth x0 acosh Mul -4 x0 Mul x0 Mul Pow Mul atan Mul x0 E acoth x0 Add acosh Mul -4 x0 -1 Add Mul acosh Mul -4 x0 Add Mul acoth x0 Mul E Pow Add 1 Mul Mul x0 E Mul x0 E -1 Mul atan Mul x0 E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Mul atan Mul x0 E acoth x0 log Mul atan Mul x0 E acoth x0 Mul -4 Pow Mul sqrt Add Mul -4 x0 -1 sqrt Add 1 Mul -4 x0 -1 