Pow acot Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 Mul acosh acos x0 x0 
Mul Pow acot Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 Add Mul acosh acos x0 x0 -1 Add Mul Mul acosh acos x0 x0 Mul -1 Mul Add 1 Mul 5 Add Add 0.125657214140453 Add x0 Pow x0 asin x3 Mul Add x3 x0 Add 1 Mul Pow x0 Add asin x3 -1 asin x3 Pow Add 1 Mul Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 -1 Mul Mul acot Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 log acot Add x0 Mul Mul Add x3 x0 Add 0.125657214140453 Add x0 Pow x0 asin x3 5 Add Mul x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acos x0 -1 sqrt Add 1 acos x0 -1 acosh acos x0 