sinh acot Add Add x3 Add csch x0 Mul Mul Mul x0 x0 Add x0 x1 Add x0 Mul log asin x0 x0 Mul -4 x0 
Mul cosh acot Add Add x3 Add csch x0 Mul Mul Mul x0 x0 Add x0 x1 Add x0 Mul log asin x0 x0 Mul -4 x0 Mul -1 Mul Add Add Mul Mul -1 coth x0 csch x0 Add Mul Add x0 Mul log asin x0 x0 Add Mul Add x0 x1 Add x0 x0 Mul x0 x0 Mul Mul Mul x0 x0 Add x0 x1 Add 1 Add Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow asin x0 -1 log asin x0 -4 Pow Add 1 Mul Add Add x3 Add csch x0 Mul Mul Mul x0 x0 Add x0 x1 Add x0 Mul log asin x0 x0 Mul -4 x0 Add Add x3 Add csch x0 Mul Mul Mul x0 x0 Add x0 x1 Add x0 Mul log asin x0 x0 Mul -4 x0 -1 