Add Mul x6 acoth tan atan Pow sech x0 Add acos x0 x4 Mul sqrt x0 x0 
Add Mul x6 Mul Mul Pow sec atan Pow sech x0 Add acos x0 x4 2 Mul Mul Pow sech x0 Add Add acos x0 x4 -1 Add Mul Add acos x0 x4 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow sech x0 Add acos x0 x4 Pow sech x0 Add acos x0 x4 -1 Pow Add 1 Mul -1 Mul tan atan Pow sech x0 Add acos x0 x4 tan atan Pow sech x0 Add acos x0 x4 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 sqrt x0 