log Pow Mul acot Add acsc x0 csc x2 acosh x0 x0 
Mul Mul Pow Mul acot Add acsc x0 csc x2 acosh x0 Add x0 -1 Add Mul x0 Add Mul acosh x0 Mul -1 Mul Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Add acsc x0 csc x2 Add acsc x0 csc x2 -1 Mul acot Add acsc x0 csc x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acot Add acsc x0 csc x2 acosh x0 log Mul acot Add acsc x0 csc x2 acosh x0 Pow Pow Mul acot Add acsc x0 csc x2 acosh x0 x0 -1 