Pow Add exp x0 x0 Pow Pow 2 Pow acsc x3 acosh pi acot Mul x4 x0 
Mul Pow Add exp x0 x0 Add Pow Pow 2 Pow acsc x3 acosh pi acot Mul x4 x0 -1 Add Mul Pow Pow 2 Pow acsc x3 acosh pi acot Mul x4 x0 Add exp x0 1 Mul Mul Add exp x0 x0 log Add exp x0 x0 Mul Pow Pow 2 Pow acsc x3 acosh pi Add acot Mul x4 x0 -1 Mul Mul Pow 2 Pow acsc x3 acosh pi log Pow 2 Pow acsc x3 acosh pi Mul -1 Mul x4 Pow Add 1 Mul Mul x4 x0 Mul x4 x0 -1 