Mul Mul Mul x5 Add asech Add x7 -0.881373587019543 atanh Pow E atanh x0 4 Add -3 pi 
Mul Add -3 pi Mul 4 Mul x5 Mul Mul Pow E Add atanh x0 -1 Mul Mul E log E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow E atanh x0 Pow E atanh x0 -1 