Add x0 Pow Mul -3 x7 Add Pow x0 acos x0 sec Mul Mul x0 -3 Mul 0.250000000000000 Pow Mul x0 acoth x5 x4 
Add 1 Mul Pow Mul -3 x7 Add Add Pow x0 acos x0 sec Mul Mul x0 -3 Mul 0.250000000000000 Pow Mul x0 acoth x5 x4 -1 Mul Mul Mul -3 x7 log Mul -3 x7 Add Mul Pow x0 Add acos x0 -1 Add acos x0 Mul Mul x0 log x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul tan Mul Mul x0 -3 Mul 0.250000000000000 Pow Mul x0 acoth x5 x4 sec Mul Mul x0 -3 Mul 0.250000000000000 Pow Mul x0 acoth x5 x4 Add Mul Mul 0.250000000000000 Pow Mul x0 acoth x5 x4 -3 Mul Mul x0 -3 Mul 0.250000000000000 Mul Pow Mul x0 acoth x5 Add x4 -1 Mul x4 acoth x5 