Mul atanh Add Mul asin x1 acsch pi Mul 2 Mul Mul pi x0 Pow Add Add x0 Pow x5 x0 x0 x1 x6 
Mul x6 Mul Mul 2 Add Mul Pow Add Add x0 Pow x5 x0 x0 x1 pi Mul Mul pi x0 Mul Pow Add Add x0 Pow x5 x0 x0 Add x1 -1 Mul x1 Add Add 1 Mul Pow x5 Add x0 -1 Mul x5 log x5 1 Pow Add 1 Mul -1 Mul Add Mul asin x1 acsch pi Mul 2 Mul Mul pi x0 Pow Add Add x0 Pow x5 x0 x0 x1 Add Mul asin x1 acsch pi Mul 2 Mul Mul pi x0 Pow Add Add x0 Pow x5 x0 x0 x1 -1 