atanh Pow Pow sec x0 acos x2 Pow Pow log x0 x4 acosh Add Mul Mul x0 atanh x1 x0 x0 
Mul Mul Pow Pow sec x0 acos x2 Add Pow Pow log x0 x4 acosh Add Mul Mul x0 atanh x1 x0 x0 -1 Add Mul Pow Pow log x0 x4 acosh Add Mul Mul x0 atanh x1 x0 x0 Mul Pow sec x0 Add acos x2 -1 Mul acos x2 Mul tan x0 sec x0 Mul Mul Pow sec x0 acos x2 log Pow sec x0 acos x2 Mul Pow Pow log x0 x4 Add acosh Add Mul Mul x0 atanh x1 x0 x0 -1 Add Mul acosh Add Mul Mul x0 atanh x1 x0 x0 Mul Pow log x0 Add x4 -1 Mul x4 Pow x0 -1 Mul Mul Pow log x0 x4 log Pow log x0 x4 Mul Add Add Mul x0 atanh x1 Mul x0 atanh x1 1 Pow Mul sqrt Add Add Mul Mul x0 atanh x1 x0 x0 -1 sqrt Add 1 Add Mul Mul x0 atanh x1 x0 x0 -1 Pow Add 1 Mul -1 Mul Pow Pow sec x0 acos x2 Pow Pow log x0 x4 acosh Add Mul Mul x0 atanh x1 x0 x0 Pow Pow sec x0 acos x2 Pow Pow log x0 x4 acosh Add Mul Mul x0 atanh x1 x0 x0 -1 