Mul x3 Pow Pow x3 acos Add Pow log x0 Add sech x2 x0 2 acos Pow x0 3 
Mul x3 Mul Pow Pow x3 acos Add Pow log x0 Add sech x2 x0 2 Add acos Pow x0 3 -1 Add Mul acos Pow x0 3 Mul Pow x3 Add acos Add Pow log x0 Add sech x2 x0 2 -1 Mul Mul x3 log x3 Mul -1 Mul Mul Pow log x0 Add Add sech x2 x0 -1 Add Mul Add sech x2 x0 Pow x0 -1 Mul log x0 log log x0 Pow sqrt Add 1 Mul -1 Mul Add Pow log x0 Add sech x2 x0 2 Add Pow log x0 Add sech x2 x0 2 -1 Mul Mul Pow x3 acos Add Pow log x0 Add sech x2 x0 2 log Pow x3 acos Add Pow log x0 Add sech x2 x0 2 Mul -1 Mul Mul Pow x0 2 3 Pow sqrt Add 1 Mul -1 Mul Pow x0 3 Pow x0 3 -1 