Mul Add Add Add Mul Add Add x0 -4 x7 x0 acsch acoth Add x1 x0 x2 x0 Mul pi asech x0 
Add Mul Mul pi asech x0 Add Add Add x0 Add Add x0 -4 x7 Mul Mul -1 Pow Add 1 Mul -1 Mul Add x1 x0 Add x1 x0 -1 Pow Mul Mul acoth Add x1 x0 acoth Add x1 x0 sqrt Add 1 Mul -1 Pow Mul acoth Add x1 x0 acoth Add x1 x0 -1 -1 1 Mul Add Add Add Mul Add Add x0 -4 x7 x0 acsch acoth Add x1 x0 x2 x0 Mul pi Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 