cot atanh Add Add Mul x0 sec acos acosh Pow pi Add x0 pi x0 Add x0 atanh x1 
Mul Mul -1 Pow csc atanh Add Add Mul x0 sec acos acosh Pow pi Add x0 pi x0 Add x0 atanh x1 2 Mul Add Add Add sec acos acosh Pow pi Add x0 pi Mul x0 Mul Mul tan acos acosh Pow pi Add x0 pi sec acos acosh Pow pi Add x0 pi Mul -1 Mul Mul Mul Pow pi Add Add x0 pi -1 Mul pi log pi Pow Mul sqrt Add Pow pi Add x0 pi -1 sqrt Add 1 Pow pi Add x0 pi -1 Pow sqrt Add 1 Mul -1 Mul acosh Pow pi Add x0 pi acosh Pow pi Add x0 pi -1 1 1 Pow Add 1 Mul -1 Mul Add Add Mul x0 sec acos acosh Pow pi Add x0 pi x0 Add x0 atanh x1 Add Add Mul x0 sec acos acosh Pow pi Add x0 pi x0 Add x0 atanh x1 -1 