Mul x0 Add x0 Mul Pow Mul x0 Mul x0 acsch Add x5 1 cos Add x0 acot x4 Add x0 Mul 4 x0 
Add Add x0 Mul Pow Mul x0 Mul x0 acsch Add x5 1 cos Add x0 acot x4 Add x0 Mul 4 x0 Mul x0 Add 1 Add Mul Add x0 Mul 4 x0 Mul Pow Mul x0 Mul x0 acsch Add x5 1 Add cos Add x0 acot x4 -1 Add Mul cos Add x0 acot x4 Add Mul x0 acsch Add x5 1 Mul x0 acsch Add x5 1 Mul Mul Mul x0 Mul x0 acsch Add x5 1 log Mul x0 Mul x0 acsch Add x5 1 Mul -1 sin Add x0 acot x4 Mul Pow Mul x0 Mul x0 acsch Add x5 1 cos Add x0 acot x4 5 