Pow Pow Add acoth x5 atanh x0 acot Add 5 Mul x0 x5 Mul acos x0 acoth x0 
Mul Pow Pow Add acoth x5 atanh x0 acot Add 5 Mul x0 x5 Add Mul acos x0 acoth x0 -1 Add Mul Mul acos x0 acoth x0 Mul Pow Add acoth x5 atanh x0 Add acot Add 5 Mul x0 x5 -1 Add Mul acot Add 5 Mul x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add acoth x5 atanh x0 log Add acoth x5 atanh x0 Mul -1 Mul x5 Pow Add 1 Mul Add 5 Mul x0 x5 Add 5 Mul x0 x5 -1 Mul Mul Pow Add acoth x5 atanh x0 acot Add 5 Mul x0 x5 log Pow Add acoth x5 atanh x0 acot Add 5 Mul x0 x5 Add Mul acoth x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Pow Add 1 Mul -1 Mul x0 x0 -1 