acos Pow Mul acoth Mul x5 -4 x4 Pow x0 acoth pi 
Mul -1 Mul Mul Pow Mul acoth Mul x5 -4 x4 Add Pow x0 acoth pi -1 Mul Mul Mul acoth Mul x5 -4 x4 log Mul acoth Mul x5 -4 x4 Mul Pow x0 Add acoth pi -1 acoth pi Pow sqrt Add 1 Mul -1 Mul Pow Mul acoth Mul x5 -4 x4 Pow x0 acoth pi Pow Mul acoth Mul x5 -4 x4 Pow x0 acoth pi -1 