Add Mul -2 cos log Mul Mul csch atanh Add x0 Pow acosh x0 Add x4 sin cot x0 4 x7 x0 
Add Mul -2 Mul Mul -1 sin log Mul Mul csch atanh Add x0 Pow acosh x0 Add x4 sin cot x0 4 x7 Mul Mul x7 Mul 4 Mul Mul Mul -1 coth atanh Add x0 Pow acosh x0 Add x4 sin cot x0 csch atanh Add x0 Pow acosh x0 Add x4 sin cot x0 Mul Add 1 Mul Pow acosh x0 Add Add x4 sin cot x0 -1 Add Mul Add x4 sin cot x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul cos cot x0 Mul -1 Pow csc x0 2 Pow Add 1 Mul -1 Mul Add x0 Pow acosh x0 Add x4 sin cot x0 Add x0 Pow acosh x0 Add x4 sin cot x0 -1 Pow Mul Mul csch atanh Add x0 Pow acosh x0 Add x4 sin cot x0 4 x7 -1 1 