Pow asin Add Pow Mul -2 acosh Add x7 0.514395258523549 x2 4 Mul Pow x0 x0 cot x1 
Mul Pow asin Add Pow Mul -2 acosh Add x7 0.514395258523549 x2 4 Add Mul Pow x0 x0 cot x1 -1 Mul Mul asin Add Pow Mul -2 acosh Add x7 0.514395258523549 x2 4 log asin Add Pow Mul -2 acosh Add x7 0.514395258523549 x2 4 Mul cot x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 