Mul x0 acsc Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 
Add acsc Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 Mul x0 Mul -1 Mul Add Mul Mul atanh x6 x0 Add Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 1 Mul Add tan sqrt x0 x0 atanh x6 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 -1 Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 Add Mul Add tan sqrt x0 x0 Mul atanh x6 x0 x5 -1 