Mul cbrt log sinh Add log x0 x0 atanh x1 
Mul atanh x1 Mul Pow Mul Mul 3 cbrt log sinh Add log x0 x0 cbrt log sinh Add log x0 x0 -1 Mul Mul cosh Add log x0 x0 Add Pow x0 -1 1 Pow sinh Add log x0 x0 -1 