Add x0 Mul Add Pow x1 x0 Add cos x0 Mul cos x0 pi Mul x0 Pow acos acoth x0 asinh x3 
Add 1 Add Mul Mul x0 Pow acos acoth x0 asinh x3 Add Mul Pow x1 Add x0 -1 Mul x1 log x1 Add Mul -1 sin x0 Mul pi Mul -1 sin x0 Mul Add Pow x1 x0 Add cos x0 Mul cos x0 pi Add Pow acos acoth x0 asinh x3 Mul x0 Mul Pow acos acoth x0 Add asinh x3 -1 Mul asinh x3 Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 