Add Pow x2 acos asech Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 -1 
Mul Pow x2 Add acos asech Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 -1 Mul Mul x2 log x2 Mul -1 Mul Mul Add acsch Mul Mul x0 x3 Add Add x1 5 -5 Mul x0 Mul Mul -1 Mul Add Add x1 5 -5 x3 Pow Mul Mul Mul Mul x0 x3 Add Add x1 5 -5 Mul Mul x0 x3 Add Add x1 5 -5 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 x3 Add Add x1 5 -5 Mul Mul x0 x3 Add Add x1 5 -5 -1 -1 Pow Mul Mul Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 sqrt Add 1 Mul -1 Pow Mul Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 asech Add sqrt pi Mul x0 acsch Mul Mul x0 x3 Add Add x1 5 -5 -1 