Details

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0.1%	99.9%	0%	0%	0%	0
100%	0.1%	0%	99.9%	0%	0%	0%	1

Compiler

Compiled 33 to 24 computations (27.3% saved)

sample1.3s (48.8%)

Results

1.3s

8256×

body

256

valid

Bogosity

preprocess12.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

8×	`rational.json-simplify-1`
6×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	25	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(+.f32 (-.f32 1 uy) (*.f32 uy maxCos))
(+.f32 (-.f32 1 maxCos) (*.f32 maxCos ux))
(+.f32 (-.f32 1 ux) (*.f32 ux uy))

Outputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(+.f32 (-.f32 1 uy) (*.f32 uy maxCos))
(+.f32 (-.f32 1 uy) (*.f32 maxCos uy))
(+.f32 (-.f32 1 maxCos) (*.f32 maxCos ux))
(+.f32 (-.f32 1 maxCos) (*.f32 ux maxCos))
(+.f32 (-.f32 1 ux) (*.f32 ux uy))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	10	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

Outputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

Compiler

Compiled 10 to 7 computations (30% saved)

localize20.0ms (0.7%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f32 ux maxCos)
✓	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	ux	@	inf	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms	ux	@	-inf	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms	ux	@	0	(*.f32 ux maxCos)
0.0ms	ux	@	0	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms	maxCos	@	inf	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

rewrite115.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1482×	`exponential.json-3`
1482×	`rational.json-1`
1482×	`rational.json-2`
1482×	`rational.json-4`
1482×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	62	26
2	139	26
3	263	26
4	492	26
5	1084	26
6	2955	26
7	5354	26
8	6738	26

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(*.f32 ux maxCos)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (.f32 ux maxCos) (neg.f32 (+.f32 ux -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 4 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/4 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/8 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 ux maxCos) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 ux (.f32 maxCos 1/2)) (.f32 ux (.f32 maxCos 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 ux maxCos) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 ux maxCos) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 ux (+.f32 maxCos maxCos)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 ux (.f32 maxCos 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 ux (.f32 maxCos 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 ux (.f32 maxCos 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8))))) (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (.f32 ux maxCos) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 (*.f32 ux maxCos) (neg.f32 (+.f32 ux -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/8 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux maxCos) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 ux maxCos))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 ux (*.f32 maxCos 1/2)) (*.f32 ux (*.f32 maxCos 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (*.f32 ux maxCos) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 ux maxCos) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 ux (+.f32 maxCos maxCos)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 ux (*.f32 maxCos 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 ux (*.f32 maxCos 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 ux (*.f32 maxCos 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 ux (*.f32 maxCos 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 ux (*.f32 maxCos 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 ux (*.f32 maxCos 8))))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 ux (*.f32 maxCos 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 ux maxCos) 1)))))

simplify325.0ms (11.8%)

Algorithm

1×	egg-herbie

Rules

2134×	`rational.json-simplify-2`
1730×	`rational.json-simplify-35`
1620×	`rational.json-simplify-1`
878×	`rational.json-simplify-48`
696×	`rational.json-simplify-51`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	93	1096
1	219	1096
2	635	1092
3	1586	1092
4	3003	1092
5	3806	1092
6	4257	1092
7	4766	1092
8	5227	1092
9	5546	1092
10	5829	1092
11	6397	1092
12	6833	1092
13	7279	1092
14	7823	1092

Stop Event

1×	node limit

Counts

84 → 53

Calls

Call 1

