Mul x0 Pow asec Mul -4 acosh acsch Mul Mul x3 x0 3 -4 
Add Pow asec Mul -4 acosh acsch Mul Mul x3 x0 3 -4 Mul x0 Mul Pow asec Mul -4 acosh acsch Mul Mul x3 x0 3 5 Mul -4 Mul Mul -4 Mul Mul Mul -1 Mul 3 x3 Pow Mul Mul Mul Mul x3 x0 3 Mul Mul x3 x0 3 sqrt Add 1 Mul -1 Pow Mul Mul Mul x3 x0 3 Mul Mul x3 x0 3 -1 -1 Pow Mul sqrt Add acsch Mul Mul x3 x0 3 -1 sqrt Add 1 acsch Mul Mul x3 x0 3 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul -4 acosh acsch Mul Mul x3 x0 3 Mul -4 acosh acsch Mul Mul x3 x0 3 -1 Mul -4 acosh acsch Mul Mul x3 x0 3 Mul -4 acosh acsch Mul Mul x3 x0 3 -1 