Pow Mul x3 log Mul x2 x0 Mul x0 Mul sech x3 pi 
Mul Pow Mul x3 log Mul x2 x0 Add Mul x0 Mul sech x3 pi -1 Add Mul Mul x0 Mul sech x3 pi Mul x3 Mul x2 Pow Mul x2 x0 -1 Mul Mul Mul x3 log Mul x2 x0 log Mul x3 log Mul x2 x0 Mul sech x3 pi 