Add -0.321750554396642 Add Mul E Pow Mul x0 Add Mul pi 2 acsch x0 5 Pow Add x7 -3 asech atanh x0 
Add Mul E Mul Pow Mul x0 Add Mul pi 2 acsch x0 4 Mul 5 Add Add Mul pi 2 acsch x0 Mul x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Add x7 -3 Add asech atanh x0 -1 Mul Mul Add x7 -3 log Add x7 -3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul atanh x0 atanh x0 sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 -1 