Pow Mul exp x0 2 acosh Pow Pow sin acos x4 x0 Mul Mul x4 acoth acsch E -4 
Mul Pow Mul exp x0 2 Add acosh Pow Pow sin acos x4 x0 Mul Mul x4 acoth acsch E -4 -1 Add Mul acosh Pow Pow sin acos x4 x0 Mul Mul x4 acoth acsch E -4 Mul 2 exp x0 Mul Mul Mul exp x0 2 log Mul exp x0 2 Mul Mul Pow Pow sin acos x4 x0 Add Mul Mul x4 acoth acsch E -4 -1 Mul Mul Mul x4 acoth acsch E -4 Mul Pow sin acos x4 Add x0 -1 Mul sin acos x4 log sin acos x4 Pow Mul sqrt Add Pow Pow sin acos x4 x0 Mul Mul x4 acoth acsch E -4 -1 sqrt Add 1 Pow Pow sin acos x4 x0 Mul Mul x4 acoth acsch E -4 -1 