Inputs
1
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 0)
(-.f32 (+.f32 (*.f32 ux maxCos) (neg.f32 (+.f32 ux -2))) 1)
(.f32 1 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))
(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)
(.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2) 1/2)
(.f32 4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4) 1/4)
(.f32 1/2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8) 1/8)
(.f32 1/4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2) 2)
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4) 4)
(.f32 1/8 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))
(/.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2) 2)
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4) 4)
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8) 8)
(/.f32 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)))) 64)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))))) 128)
(pow.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(+.f32 (*.f32 ux maxCos) 0)
(+.f32 0 (*.f32 ux maxCos))
(+.f32 (.f32 ux (.f32 maxCos 1/2)) (.f32 ux (.f32 maxCos 1/2)))
(-.f32 (*.f32 ux maxCos) 0)
(/.f32 (*.f32 ux maxCos) 1)
(/.f32 (*.f32 ux (+.f32 maxCos maxCos)) 2)
(/.f32 (.f32 ux (.f32 maxCos 4)) 4)
(/.f32 (.f32 ux (.f32 maxCos 8)) 8)
(/.f32 (.f32 2 (.f32 ux (*.f32 maxCos 8))) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (*.f32 maxCos 8))))) 64)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8))))) (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))))) 128)
(pow.f32 (*.f32 ux maxCos) 1)

Outputs
1
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 (-.f32 maxCos 1) ux)
(*.f32 (+.f32 maxCos -1) ux)
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos))))
(*.f32 (+.f32 maxCos -1) ux)
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
(-.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 0)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 (*.f32 ux maxCos) (neg.f32 (+.f32 ux -2))) 1)
(+.f32 (+.f32 (*.f32 maxCos ux) (neg.f32 (+.f32 ux -2))) -1)
(+.f32 (neg.f32 (+.f32 ux -2)) (+.f32 (*.f32 maxCos ux) -1))
(+.f32 (*.f32 maxCos ux) (-.f32 -1 (+.f32 ux -2)))
(.f32 1 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2) 1/2)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4) 1/4)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8) 1/8)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2) 2)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4) 4)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/8 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2) 2)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4) 4)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8) 8)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)) 16)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))) 32)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)))) 64)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))))) 128)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(pow.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 (*.f32 ux maxCos) 0)
(*.f32 maxCos ux)
(+.f32 0 (*.f32 ux maxCos))
(*.f32 maxCos ux)
(+.f32 (.f32 ux (.f32 maxCos 1/2)) (.f32 ux (.f32 maxCos 1/2)))
(*.f32 maxCos ux)
(-.f32 (*.f32 ux maxCos) 0)
(*.f32 maxCos ux)
(/.f32 (*.f32 ux maxCos) 1)
(*.f32 maxCos ux)
(/.f32 (*.f32 ux (+.f32 maxCos maxCos)) 2)
(*.f32 maxCos ux)
(/.f32 (.f32 ux (.f32 maxCos 4)) 4)
(*.f32 maxCos ux)
(/.f32 (.f32 ux (.f32 maxCos 8)) 8)
(*.f32 maxCos ux)
(/.f32 (.f32 2 (.f32 ux (*.f32 maxCos 8))) 16)
(*.f32 maxCos ux)
(/.f32 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))) 32)
(*.f32 maxCos ux)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (*.f32 maxCos 8))))) 64)
(*.f32 maxCos ux)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8))))) (.f32 2 (.f32 2 (.f32 2 (.f32 ux (.f32 maxCos 8)))))) 128)
(*.f32 maxCos ux)
(pow.f32 (*.f32 ux maxCos) 1)
(*.f32 maxCos ux)

eval9.0ms (0.3%)

Compiler: Compiled 557 to 369 computations (33.8% saved)

prune8.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	49	4	53
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	4	54

Error

0.0b

Counts

