Pow Mul x1 E Mul asinh sinh x0 Pow exp x0 4 
Mul Pow Mul x1 E Add Mul asinh sinh x0 Pow exp x0 4 -1 Mul Mul Mul x1 E log Mul x1 E Add Mul Pow exp x0 4 Mul cosh x0 Pow sqrt Add 1 Mul sinh x0 sinh x0 -1 Mul asinh sinh x0 Mul Pow exp x0 3 Mul 4 exp x0 