exp Pow Add x2 Mul x0 Add 4 Add pi x1 tanh log x0 
Mul exp Pow Add x2 Mul x0 Add 4 Add pi x1 tanh log x0 Mul Pow Add x2 Mul x0 Add 4 Add pi x1 Add tanh log x0 -1 Add Mul tanh log x0 Add 4 Add pi x1 Mul Mul Add x2 Mul x0 Add 4 Add pi x1 log Add x2 Mul x0 Add 4 Add pi x1 Mul Pow sech log x0 2 Pow x0 -1 