tan Add acoth x0 Pow acot Pow x0 asech x2 0.785398163397448 
Mul Pow sec Add acoth x0 Pow acot Pow x0 asech x2 0.785398163397448 2 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow acot Pow x0 asech x2 -0.214601836602552 Mul 0.785398163397448 Mul -1 Mul Mul Pow x0 Add asech x2 -1 asech x2 Pow Add 1 Mul Pow x0 asech x2 Pow x0 asech x2 -1 