Add acoth Pow x3 Mul x0 3 atanh asech Add Add x0 -4 -1 
Add Mul Mul Pow x3 Add Mul x0 3 -1 Mul Mul x3 log x3 3 Pow Add 1 Mul -1 Mul Pow x3 Mul x0 3 Pow x3 Mul x0 3 -1 Mul Pow Mul Mul Add Add x0 -4 -1 Add Add x0 -4 -1 sqrt Add 1 Mul -1 Pow Mul Add Add x0 -4 -1 Add Add x0 -4 -1 -1 -1 Pow Add 1 Mul -1 Mul asech Add Add x0 -4 -1 asech Add Add x0 -4 -1 -1 