Metrics for Curve intersection, scale width based on ribbon orientation

analyze349.0ms (7.3%)

Memory

-0.0MiB live, 130.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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
25%	0.2%	0.6%	99.2%	0%	0%	0%	6
25%	0.2%	0.6%	99.2%	0%	0%	0%	7
25%	0.2%	0.6%	99.2%	0%	0%	0%	8
25%	0.2%	0.6%	99.2%	0%	0%	0%	9
37.5%	0.3%	0.5%	99.2%	0%	0%	0%	10
37.5%	0.3%	0.5%	99.2%	0%	0%	0%	11
37.5%	0.3%	0.5%	99.2%	0%	0%	0%	12

Compiler

Compiled 57 to 37 computations (35.1% saved)

sample4.3s (89.4%)

Memory

-8.1MiB live, 1 154.9MiB allocated

Samples

1.4s	8 256×	valid-baseline
1.1s	8 256×	valid-rival
797.0ms	8 256×	valid-sollya

Bogosity

preprocess133.0ms (2.8%)

Memory

9.5MiB live, 27.2MiB allocated

Algorithm

1×	egg-herbie

Rules

1 510×	`fmm-def`
1 088×	`fma-define`
1 012×	`times-frac`
912×	`unsub-neg`
628×	`distribute-lft-neg-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	1608
1	304	1396
2	828	1320
3	2413	1170
4	4585	1170
5	7799	1170

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 u normAngle)) (sin.f32 normAngle)) n1_i (/.f32 (.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) 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)) 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 u normAngle)) (sin.f32 normAngle)) n1_i (/.f32 (.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) 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)) 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 u normAngle)) (sin.f32 normAngle)) n1_i (/.f32 (.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) 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)) 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)))
(-.f32 (/.f32 (.f32 (sin.f32 (.f32 u normAngle)) n1_i) (sin.f32 normAngle)) (/.f32 (.f32 n0_i (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle))) (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 n0_i (sin.f32 (.f32 normAngle (+.f32 u #s(literal -1 binary32)))) (.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))) (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))))
(-.f32 (/.f32 (.f32 n0_i (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle))) (sin.f32 normAngle)) (/.f32 (.f32 (sin.f32 (.f32 u normAngle)) n1_i) (sin.f32 normAngle)))
(.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 (fma.f32 n0_i (sin.f32 (.f32 normAngle (+.f32 u #s(literal -1 binary32)))) (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (neg.f32 (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)) n1_i) (sin.f32 normAngle))))
(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 (-.f32 (.f32 n0_i (sin.f32 (.f32 normAngle (+.f32 u #s(literal -1 binary32))))) (.f32 (sin.f32 (.f32 u normAngle)) 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)) n1_i) (sin.f32 normAngle)) (.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))))
(-.f32 (/.f32 (.f32 n0_i (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle))) (sin.f32 normAngle)) (/.f32 (.f32 (sin.f32 (.f32 u normAngle)) n1_i) (sin.f32 normAngle)))
(.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 (fma.f32 n0_i (sin.f32 (.f32 normAngle (+.f32 u #s(literal -1 binary32)))) (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (neg.f32 (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)))
(-.f32 (/.f32 (.f32 (sin.f32 (.f32 u normAngle)) n1_i) (sin.f32 normAngle)) (/.f32 (.f32 n0_i (sin.f32 (.f32 (-.f32 #s(literal 1 binary32) u) normAngle))) (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 n0_i (sin.f32 (.f32 normAngle (+.f32 u #s(literal -1 binary32)))) (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (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 (.f32 (sin.f32 (*.f32 u normAngle)) n1_i) (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 normAngle (sin.f32 (.f32 u n1_i)) (.f32 n0_i (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) 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 29 to 17 computations (41.4% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB allocated
Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	62.3%	(+.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))

Status

Accuracy

Program

62.3%

(+.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))

Compiler

Compiled 58 to 34 computations (41.4% saved)

simplify3.0ms (0.1%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative`
6×	`+-commutative`
4×	`sub-neg`
3×	`1-exp`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	101
1	39	101
2	43	101
3	45	101
4	46	101

Stop Event

1×

saturated

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))

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))

(+.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 (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)) (sin.f32 (*.f32 u normAngle))) n1_i))

soundness0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 29 to 17 computations (41.4% saved)

preprocess20.0ms (0.4%)

Memory: -5.0MiB live, 26.4MiB allocated
Remove: (abs normAngle)
Compiler: Compiled 232 to 136 computations (41.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze349.0ms (7.3%)

sample4.3s (89.4%)

preprocess133.0ms (2.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

preprocess20.0ms (0.4%)

end0.0ms (0%)

Profiling