acosh Mul Mul -5 x0 Mul pi acsch tan Mul Mul x0 x6 4 
Mul Add Mul Mul pi acsch tan Mul Mul x0 x6 4 -5 Mul Mul -5 x0 Mul pi Mul Mul -1 Mul Pow sec Mul Mul x0 x6 4 2 Mul 4 x6 Pow Mul Mul tan Mul Mul x0 x6 4 tan Mul Mul x0 x6 4 sqrt Add 1 Mul -1 Pow Mul tan Mul Mul x0 x6 4 tan Mul Mul x0 x6 4 -1 -1 Pow Mul sqrt Add Mul Mul -5 x0 Mul pi acsch tan Mul Mul x0 x6 4 -1 sqrt Add 1 Mul Mul -5 x0 Mul pi acsch tan Mul Mul x0 x6 4 -1 