Add 1.44224957030741 Mul csc x0 log Mul Mul acosh x7 4 csc x0 
Add Mul log Mul Mul acosh x7 4 csc x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul Mul Mul acosh x7 4 Mul Mul -1 cot x0 csc x0 Pow Mul Mul acosh x7 4 csc x0 -1 