Add Pow Pow Pow csch E -2 Add Mul x0 Add x0 x0 cosh Pow asin x0 6 x0 x0 
Add Mul Pow Pow Pow csch E -2 Add Mul x0 Add x0 x0 cosh Pow asin x0 6 Add x0 -1 Add Mul x0 Mul Pow Pow csch E -2 Add Add Mul x0 Add x0 x0 cosh Pow asin x0 6 -1 Mul Mul Pow csch E -2 log Pow csch E -2 Add Add Add x0 x0 Mul x0 2 Mul sinh Pow asin x0 6 Mul Pow asin x0 5 Mul 6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Pow csch E -2 Add Mul x0 Add x0 x0 cosh Pow asin x0 6 log Pow Pow csch E -2 Add Mul x0 Add x0 x0 cosh Pow asin x0 6 1 