Add Mul pi Add Mul Pow acsch x0 x4 Add atanh x0 x7 Pow Pow asech Add x0 x6 x0 Mul Add 3 x0 x6 Pow x0 x0 
Add Mul pi Add Add Mul Add atanh x0 x7 Mul Pow acsch x0 Add x4 -1 Mul x4 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow acsch x0 x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow asech Add x0 x6 x0 Add Mul Add 3 x0 x6 -1 Add Mul Mul Add 3 x0 x6 Mul Pow asech Add x0 x6 Add x0 -1 Add Mul x0 Pow Mul Mul Add x0 x6 Add x0 x6 sqrt Add 1 Mul -1 Pow Mul Add x0 x6 Add x0 x6 -1 -1 Mul asech Add x0 x6 log asech Add x0 x6 Mul Mul Pow asech Add x0 x6 x0 log Pow asech Add x0 x6 x0 x6 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 