Pow x0 Mul cosh atanh x0 Pow log Mul x0 x5 Pow x3 Mul x5 x4 
Mul Pow x0 Add Mul cosh atanh x0 Pow log Mul x0 x5 Pow x3 Mul x5 x4 -1 Add Mul cosh atanh x0 Pow log Mul x0 x5 Pow x3 Mul x5 x4 Mul Mul x0 log x0 Add Mul Pow log Mul x0 x5 Pow x3 Mul x5 x4 Mul sinh atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul cosh atanh x0 Mul Pow log Mul x0 x5 Add Pow x3 Mul x5 x4 -1 Mul Pow x3 Mul x5 x4 Mul x5 Pow Mul x0 x5 -1 