Pow acosh Add Add asin x0 Mul pi x0 x0 Mul x0 x2 
Mul Pow acosh Add Add asin x0 Mul pi x0 x0 Add Mul x0 x2 -1 Add Mul Mul x0 x2 Mul Add Add Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 pi 1 Pow Mul sqrt Add Add Add asin x0 Mul pi x0 x0 -1 sqrt Add 1 Add Add asin x0 Mul pi x0 x0 -1 Mul Mul acosh Add Add asin x0 Mul pi x0 x0 log acosh Add Add asin x0 Mul pi x0 x0 x2 