Mul Mul cosh x0 x0 Mul acoth Pow asin x3 x0 Add x0 sinh Mul x0 x0 
Add Mul Mul acoth Pow asin x3 x0 Add x0 sinh Mul x0 x0 Add Mul x0 sinh x0 cosh x0 Mul Mul cosh x0 x0 Add Mul Add x0 sinh Mul x0 x0 Mul Mul Pow asin x3 Add x0 -1 Mul asin x3 log asin x3 Pow Add 1 Mul -1 Mul Pow asin x3 x0 Pow asin x3 x0 -1 Mul acoth Pow asin x3 x0 Add 1 Mul cosh Mul x0 x0 Add x0 x0 