Pow x3 Pow Add x0 cosh x0 Mul -3 Pow Mul x1 3 Mul Pow sin sqrt atanh x2 x3 x0 
Mul Pow x3 Add Pow Add x0 cosh x0 Mul -3 Pow Mul x1 3 Mul Pow sin sqrt atanh x2 x3 x0 -1 Mul Mul x3 log x3 Mul Pow Add x0 cosh x0 Add Mul -3 Pow Mul x1 3 Mul Pow sin sqrt atanh x2 x3 x0 -1 Add Mul Mul -3 Pow Mul x1 3 Mul Pow sin sqrt atanh x2 x3 x0 Add 1 sinh x0 Mul Mul Add x0 cosh x0 log Add x0 cosh x0 Mul -3 Mul Pow Mul x1 3 Add Mul Pow sin sqrt atanh x2 x3 x0 -1 Mul Mul Mul x1 3 log Mul x1 3 Pow sin sqrt atanh x2 x3 