Add Add x0 log Pow Mul x0 x5 sqrt Mul x0 asech Add x0 log Mul x0 Pow pi x0 coth atan x6 
Add 1 Mul Mul Pow Mul x0 x5 Add sqrt Mul x0 asech Add x0 log Mul x0 Pow pi x0 -1 Add Mul sqrt Mul x0 asech Add x0 log Mul x0 Pow pi x0 x5 Mul Mul Mul x0 x5 log Mul x0 x5 Mul Pow Mul 2 sqrt Mul x0 asech Add x0 log Mul x0 Pow pi x0 -1 Add asech Add x0 log Mul x0 Pow pi x0 Mul x0 Mul Add 1 Mul Add Pow pi x0 Mul x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul x0 Pow pi x0 -1 Pow Mul Mul Add x0 log Mul x0 Pow pi x0 Add x0 log Mul x0 Pow pi x0 sqrt Add 1 Mul -1 Pow Mul Add x0 log Mul x0 Pow pi x0 Add x0 log Mul x0 Pow pi x0 -1 -1 Pow Pow Mul x0 x5 sqrt Mul x0 asech Add x0 log Mul x0 Pow pi x0 -1 