Add Mul -1 Mul x0 pi Mul tan x5 Pow asin x0 log coth Pow x7 Add x4 cos atanh x3 
Add Mul -1 pi Mul tan x5 Mul Pow asin x0 Add log coth Pow x7 Add x4 cos atanh x3 -1 Mul log coth Pow x7 Add x4 cos atanh x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 