Mul Add x0 Mul x6 Add sec Pow Mul Mul x0 cot x7 Mul x0 acoth acosh x0 x0 3 asech x7 
Mul asech x7 Add 1 Mul x6 Mul Mul tan Pow Mul Mul x0 cot x7 Mul x0 acoth acosh x0 x0 sec Pow Mul Mul x0 cot x7 Mul x0 acoth acosh x0 x0 Mul Pow Mul Mul x0 cot x7 Mul x0 acoth acosh x0 Add x0 -1 Add Mul x0 Add Mul Mul x0 acoth acosh x0 cot x7 Mul Mul x0 cot x7 Add acoth acosh x0 Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul acosh x0 acosh x0 -1 Mul Mul Mul x0 cot x7 Mul x0 acoth acosh x0 log Mul Mul x0 cot x7 Mul x0 acoth acosh x0 