Pow sec Pow atan acosh x2 acos Add x0 cot x0 Mul x6 4 
Mul Pow sec Pow atan acosh x2 acos Add x0 cot x0 Add Mul x6 4 -1 Mul Mul x6 4 Mul Mul tan Pow atan acosh x2 acos Add x0 cot x0 sec Pow atan acosh x2 acos Add x0 cot x0 Mul Pow atan acosh x2 Add acos Add x0 cot x0 -1 Mul Mul atan acosh x2 log atan acosh x2 Mul -1 Mul Add 1 Mul -1 Pow csc x0 2 Pow sqrt Add 1 Mul -1 Mul Add x0 cot x0 Add x0 cot x0 -1 