Add Mul asech cos Mul coth Mul x1 acosh x2 4 Mul Pow Add x0 x0 Pow pi pi x0 Mul x0 4 
Add Mul asech cos Mul coth Mul x1 acosh x2 4 Add Mul x0 Mul Pow Add x0 x0 Add Pow pi pi -1 Mul Pow pi pi 2 Pow Add x0 x0 Pow pi pi 4 