Add x0 Pow acos Mul x0 tanh pi x0 
Add 1 Mul Pow acos Mul x0 tanh pi Add x0 -1 Add Mul x0 Mul -1 Mul tanh pi Pow sqrt Add 1 Mul -1 Mul Mul x0 tanh pi Mul x0 tanh pi -1 Mul acos Mul x0 tanh pi log acos Mul x0 tanh pi 