Pow log Mul 2 x1 Pow atan Add Add x0 x0 Add pi acsch x0 Pow x3 x3 
Mul Pow log Mul 2 x1 Add Pow atan Add Add x0 x0 Add pi acsch x0 Pow x3 x3 -1 Mul Mul log Mul 2 x1 log log Mul 2 x1 Mul Pow atan Add Add x0 x0 Add pi acsch x0 Add Pow x3 x3 -1 Mul Pow x3 x3 Mul Add 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Add Add x0 x0 Add pi acsch x0 Add Add x0 x0 Add pi acsch x0 -1 