tanh Mul x0 asin Add Pow Add Add x0 x0 sqrt atan acos x0 x4 x0 
Mul Pow sech Mul x0 asin Add Pow Add Add x0 x0 sqrt atan acos x0 x4 x0 2 Add asin Add Pow Add Add x0 x0 sqrt atan acos x0 x4 x0 Mul x0 Mul Add Mul Pow Add Add x0 x0 sqrt atan acos x0 Add x4 -1 Mul x4 Add 2 Mul Pow Mul 2 sqrt atan acos x0 -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acos x0 acos x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Pow Add Add x0 x0 sqrt atan acos x0 x4 x0 Add Pow Add Add x0 x0 sqrt atan acos x0 x4 x0 -1 