Mul x0 Pow Add Pow Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 x0 3 4 
Add Pow Add Pow Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 x0 3 4 Mul x0 Mul Pow Add Pow Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 x0 3 3 Mul 4 Mul Pow Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 Add x0 -1 Add Mul x0 Mul Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi Add x0 -1 Add Mul x0 Mul Mul Pow x0 Add Add atanh Mul Mul 2 x0 x3 pi -1 Add Add atanh Mul Mul 2 x0 x3 pi Mul Mul x0 log x0 Mul Mul x3 2 Pow Add 1 Mul -1 Mul Mul Mul 2 x0 x3 Mul Mul 2 x0 x3 -1 Pow Mul Mul Pow x0 Add atanh Mul Mul 2 x0 x3 pi Pow x0 Add atanh Mul Mul 2 x0 x3 pi sqrt Add 1 Mul -1 Pow Mul Pow x0 Add atanh Mul Mul 2 x0 x3 pi Pow x0 Add atanh Mul Mul 2 x0 x3 pi -1 -1 Mul asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi log asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi Mul Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 log Pow asech Pow x0 Add atanh Mul Mul 2 x0 x3 pi x0 