Mul sec acoth Mul x0 -5 Add x3 acosh Mul 64 x0 
Add Mul Add x3 acosh Mul 64 x0 Mul Mul tan acoth Mul x0 -5 sec acoth Mul x0 -5 Mul -5 Pow Add 1 Mul -1 Mul Mul x0 -5 Mul x0 -5 -1 Mul sec acoth Mul x0 -5 Mul 64 Pow Mul sqrt Add Mul 64 x0 -1 sqrt Add 1 Mul 64 x0 -1 