Pow acosh cosh sqrt Pow x5 x0 Add 1 Mul Mul x0 0.0625000000000000 x0 
Mul Pow acosh cosh sqrt Pow x5 x0 Add Add 1 Mul Mul x0 0.0625000000000000 x0 -1 Add Mul Add 1 Mul Mul x0 0.0625000000000000 x0 Mul Mul sinh sqrt Pow x5 x0 Mul Pow Mul 2 sqrt Pow x5 x0 -1 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Mul sqrt Add cosh sqrt Pow x5 x0 -1 sqrt Add 1 cosh sqrt Pow x5 x0 -1 Mul Mul acosh cosh sqrt Pow x5 x0 log acosh cosh sqrt Pow x5 x0 Add Mul x0 0.0625000000000000 Mul x0 0.0625000000000000 