54 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
▶	0.7b	(-.f32 1 ux)
▶	0.0b	(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
	9.1b	1

Compiler

Compiled 30 to 24 computations (20% saved)

localize21.0ms (0.7%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
✓	0.0b	(*.f32 (-.f32 maxCos 1) ux)

Compiler

Compiled 21 to 14 computations (33.3% saved)

series2.0ms (0.1%)

Counts

2 → 27

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	ux	@	-inf	(*.f32 (-.f32 maxCos 1) ux)
0.0ms	maxCos	@	inf	(*.f32 (-.f32 maxCos 1) ux)
0.0ms	ux	@	inf	(*.f32 (-.f32 maxCos 1) ux)
0.0ms	maxCos	@	-inf	(*.f32 (-.f32 maxCos 1) ux)
0.0ms	ux	@	0	(*.f32 (-.f32 maxCos 1) ux)

rewrite223.0ms (8.1%)

Algorithm

1×	batch-egg-rewrite

Rules

2580×	`rational.json-simplify-35`
1358×	`rational.json-simplify-1`
1174×	`exponential.json-3`
1174×	`rational.json-1`
1174×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	65	32
2	148	32
3	269	32
4	510	32
5	1119	32
6	2511	32
7	3905	32
8	5174	32
9	6428	32
10	6975	32
11	6975	32
12	6975	32

Stop Event

1×	node limit

Counts

2 → 40

Calls

Call 1

Inputs
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (+.f32 maxCos -1) ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (.f32 (+.f32 maxCos -1) ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)) (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 (+.f32 maxCos -1) ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 maxCos -1) ux) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 maxCos -1) (+.f32 ux ux)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (+.f32 maxCos -1) ux) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x -.f32 (.f32 (+.f32 maxCos -1) ux) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 4 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/2 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/4 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f32 1/8 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (+.f32 maxCos -1) ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 (+.f32 maxCos -1) ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (+.f32 maxCos -1) (*.f32 ux 1/2)) (*.f32 (+.f32 maxCos -1) (*.f32 ux 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (*.f32 (+.f32 maxCos -1) ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 maxCos -1) ux) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 maxCos -1) (*.f32 ux 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8))))))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 maxCos -1) (*.f32 ux 8)))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 (+.f32 maxCos -1) ux) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f32 (*.f32 (+.f32 maxCos -1) ux) -1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 2 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (+.f32 2 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/8 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 2 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)))))

simplify333.0ms (12%)

Algorithm

1×	egg-herbie

Rules

1954×	`rational.json-simplify-2`
1938×	`rational.json-simplify-48`
1918×	`rational.json-simplify-35`
1584×	`rational.json-simplify-1`
850×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1393
1	224	1029
2	598	1029
3	1750	1025
4	3655	1025
5	4459	1025
6	4950	1025
7	5523	1025
8	5949	1025
9	6130	1025
10	6679	1025
11	7206	1025
12	7381	1025
13	7468	1025
14	7921	1025

Stop Event

1×	node limit

Counts

67 → 55

Calls

Call 1

Inputs
(*.f32 -1 ux)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(*.f32 maxCos ux)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(*.f32 maxCos ux)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (*.f32 -1 ux) 1)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(*.f32 maxCos ux)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(*.f32 maxCos ux)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
1
(*.f32 (-.f32 maxCos 1) ux)
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 (*.f32 (+.f32 maxCos -1) ux) 0)
(+.f32 0 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)) (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)))
(-.f32 (*.f32 (+.f32 maxCos -1) ux) 0)
(/.f32 (*.f32 (+.f32 maxCos -1) ux) 1)
(/.f32 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux)) 2)
(/.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 4)) 4)
(/.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 8)) 8)
(/.f32 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))))))) 256)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))))) 512)
(pow.f32 (*.f32 (+.f32 maxCos -1) ux) 1)
(-.f32 (*.f32 (+.f32 maxCos -1) ux) -1)
(-.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 0)
(.f32 1 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)))
(.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1)
(.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2))
(.f32 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 1/2)
(.f32 4 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4) 1/4)
(.f32 1/2 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8) 1/8)
(.f32 1/4 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2) 2)
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4) 4)
(.f32 1/8 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))
(/.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)
(/.f32 (+.f32 2 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 2)
(/.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 4) 4)
(/.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8) 8)
(/.f32 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))))) 256)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))))) 512)
(pow.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)

