Add acos Mul x0 Mul x0 Mul Mul x0 acoth atanh Mul x0 4 acosh x2 x1 
Mul -1 Mul Add Mul x0 Mul Mul x0 acoth atanh Mul x0 4 acosh x2 Mul x0 Add Mul Mul x0 acoth atanh Mul x0 4 acosh x2 Mul x0 Mul acosh x2 Add acoth atanh Mul x0 4 Mul x0 Mul Mul 4 Pow Add 1 Mul -1 Mul Mul x0 4 Mul x0 4 -1 Pow Add 1 Mul -1 Mul atanh Mul x0 4 atanh Mul x0 4 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul x0 Mul Mul x0 acoth atanh Mul x0 4 acosh x2 Mul x0 Mul x0 Mul Mul x0 acoth atanh Mul x0 4 acosh x2 -1 