Add Mul Add -0.250000000000000 Mul atanh x0 csc x0 x3 Mul x0 Add Add Pow -5 pi acosh x0 x0 
Add Mul x3 Add Mul csc x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Mul -1 cot x0 csc x0 Add Add Add Pow -5 pi acosh x0 x0 Mul x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 