Mul x0 tan acsch Mul 2 cos Add x0 Mul x1 x3 
Add tan acsch Mul 2 cos Add x0 Mul x1 x3 Mul x0 Mul Pow sec acsch Mul 2 cos Add x0 Mul x1 x3 2 Mul Mul -1 Mul 2 Mul -1 sin Add x0 Mul x1 x3 Pow Mul Mul Mul 2 cos Add x0 Mul x1 x3 Mul 2 cos Add x0 Mul x1 x3 sqrt Add 1 Mul -1 Pow Mul Mul 2 cos Add x0 Mul x1 x3 Mul 2 cos Add x0 Mul x1 x3 -1 -1 