Add cosh log x0 sec asec acsch Mul x0 5 
Add Mul sinh log x0 Pow x0 -1 Mul Mul tan asec acsch Mul x0 5 sec asec acsch Mul x0 5 Mul Mul 4 Pow Mul Mul Mul x0 5 Mul x0 5 sqrt Add 1 Mul -1 Pow Mul Mul x0 5 Mul x0 5 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acsch Mul x0 5 acsch Mul x0 5 -1 acsch Mul x0 5 acsch Mul x0 5 -1 