atanh Mul Mul x0 Pow asin Pow x0 Pow 4 x7 x7 acot Mul x4 Pow E -2 
Mul Mul acot Mul x4 Pow E -2 Add Pow asin Pow x0 Pow 4 x7 x7 Mul x0 Mul Pow asin Pow x0 Pow 4 x7 Add x7 -1 Mul x7 Mul Mul Pow x0 Add Pow 4 x7 -1 Pow 4 x7 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow 4 x7 Pow x0 Pow 4 x7 -1 Pow Add 1 Mul -1 Mul Mul Mul x0 Pow asin Pow x0 Pow 4 x7 x7 acot Mul x4 Pow E -2 Mul Mul x0 Pow asin Pow x0 Pow 4 x7 x7 acot Mul x4 Pow E -2 -1 