sech Pow Mul x0 3 Add Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 x1 3 
Mul Mul tanh Pow Mul x0 3 Add Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 x1 3 Mul -1 sech Pow Mul x0 3 Add Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 x1 3 Mul Pow Mul x0 3 Add Add Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 x1 3 -1 Add Mul Add Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 x1 3 3 Mul Mul Mul x0 3 log Mul x0 3 Mul Pow Mul Pow Pow Mul sqrt x0 pi 3 E x1 Add x1 -1 Mul x1 Mul x1 Mul Pow Pow Mul sqrt x0 pi 3 Add E -1 Mul E Mul Pow Mul sqrt x0 pi 2 Mul 3 Mul pi Pow Mul 2 sqrt x0 -1 