Outputs
(*.f32 -1 ux)
(neg.f32 ux)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(*.f32 maxCos ux)
(*.f32 ux maxCos)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(*.f32 maxCos ux)
(*.f32 ux maxCos)
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 -1 ux) (.f32 maxCos ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (*.f32 -1 ux) 1)
(+.f32 (neg.f32 ux) 1)
(-.f32 1 ux)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(*.f32 maxCos ux)
(*.f32 ux maxCos)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(*.f32 maxCos ux)
(*.f32 ux maxCos)
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(+.f32 (.f32 -1 ux) (+.f32 1 (.f32 maxCos ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
1
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (*.f32 (+.f32 maxCos -1) ux) 0)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 0 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(+.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)) (.f32 (+.f32 maxCos -1) (.f32 ux 1/2)))
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(-.f32 (*.f32 (+.f32 maxCos -1) ux) 0)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (*.f32 (+.f32 maxCos -1) ux) 1)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux)) 2)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 4)) 4)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 (+.f32 maxCos -1) (.f32 ux 8)) 8)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))) 16)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))) 32)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))))) 64)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))) 128)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (*.f32 ux 8))))))) 256)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8))))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 maxCos -1) (.f32 ux 8)))))))) 512)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(pow.f32 (*.f32 (+.f32 maxCos -1) ux) 1)
(+.f32 (.f32 -1 ux) (.f32 ux maxCos))
(*.f32 ux (+.f32 -1 maxCos))
(-.f32 (*.f32 (+.f32 maxCos -1) ux) -1)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(-.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 0)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 1 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 1)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 1/2)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 4 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4) 1/4)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 1/2 (+.f32 2 (.f32 (+.f32 maxCos -1) (+.f32 ux ux))))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8) 1/8)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 1/4 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 4))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/2) 2)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1/4) 4)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(.f32 1/8 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8))
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (+.f32 2 (*.f32 (+.f32 maxCos -1) (+.f32 ux ux))) 2)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 4) 4)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8) 8)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)) 16)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))) 32)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))) 64)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))) 128)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 8)))))) 256)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8)))))) (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (.f32 (+.f32 maxCos -1) ux)) 8))))))) 512)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))
(pow.f32 (+.f32 1 (*.f32 (+.f32 maxCos -1) ux)) 1)
(+.f32 (.f32 -1 ux) (+.f32 (.f32 ux maxCos) 1))
(+.f32 1 (*.f32 ux (+.f32 -1 maxCos)))

localize7.0ms (0.3%)

Compiler: Compiled 8 to 6 computations (25% saved)

localize19.0ms (0.7%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(*.f32 maxCos ux)
✓	0.0b	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)

Compiler

Compiled 21 to 10 computations (52.4% saved)

series1.0ms (0.1%)

Counts

2 → 15

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	maxCos	@	0	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
0.0ms	ux	@	-inf	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
0.0ms	maxCos	@	inf	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
0.0ms	maxCos	@	-inf	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
0.0ms	ux	@	inf	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)

rewrite92.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1734×	`rational.json-simplify-35`
1196×	`exponential.json-3`
1196×	`rational.json-1`
1196×	`rational.json-2`
1196×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	66	26
2	161	26
3	320	26
4	664	26
5	1650	26
6	3512	26
7	5507	26

Stop Event

1×	node limit

Counts

2 → 58

Calls

Call 1

