acosh tan Mul Add 1 atan Mul x0 Mul x0 Mul asech Add 1 x0 x0 Pow 2 cot x4 
Mul Mul Pow sec Mul Add 1 atan Mul x0 Mul x0 Mul asech Add 1 x0 x0 Pow 2 cot x4 2 Mul Pow 2 cot x4 Mul Add Mul x0 Mul asech Add 1 x0 x0 Mul x0 Add Mul asech Add 1 x0 x0 Mul x0 Add Mul x0 Pow Mul Mul Add 1 x0 Add 1 x0 sqrt Add 1 Mul -1 Pow Mul Add 1 x0 Add 1 x0 -1 -1 asech Add 1 x0 Pow Add 1 Mul Mul x0 Mul x0 Mul asech Add 1 x0 x0 Mul x0 Mul x0 Mul asech Add 1 x0 x0 -1 Pow Mul sqrt Add tan Mul Add 1 atan Mul x0 Mul x0 Mul asech Add 1 x0 x0 Pow 2 cot x4 -1 sqrt Add 1 tan Mul Add 1 atan Mul x0 Mul x0 Mul asech Add 1 x0 x0 Pow 2 cot x4 -1 