acos Pow acosh Mul 4 x0 log asin Mul x0 2 
Mul -1 Mul Mul Pow acosh Mul 4 x0 Add log asin Mul x0 2 -1 Add Mul log asin Mul x0 2 Mul 4 Pow Mul sqrt Add Mul 4 x0 -1 sqrt Add 1 Mul 4 x0 -1 Mul Mul acosh Mul 4 x0 log acosh Mul 4 x0 Mul Mul 2 Pow sqrt Add 1 Mul -1 Mul Mul x0 2 Mul x0 2 -1 Pow asin Mul x0 2 -1 Pow sqrt Add 1 Mul -1 Mul Pow acosh Mul 4 x0 log asin Mul x0 2 Pow acosh Mul 4 x0 log asin Mul x0 2 -1 