Pow Add x1 x4 Pow Add Add x0 x0 asech Mul x0 acoth x0 -2 
Mul Pow Add x1 x4 Add Pow Add Add x0 x0 asech Mul x0 acoth x0 -2 -1 Mul Mul Add x1 x4 log Add x1 x4 Mul Pow Add Add x0 x0 asech Mul x0 acoth x0 3 Mul -2 Add 2 Mul Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul x0 acoth x0 Mul x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 acoth x0 Mul x0 acoth x0 -1 -1 