Pow sec acosh Mul Mul acos pi Mul x0 tanh atanh pi x0 x1 
Mul Pow sec acosh Mul Mul acos pi Mul x0 tanh atanh pi x0 Add x1 -1 Mul x1 Mul Mul tan acosh Mul Mul acos pi Mul x0 tanh atanh pi x0 sec acosh Mul Mul acos pi Mul x0 tanh atanh pi x0 Mul Add Mul x0 Mul acos pi tanh atanh pi Mul acos pi Mul x0 tanh atanh pi Pow Mul sqrt Add Mul Mul acos pi Mul x0 tanh atanh pi x0 -1 sqrt Add 1 Mul Mul acos pi Mul x0 tanh atanh pi x0 -1 