Mul x1 Mul x0 Mul Pow 2 Mul acsch Pow asin csch Pow x0 x0 x0 0.255412811882995 x4 
Mul x1 Add Mul Pow 2 Mul acsch Pow asin csch Pow x0 x0 x0 0.255412811882995 x4 Mul x0 Mul x4 Mul Pow 2 Add Mul acsch Pow asin csch Pow x0 x0 x0 0.255412811882995 -1 Mul 2.69314718055995 Mul 0.255412811882995 Mul Mul -1 Mul Pow asin csch Pow x0 x0 Add x0 -1 Add Mul x0 Mul Mul Mul Mul -1 coth Pow x0 x0 csch Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow sqrt Add 1 Mul -1 Mul csch Pow x0 x0 csch Pow x0 x0 -1 Mul asin csch Pow x0 x0 log asin csch Pow x0 x0 Pow Mul Mul Pow asin csch Pow x0 x0 x0 Pow asin csch Pow x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Pow asin csch Pow x0 x0 x0 Pow asin csch Pow x0 x0 x0 -1 -1 