Add Add Mul x2 acot sqrt Mul -1 sec x0 sqrt Add x0 acosh Pow pi Mul Add Add x0 x0 x0 csch pi x0 
Add Add Mul x2 Mul -1 Mul Mul Pow Mul 2 sqrt Mul -1 sec x0 -1 Mul -1 Mul tan x0 sec x0 Pow Add 1 Mul sqrt Mul -1 sec x0 sqrt Mul -1 sec x0 -1 Mul Pow Mul 2 sqrt Add x0 acosh Pow pi Mul Add Add x0 x0 x0 csch pi -1 Add 1 Mul Mul Pow pi Add Mul Add Add x0 x0 x0 csch pi -1 Mul Mul pi log pi Mul csch pi 3 Pow Mul sqrt Add Pow pi Mul Add Add x0 x0 x0 csch pi -1 sqrt Add 1 Pow pi Mul Add Add x0 x0 x0 csch pi -1 1 