Mul asinh Pow x0 Mul Add x3 Add x0 x0 x0 coth asin Mul x0 Mul asin sec x3 -4 
Add Mul coth asin Mul x0 Mul asin sec x3 -4 Mul Mul Pow x0 Add Mul Add x3 Add x0 x0 x0 -1 Add Mul Add x3 Add x0 x0 x0 Mul Mul x0 log x0 Add Mul x0 2 Add x3 Add x0 x0 Pow sqrt Add 1 Mul Pow x0 Mul Add x3 Add x0 x0 x0 Pow x0 Mul Add x3 Add x0 x0 x0 -1 Mul asinh Pow x0 Mul Add x3 Add x0 x0 x0 Mul Mul -1 Pow csch asin Mul x0 Mul asin sec x3 -4 2 Mul Mul asin sec x3 -4 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul asin sec x3 -4 Mul x0 Mul asin sec x3 -4 -1 