Mul Add x0 Add Add x6 csch Pow Mul x1 x5 asech sin x5 atanh Pow x0 sqrt atan sqrt pi Add pi x7 
Mul Add pi x7 Add 1 Mul Mul Pow x0 Add sqrt atan sqrt pi -1 sqrt atan sqrt pi Pow Add 1 Mul -1 Mul Pow x0 sqrt atan sqrt pi Pow x0 sqrt atan sqrt pi -1 