Add 1 Pow sinh acot asin cosh x0 Mul Mul -4 Mul x0 atanh x1 x0 
Mul Pow sinh acot asin cosh x0 Add Mul Mul -4 Mul x0 atanh x1 x0 -1 Add Mul Mul Mul -4 Mul x0 atanh x1 x0 Mul cosh acot asin cosh x0 Mul -1 Mul Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 Pow Add 1 Mul asin cosh x0 asin cosh x0 -1 Mul Mul sinh acot asin cosh x0 log sinh acot asin cosh x0 Add Mul x0 Mul -4 atanh x1 Mul -4 Mul x0 atanh x1 