Inputs
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(*.f32 maxCos ux)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f32 1 (-.f32 (*.f32 maxCos ux) ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 maxCos ux) (-.f32 1 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 1 (*.f32 maxCos ux)) (neg.f32 ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -1 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 1 ux) (*.f32 maxCos ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 (*.f32 maxCos ux) ux) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (neg.f32 ux) (+.f32 1 (*.f32 maxCos ux)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 maxCos (*.f32 ux 1/2)) (+.f32 (-.f32 1 ux) (*.f32 maxCos (*.f32 ux 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2) (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 -2 (-.f32 (*.f32 maxCos ux) (-.f32 ux 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (-.f32 -1 (*.f32 1/2 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))) (-.f32 1 (*.f32 1/2 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 -1 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (/.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 4 (-.f32 (/.f32 (+.f32 1 (*.f32 maxCos ux)) 4) (/.f32 ux 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 2 (*.f32 ux (*.f32 2 (+.f32 maxCos -1)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (+.f32 2 (*.f32 ux (*.f32 2 (+.f32 maxCos -1)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/2 (+.f32 (*.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 1/4 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (*.f32 1/2 (-.f32 ux (+.f32 1 (*.f32 maxCos ux)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (/.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f32 (+.f32 (*.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 2 (*.f32 ux (*.f32 2 (+.f32 maxCos -1)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (-.f32 -2 (*.f32 ux (*.f32 2 (+.f32 maxCos -1)))) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) -4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) -4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) -4))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 maxCos ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 0 (*.f32 maxCos ux))))) (#(struct:change #<rule egg-rr> (2) ((x +.f32 (*.f32 maxCos (*.f32 ux 1/2)) (*.f32 maxCos (*.f32 ux 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f32 (*.f32 maxCos ux) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 maxCos ux) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 maxCos (+.f32 ux ux)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 maxCos (*.f32 ux 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 (*.f32 ux 8) maxCos) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 (*.f32 ux 8) maxCos)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 (*.f32 ux 8) maxCos))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (*.f32 ux 8) maxCos)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f32 (+.f32 (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (*.f32 ux 8) maxCos)))) (*.f32 2 (*.f32 2 (*.f32 2 (*.f32 (*.f32 ux 8) maxCos))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f32 (*.f32 maxCos ux) 1)))))

simplify125.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

1468×	`rational.json-simplify-35`
1278×	`rational.json-simplify-1`
1014×	`rational.json-simplify-2`
962×	`rational.json-simplify-45`
914×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	136	1231
1	309	1231
2	671	1231
3	2272	1231
4	4584	1231
5	5659	1231
6	6685	1231

Stop Event

1×	node limit

Counts

73 → 75

Calls

Call 1

Inputs
(-.f32 1 ux)
(*.f32 maxCos ux)
(*.f32 maxCos ux)
1
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(*.f32 (-.f32 maxCos 1) ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (+.f32 1 (*.f32 maxCos ux)) (neg.f32 ux))
(+.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 0)
(+.f32 0 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)))
(+.f32 -1 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 (-.f32 (*.f32 maxCos ux) ux) 1)
(+.f32 (neg.f32 ux) (+.f32 1 (*.f32 maxCos ux)))
(+.f32 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)) -1)
(+.f32 (.f32 maxCos (.f32 ux 1/2)) (+.f32 (-.f32 1 ux) (.f32 maxCos (.f32 ux 1/2))))
(+.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1/2) (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1/2))
(+.f32 -2 (-.f32 (*.f32 maxCos ux) (-.f32 ux 3)))
(+.f32 (-.f32 -1 (.f32 1/2 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))) (-.f32 1 (.f32 1/2 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))))
(.f32 1 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)))
(.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1)
(.f32 -1 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))
(.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2))
(.f32 4 (/.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -4))
(.f32 4 (-.f32 (/.f32 (+.f32 1 (.f32 maxCos ux)) 4) (/.f32 ux 4)))
(.f32 (+.f32 2 (.f32 ux (*.f32 2 (+.f32 maxCos -1)))) 1/2)
(.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -1)
(.f32 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4) 1/4)
(.f32 1/2 (+.f32 2 (.f32 ux (*.f32 2 (+.f32 maxCos -1)))))
(.f32 1/2 (+.f32 (.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))))
(.f32 1/4 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4))
(.f32 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2) 2)
(.f32 (.f32 1/2 (-.f32 ux (+.f32 1 (*.f32 maxCos ux)))) -2)
(.f32 (/.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -4) 4)
(.f32 (+.f32 (.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))) 1/2)
(/.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)
(/.f32 (+.f32 2 (.f32 ux (.f32 2 (+.f32 maxCos -1)))) 2)
(/.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -1)
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 4) 4)
(/.f32 (-.f32 -2 (.f32 ux (.f32 2 (+.f32 maxCos -1)))) -2)
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8) 8)
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) -4) -4)
(/.f32 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)) 16)
(/.f32 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) -4)) -8)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) -4))) -16)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)))) 64)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8))))) 128)
(pow.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)
(neg.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))
(+.f32 (*.f32 maxCos ux) 0)
(+.f32 0 (*.f32 maxCos ux))
(+.f32 (.f32 maxCos (.f32 ux 1/2)) (.f32 maxCos (.f32 ux 1/2)))
(-.f32 (*.f32 maxCos ux) 0)
(/.f32 (*.f32 maxCos ux) 1)
(/.f32 (*.f32 maxCos (+.f32 ux ux)) 2)
(/.f32 (.f32 maxCos (.f32 ux 4)) 4)
(/.f32 (.f32 (.f32 ux 8) maxCos) 8)
(/.f32 (.f32 2 (.f32 (*.f32 ux 8) maxCos)) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 ux 8) maxCos)))) 64)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos))))) 128)
(pow.f32 (*.f32 maxCos ux) 1)

