Mul Mul x0 tan Add x0 Mul x0 Mul acot sinh x3 x0 x0 
Add Mul x0 Add tan Add x0 Mul x0 Mul acot sinh x3 x0 Mul x0 Mul Pow sec Add x0 Mul x0 Mul acot sinh x3 x0 2 Add 1 Add Mul acot sinh x3 x0 Mul x0 acot sinh x3 Mul x0 tan Add x0 Mul x0 Mul acot sinh x3 x0 