Mul Pow Pow acsc pi Add Add asech x1 x0 sinh Mul x4 x0 Mul x0 x4 -1 
Mul -1 Mul Pow Pow acsc pi Add Add asech x1 x0 sinh Mul x4 x0 Add Mul x0 x4 -1 Add Mul Mul x0 x4 Mul Pow acsc pi Add Add Add asech x1 x0 sinh Mul x4 x0 -1 Mul Mul acsc pi log acsc pi Add 1 Mul cosh Mul x4 x0 x4 Mul Mul Pow acsc pi Add Add asech x1 x0 sinh Mul x4 x0 log Pow acsc pi Add Add asech x1 x0 sinh Mul x4 x0 x4 