Add Add acoth atanh Pow x0 x6 asech E Add Mul Pow acosh Pow pi Add -1 x0 -1 acot x7 x0 
Add Mul Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul -1 Mul Pow x0 x6 Pow x0 x6 -1 Pow Add 1 Mul -1 Mul atanh Pow x0 x6 atanh Pow x0 x6 -1 Add Mul acot x7 Mul Pow acosh Pow pi Add -1 x0 2 Mul -1 Mul Mul Pow pi Add Add -1 x0 -1 Mul pi log pi Pow Mul sqrt Add Pow pi Add -1 x0 -1 sqrt Add 1 Pow pi Add -1 x0 -1 1 