Mul asech Add 0.0134752822213046 x0 Mul acot cos x5 Mul sqrt x0 Mul x0 4 
Add Mul Mul acot cos x5 Mul sqrt x0 Mul x0 4 Pow Mul Mul Add 0.0134752822213046 x0 Add 0.0134752822213046 x0 sqrt Add 1 Mul -1 Pow Mul Add 0.0134752822213046 x0 Add 0.0134752822213046 x0 -1 -1 Mul asech Add 0.0134752822213046 x0 Mul acot cos x5 Add Mul Mul x0 4 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 4 