Mul atanh sinh sinh Pow x0 Add Add Mul x0 Mul -2 x0 x0 6 4 
Mul 4 Mul Mul cosh sinh Pow x0 Add Add Mul x0 Mul -2 x0 x0 6 Mul cosh Pow x0 Add Add Mul x0 Mul -2 x0 x0 6 Mul Pow x0 Add Add Add Mul x0 Mul -2 x0 x0 6 -1 Add Add Add Mul x0 Mul -2 x0 x0 6 Mul Mul x0 log x0 Add Add Mul -2 x0 Mul x0 -2 1 Pow Add 1 Mul -1 Mul sinh sinh Pow x0 Add Add Mul x0 Mul -2 x0 x0 6 sinh sinh Pow x0 Add Add Mul x0 Mul -2 x0 x0 6 -1 