Pow acos Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 x0 
Mul Pow acos Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 Add x0 -1 Add Mul x0 Mul -1 Mul Add Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 Mul x0 Mul Pow x0 Add acosh Mul acoth acsc x1 Mul x0 x5 -1 Add acosh Mul acoth acsc x1 Mul x0 x5 Mul Mul x0 log x0 Mul Mul acoth acsc x1 x5 Pow Mul sqrt Add Mul acoth acsc x1 Mul x0 x5 -1 sqrt Add 1 Mul acoth acsc x1 Mul x0 x5 -1 Pow sqrt Add 1 Mul -1 Mul Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 -1 Mul acos Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 log acos Mul x0 Pow x0 acosh Mul acoth acsc x1 Mul x0 x5 