Pow Mul asin cosh x0 x0 Pow Mul Add x6 4 Add x2 x0 cot x2 
Mul Pow Mul asin cosh x0 x0 Add Pow Mul Add x6 4 Add x2 x0 cot x2 -1 Add Mul Pow Mul Add x6 4 Add x2 x0 cot x2 Add Mul x0 Mul sinh x0 Pow sqrt Add 1 Mul -1 Mul cosh x0 cosh x0 -1 asin cosh x0 Mul Mul Mul asin cosh x0 x0 log Mul asin cosh x0 x0 Mul Pow Mul Add x6 4 Add x2 x0 Add cot x2 -1 Mul cot x2 Add x6 4 