acosh Pow Add -2 Pow asech csc sqrt x0 4 acosh x3 
Mul Mul Pow Add -2 Pow asech csc sqrt x0 4 Add acosh x3 -1 Mul acosh x3 Mul Pow asech csc sqrt x0 3 Mul 4 Mul Mul Mul Mul -1 cot sqrt x0 csc sqrt x0 Pow Mul 2 sqrt x0 -1 Pow Mul Mul csc sqrt x0 csc sqrt x0 sqrt Add 1 Mul -1 Pow Mul csc sqrt x0 csc sqrt x0 -1 -1 Pow Mul sqrt Add Pow Add -2 Pow asech csc sqrt x0 4 acosh x3 -1 sqrt Add 1 Pow Add -2 Pow asech csc sqrt x0 4 acosh x3 -1 