Y mul pow x1 c mul pow cos mul c sqrt x3 c mul pow cos cos mul x1 mul x1 pow cos mul c sqrt x3 c c mul add c pow tan mul x1 pow cos cos mul x1 mul x1 pow cos mul c sqrt x3 c c c mul sin mul x1 mul x1 pow cos mul c sqrt x3 c sin cos mul x1 mul x1 pow cos mul c sqrt x3 c