Mul x4 Pow Pow Add Add x0 x0 acoth x0 Add 2 Mul x2 x0 asin asin Mul x0 Add x0 cosh x0 
Mul x4 Mul Pow Pow Add Add x0 x0 acoth x0 Add 2 Mul x2 x0 Add asin asin Mul x0 Add x0 cosh x0 -1 Add Mul asin asin Mul x0 Add x0 cosh x0 Mul Pow Add Add x0 x0 acoth x0 Add Add 2 Mul x2 x0 -1 Add Mul Add 2 Mul x2 x0 Add 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add Add x0 x0 acoth x0 log Add Add x0 x0 acoth x0 x2 Mul Mul Pow Add Add x0 x0 acoth x0 Add 2 Mul x2 x0 log Pow Add Add x0 x0 acoth x0 Add 2 Mul x2 x0 Mul Mul Add Add x0 cosh x0 Mul x0 Add 1 sinh x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add x0 cosh x0 Mul x0 Add x0 cosh x0 -1 Pow sqrt Add 1 Mul -1 Mul asin Mul x0 Add x0 cosh x0 asin Mul x0 Add x0 cosh x0 -1 