Add Mul x0 acsch Add sinh csch log pi x0 Mul Add x3 x0 Pow x5 4 
Add Add acsch Add sinh csch log pi x0 Mul x0 Mul -1 Pow Mul Mul Add sinh csch log pi x0 Add sinh csch log pi x0 sqrt Add 1 Mul -1 Pow Mul Add sinh csch log pi x0 Add sinh csch log pi x0 -1 -1 Pow x5 4 