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.4s (48.8%)

Results

1.4s

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)

localize21.0ms (0.7%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 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 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms	maxCos	@	inf	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
0.0ms	maxCos	@	0	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))

rewrite110.0ms (3.9%)

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	19
1	62	19
2	139	19
3	263	19
4	492	19
5	1084	19
6	2955	19
7	5354	19
8	6738	19

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

Inputs
(+.f32 (-.f32 1 ux) (*.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)))))

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

simplify361.0ms (12.9%)

Algorithm

1×	egg-herbie

Rules

3092×	`rational.json-simplify-51`
2182×	`rational.json-simplify-1`
1718×	`rational.json-simplify-48`
1364×	`rational.json-simplify-35`
1326×	`rational.json-simplify-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	837
1	148	837
2	462	833
3	1157	833
4	1827	833
5	3014	833
6	3189	833
7	3507	833
8	3799	833
9	3956	833
10	4121	833
11	5062	833
12	5135	833
13	5207	833
14	5272	833
15	5335	833
16	5697	833
17	5830	833
18	5895	833
19	6652	833

Stop Event

1×	node limit

Counts

47 → 41

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

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 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(*.f32 (-.f32 maxCos 1) ux)
(*.f32 (+.f32 maxCos -1) ux)
(*.f32 ux (+.f32 maxCos -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 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 (+.f32 maxCos -1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
(.f32 -1 (.f32 ux (+.f32 1 (*.f32 -1 maxCos))))
(*.f32 (+.f32 maxCos -1) ux)
(*.f32 ux (+.f32 maxCos -1))
(+.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 ux (-.f32 1 maxCos)))
(+.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 ux (-.f32 1 maxCos)))
(+.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 ux (-.f32 1 maxCos)))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 0)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(-.f32 (+.f32 (*.f32 ux maxCos) (neg.f32 (+.f32 ux -2))) 1)
(+.f32 (neg.f32 (+.f32 ux -2)) (-.f32 (*.f32 maxCos ux) 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 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 1)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2) 1/2)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4) 1/4)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 2))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8) 1/8)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/4 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 4))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/2) 2)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1/4) 4)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(.f32 1/8 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8))
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 2) 2)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 4) 4)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8) 8)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 8)) 16)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(/.f32 (.f32 2 (.f32 2 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) 8))) 32)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.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 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.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 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))
(pow.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) 1)
(+.f32 (-.f32 1 ux) (*.f32 maxCos ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (-.f32 (*.f32 maxCos ux) ux))

eval7.0ms (0.2%)

Compiler: Compiled 399 to 259 computations (35.1% saved)

prune7.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	4	42

Error

0.0b

Counts

42 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 30 to 24 computations (20% saved)

localize7.0ms (0.3%)

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

localize21.0ms (0.7%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 14 computations (33.3% saved)

series2.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite223.0ms (8%)

Algorithm

1×	batch-egg-rewrite

Rules

2554×	`rational.json-simplify-2`
1576×	`rational.json-simplify-1`
1174×	`rational.json-simplify-35`
1152×	`exponential.json-3`
1152×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	61	32
2	140	32
3	268	32
4	483	32
5	1049	32
6	2504	32
7	4320	32
8	5380	32
9	6237	32
10	6383	32
11	6559	32
12	6723	32

Stop Event

1×	node limit

Counts

2 → 62

Calls

Call 1

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

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

Outputs

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

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

simplify148.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1370×	`rational.json-simplify-35`
1290×	`rational.json-simplify-51`
1120×	`rational.json-simplify-2`
1088×	`rational.json-simplify-1`
884×	`rational.json-simplify-52`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	135	1844
1	320	1822
2	791	1822
3	2366	1822
4	4621	1822
5	5419	1822
6	6059	1822
7	7178	1822

Stop Event

1×	node limit

Counts

110 → 82

Calls

Call 1

Inputs
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
ux
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(.f32 -1 (.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 -1 (.f32 maxCos ux))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 (.f32 -1 (.f32 maxCos ux)) 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 (-.f32 1 maxCos) ux))
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(-.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 (*.f32 ux (-.f32 1 maxCos)) 0)
(+.f32 0 (*.f32 ux (-.f32 1 maxCos)))
(+.f32 (.f32 ux (.f32 (-.f32 1 maxCos) 1/2)) (.f32 ux (.f32 (-.f32 1 maxCos) 1/2)))
(-.f32 (*.f32 ux (-.f32 1 maxCos)) 0)
(/.f32 (*.f32 ux (-.f32 1 maxCos)) 1)
(/.f32 (*.f32 (-.f32 1 maxCos) (+.f32 ux ux)) 2)
(/.f32 (.f32 (-.f32 1 maxCos) (.f32 ux 4)) 4)
(/.f32 (.f32 (-.f32 1 maxCos) (.f32 ux 8)) 8)
(/.f32 (.f32 2 (.f32 (-.f32 1 maxCos) (*.f32 ux 8))) 16)
(/.f32 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (.f32 ux 8)))) 32)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (*.f32 ux 8))))) 64)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (.f32 ux 8)))))) 128)
(pow.f32 (*.f32 ux (-.f32 1 maxCos)) 1)
(+.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 0)
(+.f32 0 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))))
(+.f32 -1 (neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 -1 (-.f32 1 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2))))
(+.f32 (neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -1)
(+.f32 (.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1/2) (.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1/2))
(+.f32 -2 (-.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 (-.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -2)
(+.f32 (-.f32 1 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2))) -1)
(.f32 1 (-.f32 1 (.f32 ux (-.f32 1 maxCos))))
(.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 1)
(.f32 2 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1/2))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 2) 1/2)
(.f32 4 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1/4))
(.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1)
(.f32 -1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))
(.f32 -1 (+.f32 1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -2)))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 4) 1/4)
(.f32 1/2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 2))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8) 1/8)
(.f32 (.f32 2 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)) -1/2)
(.f32 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1/2) 2)
(.f32 1/4 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 4))
(.f32 -2 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) 1/2))
(.f32 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) 1/2) -2)
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1/4) 4)
(.f32 1/8 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8))
(.f32 -1/2 (.f32 2 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)))
(.f32 (+.f32 1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -2)) -1)
(/.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1)
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 2) 2)
(/.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1)
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 4) 4)
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8) 8)
(/.f32 (.f32 2 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)) -2)
(/.f32 (.f32 2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8)) 16)
(/.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)) -4)
(/.f32 (.f32 2 (.f32 2 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8))) 32)
(/.f32 (.f32 2 (.f32 4 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1))) -8)
(/.f32 (neg.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))) 4)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8)))) 64)
(/.f32 (.f32 2 (neg.f32 (.f32 4 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)))) 8)
(/.f32 (.f32 2 (.f32 2 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)))) -16)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8))))) 128)
(/.f32 (.f32 2 (.f32 2 (neg.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))))) 16)
(/.f32 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -1)
(pow.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1)
(neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1))
(neg.f32 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))

Outputs
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
(*.f32 (-.f32 1 maxCos) ux)
ux
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(.f32 -1 (.f32 maxCos ux))
(.f32 maxCos (.f32 ux -1))
(*.f32 maxCos (neg.f32 ux))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(.f32 -1 (.f32 maxCos ux))
(.f32 maxCos (.f32 ux -1))
(*.f32 maxCos (neg.f32 ux))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
(+.f32 (.f32 -1 (.f32 maxCos ux)) ux)
(+.f32 ux (.f32 maxCos (.f32 ux -1)))
(+.f32 ux (*.f32 maxCos (neg.f32 ux)))
1
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 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 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (*.f32 (-.f32 maxCos 1) ux))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 -1 (.f32 (-.f32 1 maxCos) ux))
(*.f32 ux (+.f32 maxCos -1))
(-.f32 (*.f32 maxCos ux) ux)
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 1 (.f32 -1 (.f32 (-.f32 1 maxCos) ux)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 1 ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(*.f32 maxCos ux)
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(-.f32 (+.f32 1 (*.f32 maxCos ux)) ux)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (*.f32 ux (-.f32 1 maxCos)) 0)
(*.f32 (-.f32 1 maxCos) ux)
(+.f32 0 (*.f32 ux (-.f32 1 maxCos)))
(*.f32 (-.f32 1 maxCos) ux)
(+.f32 (.f32 ux (.f32 (-.f32 1 maxCos) 1/2)) (.f32 ux (.f32 (-.f32 1 maxCos) 1/2)))
(*.f32 (-.f32 1 maxCos) ux)
(-.f32 (*.f32 ux (-.f32 1 maxCos)) 0)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (*.f32 ux (-.f32 1 maxCos)) 1)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (*.f32 (-.f32 1 maxCos) (+.f32 ux ux)) 2)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 (-.f32 1 maxCos) (.f32 ux 4)) 4)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 (-.f32 1 maxCos) (.f32 ux 8)) 8)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 2 (.f32 (-.f32 1 maxCos) (*.f32 ux 8))) 16)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (.f32 ux 8)))) 32)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (*.f32 ux 8))))) 64)
(*.f32 (-.f32 1 maxCos) ux)
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 maxCos) (.f32 ux 8)))))) 128)
(*.f32 (-.f32 1 maxCos) ux)
(pow.f32 (*.f32 ux (-.f32 1 maxCos)) 1)
(*.f32 (-.f32 1 maxCos) ux)
(+.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 0)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 0 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 -1 (neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 -1 (-.f32 1 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1/2) (.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1/2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 -2 (-.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (-.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(+.f32 (-.f32 1 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2))) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 1 (-.f32 1 (.f32 ux (-.f32 1 maxCos))))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 2 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1/2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 2) 1/2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 4 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1/4))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 -1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 -1 (+.f32 1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 4) 1/4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 1/2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8) 1/8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 2 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)) -1/2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1/2) 2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 1/4 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 4))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 -2 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) 1/2))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) 1/2) -2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1/4) 4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 1/8 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 -1/2 (.f32 2 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(.f32 (+.f32 1 (+.f32 (.f32 ux (-.f32 1 maxCos)) -2)) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 2) 2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 4) 4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8) 8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)) -2)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8)) 16)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)) -4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 2 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8))) 32)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 4 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1))) -8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (neg.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))) 4)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 8)))) 64)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (neg.f32 (.f32 4 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1)))) 8)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 2 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1)))) -16)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 2 (.f32 2 (.f32 2 (.f32 (-.f32 1 (.f32 ux (-.f32 1 maxCos))) 8))))) 128)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (.f32 2 (.f32 2 (neg.f32 (.f32 4 (+.f32 (.f32 ux (-.f32 1 maxCos)) -1))))) 16)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(/.f32 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)) -1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(pow.f32 (-.f32 1 (*.f32 ux (-.f32 1 maxCos))) 1)
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(neg.f32 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -1))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))
(neg.f32 (+.f32 1 (+.f32 (*.f32 ux (-.f32 1 maxCos)) -2)))
(+.f32 1 (*.f32 ux (+.f32 maxCos -1)))
(+.f32 (*.f32 maxCos ux) (-.f32 1 ux))

eval17.0ms (0.6%)

Compiler: Compiled 846 to 668 computations (21% saved)

prune13.0ms (0.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	82	4	86

Error

0.0b

Counts

86 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f32 1 (*.f32 ux (-.f32 1 maxCos)))
✓	0.6b	(-.f32 1 ux)
✓	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
	9.3b	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 1 (*.f32 ux (-.f32 1 maxCos)))
✓	0.6b	(-.f32 1 ux)
✓	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
	9.3b	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 1 (*.f32 ux (-.f32 1 maxCos)))
✓	0.6b	(-.f32 1 ux)
✓	0.0b	(+.f32 (-.f32 1 ux) (*.f32 ux maxCos))
	9.3b	1

Compiler

Compiled 30 to 24 computations (20% saved)

regimes17.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

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 43 to 31 computations (27.9% saved)

regimes14.0ms (0.5%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

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 36 to 26 computations (27.8% saved)

regimes9.0ms (0.3%)

Accuracy

Total -8.8b remaining (-1574.3%)

Threshold costs -8.8b (-1574.3%)

Counts

2 → 1

Calls

Call 1

Inputs
1
(-.f32 1 ux)

Outputs
(-.f32 1 ux)

Calls

3 calls:

3.0ms	ux
3.0ms	maxCos
3.0ms	uy

Results

Error	Segments	Branch
0.6b	1	`ux`
0.6b	1	`uy`
0.6b	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	11	46

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 30 to 24 computations (20% saved)

soundness409.0ms (14.7%)

Algorithm

1×	egg-herbie

Rules

3092×	`rational.json-simplify-51`
2182×	`rational.json-simplify-1`
1718×	`rational.json-simplify-48`
1364×	`rational.json-simplify-35`
1326×	`rational.json-simplify-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	68	837
1	148	837
2	462	833
3	1157	833
4	1827	833
5	3014	833
6	3189	833
7	3507	833
8	3799	833
9	3956	833
10	4121	833
11	5062	833
12	5135	833
13	5207	833
14	5272	833
15	5335	833
16	5697	833
17	5830	833
18	5895	833
19	6652	833

Stop Event

1×	node limit

Compiler

Compiled 252 to 201 computations (20.2% saved)

end18.0ms (0.6%)

Compiler: Compiled 21 to 15 computations (28.6% saved)

Details

analyze1.0ms (0%)

sample1.4s (48.8%)

preprocess12.0ms (0.4%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (0.7%)

series2.0ms (0.1%)

rewrite110.0ms (3.9%)

simplify361.0ms (12.9%)

eval7.0ms (0.2%)

prune7.0ms (0.2%)

localize7.0ms (0.3%)

localize21.0ms (0.7%)

series2.0ms (0.1%)

rewrite223.0ms (8%)

simplify148.0ms (5.3%)

eval17.0ms (0.6%)

prune13.0ms (0.5%)

eval0.0ms (0%)

prune1.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes17.0ms (0.6%)

regimes14.0ms (0.5%)

regimes9.0ms (0.3%)

simplify2.0ms (0.1%)

soundness409.0ms (14.7%)

end18.0ms (0.6%)

Profiling