Curve intersection, scale width based on ribbon orientation

Time bar (total: 6.2s)

analyze711.0ms (11.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.8%99.2%0%0%0%0
0%0%0.8%99.2%0%0%0%1
0%0%0.8%99.2%0%0%0%2
0%0%0.8%99.2%0%0%0%3
0%0%0.8%99.2%0%0%0%4
0%0%0.8%99.2%0%0%0%5
33.3%0.2%0.4%99.4%0%0%0%6
33.3%0.2%0.4%99.4%0%0%0%7
33.3%0.2%0.4%99.4%0%0%0%8
33.3%0.2%0.4%99.4%0%0%0%9
60%0.3%0.2%99.5%0%0%0%10
60%0.3%0.2%99.5%0%0%0%11
60%0.3%0.2%99.5%0%0%0%12
Compiler

Compiled 62 to 45 computations (27.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 249.0ms
Operation ival-mult, time spent: 88.0ms, 35.0% of total-time
Operation ival-<=, time spent: 61.0ms, 25.0% of total-time
Operation ival-sin, time spent: 31.0ms, 12.0% of total-time
Operation ival-div, time spent: 23.0ms, 9.0% of total-time
Operation ival-and, time spent: 11.0ms, 4.0% of total-time
Operation ival-pi, time spent: 10.0ms, 4.0% of total-time
Operation ival-sub, time spent: 9.0ms, 4.0% of total-time
Operation const, time spent: 8.0ms, 3.0% of total-time
Operation ival-add, time spent: 7.0ms, 3.0% of total-time

sample5.1s (82.1%)

Results
3.6s8255×256valid
931.0ms2178×256precondition
0.0ms1×256valid
Precisions
Click to see histograms. Total time spent on operations: 2.4s
Operation ival-sin, time spent: 734.0ms, 31.0% of total-time
Operation ival-<=, time spent: 522.0ms, 22.0% of total-time
Operation ival-mult, time spent: 471.0ms, 20.0% of total-time
Operation ival-div, time spent: 290.0ms, 12.0% of total-time
Operation ival-pi, time spent: 86.0ms, 4.0% of total-time
Operation ival-sub, time spent: 84.0ms, 4.0% of total-time
Operation ival-and, time spent: 84.0ms, 4.0% of total-time
Operation const, time spent: 70.0ms, 3.0% of total-time
Operation ival-add, time spent: 56.0ms, 2.0% of total-time
Bogosity

preprocess395.0ms (6.4%)

Algorithm
1×egg-herbie
Rules
755×fma-neg
545×fma-define
506×times-frac
470×unsub-neg
316×distribute-lft-neg-out
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01151608
13041396
28281320
324121170
445951170
577891170
Stop Event
1×node limit
Calls
Call 1
Inputs
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 u)) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 (neg.f32 u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i)) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n1_i)))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n1_i)))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 u)) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 (neg.f32 u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i)))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i)) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i)))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n1_i))))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) normAngle) u)) (/.f32 #s(literal 1 binary32) (sin.f32 u))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 normAngle u)) (/.f32 #s(literal 1 binary32) (sin.f32 u))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n0_i))) normAngle) (*.f32 (*.f32 (sin.f32 (*.f32 u n0_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n0_i))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n1_i))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u n1_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n1_i))) normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) n0_i) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) u) (*.f32 (*.f32 (sin.f32 (*.f32 n0_i normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) n1_i) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 n1_i normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) u))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i))
Outputs
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n0_i (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n0_i (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n0_i (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 u)) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 (neg.f32 u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(fma.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) (neg.f32 u))))) n0_i (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 n0_i (/.f32 (sin.f32 (*.f32 normAngle (+.f32 #s(literal 1 binary32) u))) (sin.f32 normAngle)) (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) (neg.f32 n1_i)))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 #s(literal 1 binary32) u)))) (*.f32 (sin.f32 (*.f32 u normAngle)) (neg.f32 n1_i))))
(/.f32 (-.f32 (*.f32 n0_i (sin.f32 (fma.f32 u normAngle normAngle))) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i)) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i (/.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (neg.f32 n0_i)) (sin.f32 normAngle)))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i) (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32)))))))
(/.f32 (fma.f32 (sin.f32 (*.f32 u normAngle)) n1_i (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32)))))) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n1_i)))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (neg.f32 n1_i))))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n0_i (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) (neg.f32 n1_i)))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (-.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (-.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(/.f32 (neg.f32 (fma.f32 (sin.f32 (*.f32 u normAngle)) n1_i (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32))))))) (sin.f32 normAngle))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 (neg.f32 normAngle)))) n1_i)))
(neg.f32 (fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (/.f32 #s(literal 1 binary32) (neg.f32 (sin.f32 normAngle)))) n0_i (*.f32 n1_i (/.f32 (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) #s(literal 1 binary32)) (neg.f32 (sin.f32 normAngle))))))
(neg.f32 (fma.f32 n0_i (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) (neg.f32 normAngle))) (neg.f32 (sin.f32 normAngle))) (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i)))
(neg.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i))))
(neg.f32 (/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle)))
(/.f32 (fma.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32)))) (*.f32 (sin.f32 (*.f32 u normAngle)) (neg.f32 n1_i))) (sin.f32 normAngle))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) (neg.f32 u)) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 (neg.f32 u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i)))
(neg.f32 (fma.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) (neg.f32 u))))) n0_i (*.f32 (sin.f32 (*.f32 u (neg.f32 normAngle))) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i))))
(-.f32 (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i) (*.f32 n0_i (/.f32 (sin.f32 (*.f32 normAngle (+.f32 #s(literal 1 binary32) u))) (sin.f32 normAngle))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (-.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i) (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 #s(literal 1 binary32) u))))))
(/.f32 (-.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i) (*.f32 n0_i (sin.f32 (fma.f32 u normAngle normAngle)))) (sin.f32 normAngle))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i)) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i)))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (neg.f32 n1_i))))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n0_i (*.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) (neg.f32 n1_i)))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (-.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (-.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
(/.f32 (neg.f32 (fma.f32 (sin.f32 (*.f32 u normAngle)) n1_i (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32))))))) (sin.f32 normAngle))
(neg.f32 (+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n1_i))))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) (neg.f32 n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) n1_i)))
(fma.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)) n1_i (/.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (neg.f32 n0_i)) (sin.f32 normAngle)))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i) (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32)))))))
(/.f32 (fma.f32 (sin.f32 (*.f32 u normAngle)) n1_i (*.f32 n0_i (sin.f32 (*.f32 normAngle (+.f32 u #s(literal -1 binary32)))))) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) normAngle) u)) (/.f32 #s(literal 1 binary32) (sin.f32 u))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 normAngle u)) (/.f32 #s(literal 1 binary32) (sin.f32 u))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 u (-.f32 #s(literal 1 binary32) normAngle))) (/.f32 #s(literal 1 binary32) (sin.f32 u))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 u)) n1_i)))
(fma.f32 n0_i (/.f32 (sin.f32 (*.f32 u (-.f32 #s(literal 1 binary32) normAngle))) (sin.f32 u)) (*.f32 n1_i (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 u))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 u)) (+.f32 (*.f32 n0_i (sin.f32 (*.f32 u (-.f32 #s(literal 1 binary32) normAngle)))) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)))
(/.f32 (fma.f32 n0_i (sin.f32 (*.f32 u (-.f32 #s(literal 1 binary32) normAngle))) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 u))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n0_i))) normAngle) (*.f32 (*.f32 (sin.f32 (*.f32 u n0_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n0_i))) n1_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n0_i))) normAngle (*.f32 n1_i (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 n0_i)) (sin.f32 (*.f32 u n0_i)))))
(fma.f32 normAngle (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i)) (sin.f32 n0_i)) (*.f32 n1_i (/.f32 (sin.f32 (*.f32 u n0_i)) (sin.f32 n0_i))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 n0_i)) (+.f32 (*.f32 normAngle (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i))) (*.f32 n1_i (sin.f32 (*.f32 u n0_i)))))
(/.f32 (fma.f32 normAngle (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n0_i)) (*.f32 n1_i (sin.f32 (*.f32 u n0_i)))) (sin.f32 n0_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n1_i))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u n1_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n1_i))) normAngle))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i)) (/.f32 #s(literal 1 binary32) (sin.f32 n1_i))) n0_i (*.f32 normAngle (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 n1_i)) (sin.f32 (*.f32 u n1_i)))))
(fma.f32 normAngle (/.f32 (sin.f32 (*.f32 u n1_i)) (sin.f32 n1_i)) (*.f32 n0_i (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i)) (sin.f32 n1_i))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 n1_i)) (+.f32 (*.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i))) (*.f32 normAngle (sin.f32 (*.f32 u n1_i)))))
(/.f32 (fma.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) n1_i)) (*.f32 normAngle (sin.f32 (*.f32 u n1_i)))) (sin.f32 n1_i))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) n0_i) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) u) (*.f32 (*.f32 (sin.f32 (*.f32 n0_i normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))
(fma.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n0_i)))) u (*.f32 n1_i (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle n0_i)))))
(fma.f32 (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n0_i))) (/.f32 u (sin.f32 normAngle)) (*.f32 n1_i (/.f32 (sin.f32 (*.f32 normAngle n0_i)) (sin.f32 normAngle))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 u (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n0_i)))) (*.f32 n1_i (sin.f32 (*.f32 normAngle n0_i)))))
(/.f32 (fma.f32 u (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n0_i))) (*.f32 n1_i (sin.f32 (*.f32 normAngle n0_i)))) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) n1_i) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 n1_i normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) u))
(fma.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n1_i)))) n0_i (*.f32 u (/.f32 (*.f32 (sin.f32 (*.f32 normAngle n1_i)) #s(literal 1 binary32)) (sin.f32 normAngle))))
(fma.f32 u (/.f32 (sin.f32 (*.f32 normAngle n1_i)) (sin.f32 normAngle)) (*.f32 n0_i (/.f32 (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n1_i))) (sin.f32 normAngle))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 n0_i (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n1_i)))) (*.f32 u (sin.f32 (*.f32 normAngle n1_i)))))
(/.f32 (fma.f32 u (sin.f32 (*.f32 normAngle n1_i)) (*.f32 n0_i (sin.f32 (*.f32 normAngle (-.f32 #s(literal 1 binary32) n1_i))))) (sin.f32 normAngle))
(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i))
(fma.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i (*.f32 n0_i (*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 u normAngle)))))
(fma.f32 (/.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (sin.f32 normAngle)) n1_i (*.f32 n0_i (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))))
(*.f32 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n1_i) (*.f32 n0_i (sin.f32 (*.f32 u normAngle)))))
(/.f32 (fma.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) n1_i (*.f32 n0_i (sin.f32 (*.f32 u normAngle)))) (sin.f32 normAngle))
Symmetry

(abs normAngle)

Compiler

Compiled 118 to 60 computations (49.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 89.0ms
Operation ival-mult, time spent: 31.0ms, 35.0% of total-time
Operation ival-sin, time spent: 24.0ms, 27.0% of total-time
Operation ival-div, time spent: 16.0ms, 18.0% of total-time
Operation ival-sub, time spent: 14.0ms, 16.0% of total-time
Operation const, time spent: 3.0ms, 3.0% of total-time
Operation ival-add, time spent: 1.0ms, 1.0% of total-time

end0.0ms (0%)

Profiling

Loading profile data...