Mul Pow acsch Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 Mul x7 x0 Add asinh Mul acosh x0 x0 x0 
Add Mul Add asinh Mul acosh x0 x0 x0 Mul Pow acsch Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 Add Mul x7 x0 -1 Add Mul Mul x7 x0 Mul Mul -1 Mul -4 Add Mul x0 acos Mul Mul x0 sqrt E x1 Mul x0 Add acos Mul Mul x0 sqrt E x1 Mul x0 Mul -1 Mul Mul x1 sqrt E Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 sqrt E x1 Mul Mul x0 sqrt E x1 -1 Pow Mul Mul Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 sqrt Add 1 Mul -1 Pow Mul Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 -1 -1 Mul Mul acsch Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 log acsch Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 x7 Mul Pow acsch Mul Mul x0 Mul x0 acos Mul Mul x0 sqrt E x1 -4 Mul x7 x0 Add Mul Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Pow sqrt Add 1 Mul Mul acosh x0 x0 Mul acosh x0 x0 -1 1 