Pow Mul Mul x0 x0 x4 Add Mul Mul sech Add -4 x6 x0 pi Mul Pow x6 sec x5 Add x0 exp x0 
Mul Pow Mul Mul x0 x0 x4 Add Add Mul Mul sech Add -4 x6 x0 pi Mul Pow x6 sec x5 Add x0 exp x0 -1 Add Mul Add Mul Mul sech Add -4 x6 x0 pi Mul Pow x6 sec x5 Add x0 exp x0 Mul x4 Add x0 x0 Mul Mul Mul Mul x0 x0 x4 log Mul Mul x0 x0 x4 Add Mul pi sech Add -4 x6 Mul Pow x6 sec x5 Add 1 exp x0 