asin Mul x0 Add Pow Add x6 x0 Pow acoth x1 x0 Add -5 x0 
Mul Add Add Pow Add x6 x0 Pow acoth x1 x0 Add -5 x0 Mul x0 Add Mul Pow Add x6 x0 Add Pow acoth x1 x0 -1 Add Pow acoth x1 x0 Mul Mul Add x6 x0 log Add x6 x0 Mul Pow acoth x1 Add x0 -1 Mul acoth x1 log acoth x1 1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Add Pow Add x6 x0 Pow acoth x1 x0 Add -5 x0 Mul x0 Add Pow Add x6 x0 Pow acoth x1 x0 Add -5 x0 -1 