Details

analyze58.0ms (1.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
51.6%	50%	46.8%	0.1%	3.1%	0%	0%	7
62.3%	59.3%	35.9%	0.1%	4.7%	0%	0%	8
72.3%	67.1%	25.8%	0.1%	7%	0%	0%	9
79.1%	72.6%	19.1%	0.1%	8.2%	0%	0%	10
85.1%	76.9%	13.5%	0.1%	9.6%	0%	0%	11
89%	79.8%	9.9%	0.1%	10.2%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample2.1s (59.4%)

Results

2.1s	8256×	body	256	valid
20.0ms	237×	body	256	infinite

Bogosity

preprocess10.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	15	38
2	18	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)

Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (*.f64 (+.f64 y 1) x) y)
(-.f64 (*.f64 x (+.f64 1 y)) y)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-17`
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
2	12	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)

Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% 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	(-.f64 (*.f64 (+.f64 x 1) y) x)

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 x 1) y)

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(*.f64 (+.f64 x 1) y)
0.0ms	y	@	inf	(*.f64 (+.f64 x 1) y)
0.0ms	x	@	inf	(*.f64 (+.f64 x 1) y)
0.0ms	y	@	-inf	(*.f64 (+.f64 x 1) y)
0.0ms	x	@	0	(*.f64 (+.f64 x 1) y)

rewrite181.0ms (5%)

Algorithm

1×	batch-egg-rewrite

Rules

1672×	`rational.json-simplify-1`
1502×	`rational.json-simplify-35`
1372×	`exponential.json-3`
1372×	`rational.json-1`
1372×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	56	13
2	130	13
3	241	13
4	441	13
5	940	13
6	2381	13
7	4158	13
8	5233	13
9	6760	13
10	7595	13
11	7595	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 (+.f64 x 1) y)

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

Outputs

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

simplify575.0ms (16%)

Algorithm

1×	egg-herbie

Rules

2684×	`rational.json-simplify-2`
2446×	`rational.json-simplify-35`
1440×	`rational.json-simplify-1`
1324×	`rational.json-simplify-53`
1246×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	470
1	130	470
2	245	470
3	520	470
4	1847	470
5	3632	470
6	4211	470
7	4414	470
8	4617	470
9	4784	470
10	4927	470
11	5898	470
12	7015	470
13	7158	470
14	7220	470
15	7264	470
16	7369	470
17	7440	470
18	7519	470
19	7656	470
20	7829	470
21	7963	470

Stop Event

1×	node limit

Counts

38 → 20

Calls

Call 1

Inputs
y
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(+.f64 (*.f64 y x) y)
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(+.f64 (*.f64 (+.f64 x 1) y) 0)
(+.f64 0 (*.f64 (+.f64 x 1) y))
(+.f64 (.f64 (+.f64 x 1) (.f64 y 1/2)) (.f64 (+.f64 x 1) (.f64 y 1/2)))
(-.f64 (*.f64 (+.f64 x 1) y) 0)
(/.f64 (*.f64 (+.f64 x 1) y) 1)
(/.f64 (*.f64 y (+.f64 x (+.f64 x 2))) 2)
(/.f64 (.f64 (+.f64 x 1) (.f64 y 4)) 4)
(/.f64 (.f64 (+.f64 x 1) (.f64 y 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))))) 256)
(pow.f64 (*.f64 (+.f64 x 1) y) 1)

Outputs
y
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(+.f64 (*.f64 y x) y)
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 x 1))
(+.f64 (*.f64 (+.f64 x 1) y) 0)
(*.f64 y (+.f64 x 1))
(+.f64 0 (*.f64 (+.f64 x 1) y))
(*.f64 y (+.f64 x 1))
(+.f64 (.f64 (+.f64 x 1) (.f64 y 1/2)) (.f64 (+.f64 x 1) (.f64 y 1/2)))
(*.f64 y (+.f64 x 1))
(-.f64 (*.f64 (+.f64 x 1) y) 0)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 (+.f64 x 1) y) 1)
(*.f64 y (+.f64 x 1))
(/.f64 (*.f64 y (+.f64 x (+.f64 x 2))) 2)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 (+.f64 x 1) (.f64 y 4)) 4)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 (+.f64 x 1) (.f64 y 8)) 8)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))) 16)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))) 32)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))) 64)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))))) 128)
(*.f64 y (+.f64 x 1))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))))) 256)
(*.f64 y (+.f64 x 1))
(pow.f64 (*.f64 (+.f64 x 1) y) 1)
(*.f64 y (+.f64 x 1))

eval88.0ms (2.5%)

Compiler: Compiled 218 to 152 computations (30.3% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	17	3	20
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	3	21

Error

Counts

21 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(-.f64 (+.f64 (*.f64 y x) y) x)
▶	24.5b	(-.f64 (*.f64 y x) x)
▶	10.1b	(-.f64 y x)

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize4.0ms (0.1%)

Compiler: Compiled 12 to 4 computations (66.7% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) y)

Compiler

Compiled 19 to 5 computations (73.7% saved)

series2.0ms (0.1%)

Counts

1 → 21

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(+.f64 (*.f64 y x) y)
0.0ms	y	@	inf	(+.f64 (*.f64 y x) y)
0.0ms	y	@	-inf	(+.f64 (*.f64 y x) y)
0.0ms	x	@	inf	(+.f64 (*.f64 y x) y)
0.0ms	x	@	-inf	(+.f64 (*.f64 y x) y)

rewrite188.0ms (5.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1734×	`rational.json-simplify-1`
1654×	`rational.json-simplify-35`
1514×	`exponential.json-3`
1514×	`rational.json-1`
1514×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	40	13
2	94	13
3	209	13
4	397	13
5	907	13
6	2467	13
7	4683	13
8	5582	13
9	6931	13
10	7998	13
11	7998	13

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

Inputs
(+.f64 (*.f64 y x) y)

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

Outputs

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

simplify141.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1898×	`rational.json-simplify-35`
1324×	`rational.json-simplify-51`
1082×	`rational.json-simplify-41`
1044×	`rational.json-simplify-2`
974×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	845
1	247	845
2	481	845
3	881	845
4	1616	845
5	4515	845
6	5747	845
7	6374	845
8	6970	845
9	7458	845

Stop Event

1×	node limit

Counts

65 → 51

Calls

Call 1

Inputs
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(*.f64 (+.f64 1 x) y)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
y
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(*.f64 y x)
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(+.f64 y (*.f64 y x))
(-.f64 (+.f64 y (*.f64 y x)) 0)
(*.f64 y (+.f64 x 1))
(.f64 (+.f64 y (.f64 y x)) 1)
(.f64 1 (+.f64 y (.f64 y x)))
(.f64 2 (.f64 y (*.f64 (+.f64 x 1) 1/2)))
(.f64 (.f64 (+.f64 y y) (+.f64 x 1)) 1/2)
(.f64 (+.f64 y y) (.f64 (+.f64 x 1) 1/2))
(.f64 (+.f64 y y) (.f64 (+.f64 x (+.f64 x 2)) 1/4))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(*.f64 (+.f64 x 1) y)
(.f64 4 (.f64 y (/.f64 (+.f64 x 1) 4)))
(.f64 4 (.f64 (/.f64 y 8) (+.f64 x (+.f64 x 2))))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(.f64 (.f64 y 4) (*.f64 (+.f64 x 1) 1/4))
(.f64 (.f64 y 4) (/.f64 (+.f64 x 1) 4))
(.f64 (.f64 y 4) (*.f64 1/8 (+.f64 x (+.f64 x 2))))
(.f64 8 (.f64 (/.f64 y 8) (+.f64 x 1)))
(.f64 8 (.f64 (.f64 1/2 (.f64 y 1/4)) (+.f64 x 1)))
(.f64 (.f64 (+.f64 x 1) (*.f64 y 8)) 1/8)
(.f64 (.f64 y 8) (*.f64 1/8 (+.f64 x 1)))
(.f64 (+.f64 x (+.f64 x 2)) (.f64 y 1/2))
(.f64 1/2 (.f64 (+.f64 y y) (+.f64 x 1)))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 1/2)) 2)
(.f64 (.f64 y 1/2) (+.f64 x (+.f64 x 2)))
(.f64 (.f64 2 (.f64 y 8)) (.f64 1/16 (+.f64 x 1)))
(.f64 (.f64 (+.f64 x 1) 4) (*.f64 y 1/4))
(.f64 1/4 (.f64 y (*.f64 (+.f64 x 1) 4)))
(.f64 (.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(.f64 (.f64 y (/.f64 (+.f64 x 1) 4)) 4)
(.f64 (.f64 y 1/4) (*.f64 (+.f64 x 1) 4))
(.f64 1/8 (.f64 (+.f64 x 1) (*.f64 y 8)))
(.f64 (.f64 (+.f64 x 1) 1/4) (*.f64 y 4))
(.f64 (/.f64 (+.f64 x 1) 4) (.f64 y 4))
(.f64 (+.f64 1/2 (.f64 x 1/2)) (+.f64 y y))
(/.f64 (+.f64 y (*.f64 y x)) 1)
(/.f64 (*.f64 (+.f64 y y) (+.f64 x 1)) 2)
(/.f64 (.f64 y (.f64 (+.f64 x 1) 4)) 4)
(/.f64 (.f64 (+.f64 x 1) (.f64 y 8)) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))))) 256)
(pow.f64 (+.f64 y (*.f64 y x)) 1)

Outputs
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(*.f64 (+.f64 1 x) y)
(*.f64 y (+.f64 1 x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 x) 1) y))
(*.f64 y (+.f64 1 x))
y
(*.f64 y x)
(*.f64 x y)
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(*.f64 y x)
(*.f64 x y)
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(+.f64 y (*.f64 y x))
(*.f64 y (+.f64 1 x))
(-.f64 (+.f64 y (*.f64 y x)) 0)
(*.f64 y (+.f64 1 x))
(*.f64 y (+.f64 x 1))
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 y (.f64 y x)) 1)
(*.f64 y (+.f64 1 x))
(.f64 1 (+.f64 y (.f64 y x)))
(*.f64 y (+.f64 1 x))
(.f64 2 (.f64 y (*.f64 (+.f64 x 1) 1/2)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 (+.f64 y y) (+.f64 x 1)) 1/2)
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 y y) (.f64 (+.f64 x 1) 1/2))
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 y y) (.f64 (+.f64 x (+.f64 x 2)) 1/4))
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(*.f64 (+.f64 x 1) y)
(*.f64 y (+.f64 1 x))
(.f64 4 (.f64 y (/.f64 (+.f64 x 1) 4)))
(*.f64 y (+.f64 1 x))
(.f64 4 (.f64 (/.f64 y 8) (+.f64 x (+.f64 x 2))))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 4)) 1/4)
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 4) (*.f64 (+.f64 x 1) 1/4))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 4) (/.f64 (+.f64 x 1) 4))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 4) (*.f64 1/8 (+.f64 x (+.f64 x 2))))
(*.f64 y (+.f64 1 x))
(.f64 8 (.f64 (/.f64 y 8) (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(.f64 8 (.f64 (.f64 1/2 (.f64 y 1/4)) (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 (+.f64 x 1) (*.f64 y 8)) 1/8)
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 8) (*.f64 1/8 (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 x (+.f64 x 2)) (.f64 y 1/2))
(*.f64 y (+.f64 1 x))
(.f64 1/2 (.f64 (+.f64 y y) (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y (*.f64 (+.f64 x 1) 1/2)) 2)
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 1/2) (+.f64 x (+.f64 x 2)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 2 (.f64 y 8)) (.f64 1/16 (+.f64 x 1)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 (+.f64 x 1) 4) (*.f64 y 1/4))
(*.f64 y (+.f64 1 x))
(.f64 1/4 (.f64 y (*.f64 (+.f64 x 1) 4)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 (+.f64 x 1) 1/2) (+.f64 y y))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y (/.f64 (+.f64 x 1) 4)) 4)
(*.f64 y (+.f64 1 x))
(.f64 (.f64 y 1/4) (*.f64 (+.f64 x 1) 4))
(*.f64 y (+.f64 1 x))
(.f64 1/8 (.f64 (+.f64 x 1) (*.f64 y 8)))
(*.f64 y (+.f64 1 x))
(.f64 (.f64 (+.f64 x 1) 1/4) (*.f64 y 4))
(*.f64 y (+.f64 1 x))
(.f64 (/.f64 (+.f64 x 1) 4) (.f64 y 4))
(*.f64 y (+.f64 1 x))
(.f64 (+.f64 1/2 (.f64 x 1/2)) (+.f64 y y))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x 1/2)))
(/.f64 (+.f64 y (*.f64 y x)) 1)
(*.f64 y (+.f64 1 x))
(/.f64 (*.f64 (+.f64 y y) (+.f64 x 1)) 2)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 y (.f64 (+.f64 x 1) 4)) 4)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 (+.f64 x 1) (.f64 y 8)) 8)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))) 16)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))) 32)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))) 64)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (.f64 y 8)))))) 128)
(*.f64 y (+.f64 1 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x 1) (*.f64 y 8))))))) 256)
(*.f64 y (+.f64 1 x))
(pow.f64 (+.f64 y (*.f64 y x)) 1)
(*.f64 y (+.f64 1 x))

eval75.0ms (2.1%)

Compiler: Compiled 553 to 364 computations (34.2% saved)

prune6.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	51	3	54

Error

Counts

54 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(-.f64 (+.f64 (*.f64 y x) y) x)
✓	24.5b	(-.f64 (*.f64 y x) x)
✓	10.1b	(-.f64 y x)

Compiler

Compiled 21 to 12 computations (42.9% saved)

regimes12.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
(-.f64 y x)
(-.f64 (*.f64 y x) x)
(-.f64 (*.f64 (+.f64 x 1) y) x)
(-.f64 (+.f64 (*.f64 y x) y) x)

Outputs
(-.f64 (+.f64 (*.f64 y x) y) x)

Calls

3 calls:

4.0ms	y
4.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
4.0ms	x

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(-.f64 (*.f64 (+.f64 x 1) y) x)`

