Add Mul Mul x0 4 x0 tanh Add x4 acoth Pow acos x5 sec Add x0 x3 
Add Add Mul x0 4 Mul x0 4 Mul Pow sech Add x4 acoth Pow acos x5 sec Add x0 x3 2 Mul Mul Pow acos x5 Add sec Add x0 x3 -1 Mul Mul acos x5 log acos x5 Mul tan Add x0 x3 sec Add x0 x3 Pow Add 1 Mul -1 Mul Pow acos x5 sec Add x0 x3 Pow acos x5 sec Add x0 x3 -1 