Outputs
(-.f32 1 ux)
(*.f32 maxCos ux)
(*.f32 ux maxCos)
(*.f32 maxCos ux)
(*.f32 ux maxCos)
1
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(*.f32 (-.f32 maxCos 1) ux)
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 ux maxCos) ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos))))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 ux maxCos) ux)
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos)))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (+.f32 1 (*.f32 maxCos ux)) (neg.f32 ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 0)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 0 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 -1 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (-.f32 (*.f32 maxCos ux) ux) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (neg.f32 ux) (+.f32 1 (*.f32 maxCos ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (+.f32 (*.f32 maxCos ux) (-.f32 2 ux)) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (.f32 maxCos (.f32 ux 1/2)) (+.f32 (-.f32 1 ux) (.f32 maxCos (.f32 ux 1/2))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1/2) (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1/2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 -2 (-.f32 (*.f32 maxCos ux) (-.f32 ux 3)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (-.f32 -1 (.f32 1/2 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))) (-.f32 1 (.f32 1/2 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 1 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 -1 (-.f32 ux (+.f32 1 (.f32 maxCos ux))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 4 (/.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -4))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 4 (-.f32 (/.f32 (+.f32 1 (.f32 maxCos ux)) 4) (/.f32 ux 4)))
(.f32 4 (-.f32 (/.f32 (+.f32 1 (.f32 ux maxCos)) 4) (/.f32 ux 4)))
(.f32 (+.f32 2 (.f32 ux (*.f32 2 (+.f32 maxCos -1)))) 1/2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4) 1/4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 1/2 (+.f32 2 (.f32 ux (*.f32 2 (+.f32 maxCos -1)))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 1/2 (+.f32 (.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))))
(.f32 1/2 (+.f32 (.f32 -2 (+.f32 ux -1)) (*.f32 maxCos (+.f32 ux ux))))
(.f32 1/2 (+.f32 (.f32 -2 (+.f32 ux -1)) (*.f32 ux (+.f32 maxCos maxCos))))
(.f32 1/4 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 4))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1/2) 2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (.f32 1/2 (-.f32 ux (+.f32 1 (*.f32 maxCos ux)))) -2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (/.f32 (-.f32 ux (+.f32 1 (.f32 maxCos ux))) -4) 4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 (+.f32 (.f32 (+.f32 ux -1) -2) (*.f32 maxCos (+.f32 ux ux))) 1/2)
(.f32 1/2 (+.f32 (.f32 -2 (+.f32 ux -1)) (*.f32 maxCos (+.f32 ux ux))))
(.f32 1/2 (+.f32 (.f32 -2 (+.f32 ux -1)) (*.f32 ux (+.f32 maxCos maxCos))))
(/.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (+.f32 2 (.f32 ux (.f32 2 (+.f32 maxCos -1)))) 2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 4) 4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (-.f32 -2 (.f32 ux (.f32 2 (+.f32 maxCos -1)))) -2)
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) -2) -2)
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8) 8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) -4) -4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)) 16)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) -4)) -8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8))) 32)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) -4))) -16)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 8)))) 64)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (+.f32 1 (-.f32 (.f32 maxCos ux) ux)) 8))))) 128)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(pow.f32 (+.f32 1 (-.f32 (*.f32 maxCos ux) ux)) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(neg.f32 (-.f32 ux (+.f32 1 (*.f32 maxCos ux))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 1 (-.f32 (*.f32 ux maxCos) ux))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (*.f32 maxCos ux) 0)
(*.f32 ux maxCos)
(+.f32 0 (*.f32 maxCos ux))
(*.f32 ux maxCos)
(+.f32 (.f32 maxCos (.f32 ux 1/2)) (.f32 maxCos (.f32 ux 1/2)))
(*.f32 ux maxCos)
(-.f32 (*.f32 maxCos ux) 0)
(*.f32 ux maxCos)
(/.f32 (*.f32 maxCos ux) 1)
(*.f32 ux maxCos)
(/.f32 (*.f32 maxCos (+.f32 ux ux)) 2)
(*.f32 ux maxCos)
(/.f32 (.f32 maxCos (.f32 ux 4)) 4)
(*.f32 ux maxCos)
(/.f32 (.f32 (.f32 ux 8) maxCos) 8)
(*.f32 ux maxCos)
(/.f32 (.f32 2 (.f32 (*.f32 ux 8) maxCos)) 16)
(*.f32 ux maxCos)
(/.f32 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos))) 32)
(*.f32 ux maxCos)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (*.f32 ux 8) maxCos)))) 64)
(*.f32 ux maxCos)
(/.f32 (+.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos)))) (.f32 2 (.f32 2 (.f32 2 (.f32 (.f32 ux 8) maxCos))))) 128)
(*.f32 ux maxCos)
(pow.f32 (*.f32 maxCos ux) 1)
(*.f32 ux maxCos)

