Pow Add log atanh Mul E sec Add pi Mul x0 acos acoth atanh x3 x2 1.38629436111989 
Mul Pow Add log atanh Mul E sec Add pi Mul x0 acos acoth atanh x3 x2 0.386294361119891 Mul 1.38629436111989 Mul Mul Mul E Mul Mul tan Add pi Mul x0 acos acoth atanh x3 sec Add pi Mul x0 acos acoth atanh x3 acos acoth atanh x3 Pow Add 1 Mul -1 Mul Mul E sec Add pi Mul x0 acos acoth atanh x3 Mul E sec Add pi Mul x0 acos acoth atanh x3 -1 Pow atanh Mul E sec Add pi Mul x0 acos acoth atanh x3 -1 