Mul Mul x4 Add 3 Add sqrt atanh x0 2 acosh Add Mul x0 Pow cot x6 Pow x0 tan acosh x5 -3 
Add Mul acosh Add Mul x0 Pow cot x6 Pow x0 tan acosh x5 -3 Mul x4 Mul Pow Mul 2 sqrt atanh x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x4 Add 3 Add sqrt atanh x0 2 Mul Add Pow cot x6 Pow x0 tan acosh x5 Mul x0 Mul Pow cot x6 Add Pow x0 tan acosh x5 -1 Mul Mul cot x6 log cot x6 Mul Pow x0 Add tan acosh x5 -1 tan acosh x5 Pow Mul sqrt Add Add Mul x0 Pow cot x6 Pow x0 tan acosh x5 -3 -1 sqrt Add 1 Add Mul x0 Pow cot x6 Pow x0 tan acosh x5 -3 -1 