asinh Mul Mul Mul x0 x7 Pow cot x0 sec x0 x3 
Mul Mul x3 Add Mul Pow cot x0 sec x0 x7 Mul Mul x0 x7 Mul Pow cot x0 Add sec x0 -1 Add Mul sec x0 Mul -1 Pow csc x0 2 Mul Mul cot x0 log cot x0 Mul tan x0 sec x0 Pow sqrt Add 1 Mul Mul Mul Mul x0 x7 Pow cot x0 sec x0 x3 Mul Mul Mul x0 x7 Pow cot x0 sec x0 x3 -1 