eval25.0ms (0.9%)

Compiler: Compiled 1436 to 1001 computations (30.3% saved)

prune19.0ms (0.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	130	4	134

Error

0.0b

Counts

134 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
✓	0.7b	(-.f32 1 ux)
✓	0.0b	(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
	9.1b	1

Compiler

Compiled 30 to 24 computations (20% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
✓	0.7b	(-.f32 1 ux)
✓	0.0b	(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
	9.1b	1

Compiler

Compiled 30 to 24 computations (20% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	3	3
Total	4	4

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
✓	0.7b	(-.f32 1 ux)
✓	0.0b	(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
	9.1b	1

Compiler

Compiled 30 to 24 computations (20% saved)

regimes17.0ms (0.6%)

Counts

5 → 1

Calls

Call 1

Inputs
1
(-.f32 1 ux)
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)

Outputs
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))

Calls

4 calls:

5.0ms	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
4.0ms	ux
4.0ms	uy
4.0ms	maxCos

Results

Error	Segments	Branch
0.0b	1	`ux`
0.0b	1	`uy`
0.0b	1	`maxCos`
0.0b	1	`(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))`

Compiler

Compiled 50 to 35 computations (30% saved)

regimes10.0ms (0.4%)

Accuracy

Total -8.5b remaining (-1285.5%)

Threshold costs -8.5b (-1285.5%)

Counts

2 → 1

Calls

Call 1

Inputs
1
(-.f32 1 ux)

Outputs
(-.f32 1 ux)

Calls

3 calls:

4.0ms	uy
3.0ms	maxCos
3.0ms	ux

Results

Error	Segments	Branch
0.7b	1	`ux`
0.7b	1	`uy`
0.7b	1	`maxCos`

Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	27

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(-.f32 1 ux)
1

Outputs
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(-.f32 1 ux)
1

Compiler

Compiled 20 to 17 computations (15% saved)

soundness0.0ms (0%)

end15.0ms (0.5%)

Compiler: Compiled 14 to 11 computations (21.4% saved)

Details

analyze1.0ms (0%)

sample1.3s (48.8%)

preprocess12.0ms (0.4%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize20.0ms (0.7%)

series3.0ms (0.1%)

rewrite115.0ms (4.2%)

simplify325.0ms (11.8%)

eval9.0ms (0.3%)

prune8.0ms (0.3%)

localize21.0ms (0.7%)

series2.0ms (0.1%)

rewrite223.0ms (8.1%)

simplify333.0ms (12%)

localize7.0ms (0.3%)

localize19.0ms (0.7%)

series1.0ms (0.1%)

rewrite92.0ms (3.3%)

simplify125.0ms (4.5%)

eval25.0ms (0.9%)

prune19.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes17.0ms (0.6%)

regimes10.0ms (0.4%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end15.0ms (0.5%)

Profiling