Pow Add pi Pow x0 -1 Add Mul acosh Add 1 x7 atan sech Mul pi cot x1 acos Mul -1 x0 
Mul Pow Add pi Pow x0 -1 Add Add Mul acosh Add 1 x7 atan sech Mul pi cot x1 acos Mul -1 x0 -1 Add Mul Add Mul acosh Add 1 x7 atan sech Mul pi cot x1 acos Mul -1 x0 Mul Pow x0 2 -1 Mul Mul Add pi Pow x0 -1 log Add pi Pow x0 -1 Mul -1 Mul -1 Pow sqrt Add 1 Mul -1 Mul Mul -1 x0 Mul -1 x0 -1 