Pow x4 sec Add Mul x0 x0 Pow acoth Mul Pow x0 Add x0 acos x0 x0 x6 
Mul Pow x4 Add sec Add Mul x0 x0 Pow acoth Mul Pow x0 Add x0 acos x0 x0 x6 -1 Mul Mul x4 log x4 Mul Mul tan Add Mul x0 x0 Pow acoth Mul Pow x0 Add x0 acos x0 x0 x6 sec Add Mul x0 x0 Pow acoth Mul Pow x0 Add x0 acos x0 x0 x6 Add Add x0 x0 Mul Pow acoth Mul Pow x0 Add x0 acos x0 x0 Add x6 -1 Mul x6 Mul Add Mul x0 Mul Pow x0 Add Add x0 acos x0 -1 Add Add x0 acos x0 Mul Mul x0 log x0 Add 1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow x0 Add x0 acos x0 Pow Add 1 Mul -1 Mul Mul Pow x0 Add x0 acos x0 x0 Mul Pow x0 Add x0 acos x0 x0 -1 