log Mul Mul x0 2 Pow Mul asinh log x0 cot x5 sqrt Mul x0 2 
Mul Add Mul Pow Mul asinh log x0 cot x5 sqrt Mul x0 2 2 Mul Mul x0 2 Mul Pow Mul asinh log x0 cot x5 Add sqrt Mul x0 2 -1 Add Mul sqrt Mul x0 2 Mul cot x5 Mul Pow x0 -1 Pow sqrt Add 1 Mul log x0 log x0 -1 Mul Mul Mul asinh log x0 cot x5 log Mul asinh log x0 cot x5 Mul Pow Mul 2 sqrt Mul x0 2 -1 2 Pow Mul Mul x0 2 Pow Mul asinh log x0 cot x5 sqrt Mul x0 2 -1 