Add Pow Add Mul x0 x0 Add Mul x7 Mul Add x0 sech x0 -1 Pow x1 Mul atanh pi x0 x3 -5 
Mul Pow Add Mul x0 x0 Add Mul x7 Mul Add x0 sech x0 -1 Pow x1 Mul atanh pi x0 Add x3 -1 Mul x3 Add Add x0 x0 Add Mul x7 Mul -1 Add 1 Mul tanh x0 Mul -1 sech x0 Mul Pow x1 Add Mul atanh pi x0 -1 Mul Mul x1 log x1 atanh pi 