Mul Add Add atanh atan Mul pi -4 Mul tanh Mul x0 Mul -3 sqrt sec E -3 6 x0 
Add Mul x0 Mul -3 Mul Pow sech Mul x0 Mul -3 sqrt sec E 2 Mul -3 sqrt sec E Add Add atanh atan Mul pi -4 Mul tanh Mul x0 Mul -3 sqrt sec E -3 6 