Add Mul x0 Add Mul Mul x5 pi x0 acsch Add cosh x0 -1 x0 
Add Add Add Mul Mul x5 pi x0 acsch Add cosh x0 -1 Mul x0 Add Mul x5 pi Mul Mul -1 sinh x0 Pow Mul Mul Add cosh x0 -1 Add cosh x0 -1 sqrt Add 1 Mul -1 Pow Mul Add cosh x0 -1 Add cosh x0 -1 -1 -1 1 