Add Mul Add Add -2 Mul acsc sqrt x5 Pow x0 x0 Mul Mul -4 x1 pi x0 acsch atanh x1 
Add Mul x0 Mul acsc sqrt x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add Add -2 Mul acsc sqrt x5 Pow x0 x0 Mul Mul -4 x1 pi 