Mul x0 Mul Pow x0 Add x5 3 Mul Mul Pow sech x0 acos Add x0 -4 Pow Pow -2 E Mul atanh x0 x0 -3 
Add Mul Pow x0 Add x5 3 Mul Mul Pow sech x0 acos Add x0 -4 Pow Pow -2 E Mul atanh x0 x0 -3 Mul x0 Add Mul Mul Mul Pow sech x0 acos Add x0 -4 Pow Pow -2 E Mul atanh x0 x0 -3 Mul Pow x0 Add Add x5 3 -1 Add x5 3 Mul Pow x0 Add x5 3 Mul -3 Add Mul Pow Pow -2 E Mul atanh x0 x0 Mul Pow sech x0 Add acos Add x0 -4 -1 Add Mul acos Add x0 -4 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -4 Add x0 -4 -1 Mul Pow sech x0 acos Add x0 -4 Mul Pow Pow -2 E Add Mul atanh x0 x0 -1 Mul Mul Pow -2 E log Pow -2 E Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 atanh x0 