Add Mul x0 3 tan Pow sinh x7 Mul x0 Mul Add cot asech x0 x0 x1 
Add 3 Mul Pow sec Pow sinh x7 Mul x0 Mul Add cot asech x0 x0 x1 2 Mul Pow sinh x7 Add Mul x0 Mul Add cot asech x0 x0 x1 -1 Mul Mul sinh x7 log sinh x7 Add Mul Add cot asech x0 x0 x1 Mul x0 Mul x1 Add Mul Mul -1 Pow csc asech x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 1 