Compiler

Compiled 39 to 21 computations (46.2% saved)

regimes11.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
(-.f64 y x)
(-.f64 (*.f64 y x) x)
(-.f64 (*.f64 (+.f64 x 1) y) x)

Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)

Calls

3 calls:

3.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
3.0ms	x
3.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(-.f64 (*.f64 (+.f64 x 1) y) x)`

Compiler

Compiled 32 to 19 computations (40.6% saved)

regimes18.0ms (0.5%)

Accuracy

Total -33.6b remaining (-6678.4%)

Threshold costs -33.6b (-6678.4%)

Counts

2 → 3

Calls

Call 1

Inputs
(-.f64 y x)
(-.f64 (*.f64 y x) x)

Outputs
(-.f64 (*.f64 y x) x)
(-.f64 y x)
(-.f64 (*.f64 y x) x)

Calls

2 calls:

9.0ms	x
9.0ms	y

Results

Error	Segments	Branch
0.5b	3	`x`
8.8b	3	`y`

Compiler

Compiled 16 to 9 computations (43.8% saved)

bsearch23.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
9.0ms	9.710007036042223e-8	2.1039952671246287e-7
13.0ms	-267065.30832556874	-0.3862571113998659

Results

20.0ms

224×

body

256

valid

Compiler

Compiled 210 to 136 computations (35.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	96

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 (*.f64 y x) y) x)
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -1) (-.f64 (.f64 y x) x) (if (<=.f64 x 1983393922805251/9444732965739290427392) (-.f64 y x) (-.f64 (.f64 y x) x)))
(-.f64 y x)

Outputs
(-.f64 (+.f64 (*.f64 y x) y) x)
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -1) (-.f64 (.f64 y x) x) (if (<=.f64 x 1983393922805251/9444732965739290427392) (-.f64 y x) (-.f64 (.f64 y x) x)))
(-.f64 y x)

Compiler

Compiled 46 to 25 computations (45.7% saved)

soundness0.0ms (0%)

end24.0ms (0.7%)

Compiler: Compiled 40 to 17 computations (57.5% saved)

Details

analyze58.0ms (1.6%)

sample2.1s (59.4%)

preprocess10.0ms (0.3%)

simplify11.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite181.0ms (5%)

simplify575.0ms (16%)

eval88.0ms (2.5%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

localize4.0ms (0.1%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite188.0ms (5.3%)

simplify141.0ms (3.9%)

eval75.0ms (2.1%)

prune6.0ms (0.2%)

regimes12.0ms (0.3%)

regimes11.0ms (0.3%)

regimes18.0ms (0.5%)

bsearch23.0ms (0.6%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end24.0ms (0.7%)

Profiling