atan Mul Pow 2 Mul x0 Add Mul Mul exp pi x0 asech E x0 Mul Mul x0 Mul x0 atanh Pow x0 x5 4 
Mul Add Mul Mul Mul x0 Mul x0 atanh Pow x0 x5 4 Mul Pow 2 Add Mul x0 Add Mul Mul exp pi x0 asech E x0 -1 Mul 2.69314718055995 Add Add Mul Mul exp pi x0 asech E x0 Mul x0 Add Mul asech E exp pi 1 Mul Pow 2 Mul x0 Add Mul Mul exp pi x0 asech E x0 Mul 4 Add Mul x0 atanh Pow x0 x5 Mul x0 Add atanh Pow x0 x5 Mul x0 Mul Mul Pow x0 Add x5 -1 x5 Pow Add 1 Mul -1 Mul Pow x0 x5 Pow x0 x5 -1 Pow Add 1 Mul Mul Pow 2 Mul x0 Add Mul Mul exp pi x0 asech E x0 Mul Mul x0 Mul x0 atanh Pow x0 x5 4 Mul Pow 2 Mul x0 Add Mul Mul exp pi x0 asech E x0 Mul Mul x0 Mul x0 atanh Pow x0 x5 4 -1 