Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
62.5%	62.5%	37.5%	0%	0%	0%	0%	4
81.3%	81.2%	18.7%	0%	0%	0%	0%	5
90.6%	90.6%	9.4%	0%	0%	0%	0%	6
95.3%	95.3%	4.7%	0%	0%	0%	0%	7
97.7%	97.6%	2.3%	0%	0%	0%	0%	8
98.8%	98.8%	1.2%	0%	0%	0%	0%	9
99.4%	99.4%	0.6%	0%	0%	0%	0%	10
99.7%	99.7%	0.3%	0%	0%	0%	0%	11
99.9%	99.8%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample999.0ms (62.9%)

Results

482.0ms	5788×	body	256	valid
428.0ms	2066×	body	512	valid
80.0ms	402×	body	1024	valid

Bogosity

preprocess7.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

38×	`rational.json-simplify-27`
30×	`rational.json-simplify-9`
30×	`rational.json-simplify-41`
28×	`rational.json-simplify-31`
28×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	14	25
2	21	25
3	31	25
4	45	25
5	60	25
6	79	25
7	98	25
8	115	25
9	119	25
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Outputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))

Compiler

Compiled 11 to 9 computations (18.2% saved)

simplify7.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

38×	`rational.json-simplify-27`
30×	`rational.json-simplify-9`
30×	`rational.json-simplify-41`
28×	`rational.json-simplify-31`
28×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	25
1	14	25
2	21	25
3	31	25
4	45	25
5	60	25
6	79	25
7	98	25
8	115	25
9	119	25

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Outputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))

eval1.0ms (0%)

Compiler: Compiled 19 to 15 computations (21.1% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

13.3b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	13.3b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Compiler

Compiled 10 to 8 computations (20% saved)

localize9.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 1 (+.f64 x 1))
✓	2.4b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Compiler

Compiled 23 to 17 computations (26.1% saved)

series1.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite9.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

40×	`bool.json-1`
38×	`rational.json-simplify-2`
34×	`rational.json-1`
34×	`rational.json-2`
32×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	41	38
2	85	38
3	128	38
4	144	38
5	149	38

Stop Event

1×

saturated

Counts

2 → 18

Calls

Call 1

Inputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(/.f64 1 (+.f64 x 1))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 1 x)) (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 x)) (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 1 (+.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1 (+.f64 1 x)) (/.f64 1 (+.f64 1 x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 1 x)) (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 x)) (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (+.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 1 (+.f64 1 x))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (+.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1 (+.f64 1 x)) (/.f64 1 (+.f64 1 x)))))))

simplify173.0ms (10.9%)

Algorithm

1×	egg-herbie

Rules

1060×	`rational.json-simplify-33`
1052×	`rational.json-simplify-1`
972×	`rational.json-simplify-27`
766×	`rational.json-simplify-32`
750×	`rational.json-simplify-29`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	64	1098
1	120	1098
2	259	1098
3	578	1098
4	1348	1098
5	3087	1068
6	3728	1068
7	3807	1068
8	3871	1068
9	3904	1068
10	3908	1068
11	4200	1068
12	4568	1068
13	4625	1068
14	4679	1068
15	4682	1068
16	4689	1068
17	4701	1068
18	4740	1068
19	4890	1068
20	5020	1068
21	5065	1068
22	5075	1068
23	5081	1068

Stop Event

1×

saturated

Counts

42 → 71

Calls

Call 1

Inputs
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (+.f64 1 (*.f64 -1 x)) (/.f64 1 x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 x) (pow.f64 x 2))) (/.f64 1 x))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
1
(+.f64 1 (*.f64 -1 x))
(+.f64 1 (+.f64 (*.f64 -1 x) (pow.f64 x 2)))
(+.f64 (.f64 -1 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 -1 x) (pow.f64 x 2))))
(/.f64 1 x)
(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(/.f64 1 x)
(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 1 (+.f64 1 x)) (neg.f64 (/.f64 1 x)))
(+.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 0)
(+.f64 0 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))
(+.f64 (neg.f64 (/.f64 1 x)) (/.f64 1 (+.f64 1 x)))
(*.f64 1 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))
(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 1)
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) -1)
(*.f64 -1 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))
(neg.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))
(+.f64 (/.f64 1 (+.f64 1 x)) 0)
(+.f64 0 (/.f64 1 (+.f64 1 x)))
(-.f64 (/.f64 1 (+.f64 1 x)) 0)
(-.f64 0 (neg.f64 (/.f64 1 (+.f64 1 x))))
(*.f64 1 (/.f64 1 (+.f64 1 x)))
(*.f64 (/.f64 1 (+.f64 1 x)) 1)
(*.f64 -1 (neg.f64 (/.f64 1 (+.f64 1 x))))
(*.f64 (neg.f64 (/.f64 1 (+.f64 1 x))) -1)
(neg.f64 (neg.f64 (/.f64 1 (+.f64 1 x))))

Outputs
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(+.f64 (/.f64 -1 x) 1)
(/.f64 (+.f64 -1 x) x)
(-.f64 (+.f64 1 (*.f64 -1 x)) (/.f64 1 x))
(+.f64 (-.f64 1 (/.f64 1 x)) (*.f64 -1 x))
(+.f64 1 (-.f64 (*.f64 -1 x) (/.f64 1 x)))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(+.f64 (/.f64 -1 x) (-.f64 1 x))
(-.f64 (+.f64 1 (+.f64 (*.f64 -1 x) (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (-.f64 1 (/.f64 1 x)) (+.f64 (*.f64 -1 x) (pow.f64 x 2)))
(+.f64 (-.f64 1 x) (-.f64 (pow.f64 x 2) (/.f64 1 x)))
(+.f64 (-.f64 1 (/.f64 1 x)) (-.f64 (pow.f64 x 2) x))
(+.f64 (+.f64 (/.f64 -1 x) 1) (-.f64 (pow.f64 x 2) x))
(+.f64 (/.f64 -1 x) (+.f64 (-.f64 1 x) (pow.f64 x 2)))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4))))
(-.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 5))) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4))))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
(-.f64 (/.f64 1 (pow.f64 x 5)) (+.f64 (/.f64 1 (pow.f64 x 4)) (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3)))))
(+.f64 (/.f64 1 (pow.f64 x 3)) (-.f64 (-.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4))))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4))))
(-.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 5))) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4))))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))) (/.f64 1 (pow.f64 x 5)))
(-.f64 (/.f64 1 (pow.f64 x 5)) (+.f64 (/.f64 1 (pow.f64 x 4)) (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3)))))
(+.f64 (/.f64 1 (pow.f64 x 3)) (-.f64 (-.f64 (/.f64 1 (pow.f64 x 5)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4))))
1
(+.f64 1 (*.f64 -1 x))
(-.f64 1 x)
(+.f64 1 (+.f64 (*.f64 -1 x) (pow.f64 x 2)))
(+.f64 (*.f64 -1 x) (+.f64 1 (pow.f64 x 2)))
(+.f64 (+.f64 1 (*.f64 -1 x)) (pow.f64 x 2))
(+.f64 (-.f64 1 x) (pow.f64 x 2))
(+.f64 (.f64 -1 (pow.f64 x 3)) (+.f64 1 (+.f64 (.f64 -1 x) (pow.f64 x 2))))
(+.f64 (+.f64 1 (+.f64 (.f64 -1 x) (pow.f64 x 2))) (.f64 -1 (pow.f64 x 3)))
(+.f64 (+.f64 (.f64 -1 x) (pow.f64 x 2)) (+.f64 1 (.f64 -1 (pow.f64 x 3))))
(+.f64 (+.f64 (.f64 -1 x) (+.f64 1 (pow.f64 x 2))) (.f64 -1 (pow.f64 x 3)))
(+.f64 1 (+.f64 (pow.f64 x 2) (+.f64 (.f64 -1 x) (.f64 -1 (pow.f64 x 3)))))
(+.f64 (-.f64 1 x) (+.f64 (pow.f64 x 2) (*.f64 -1 (pow.f64 x 3))))
(/.f64 1 x)
(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4)))
(-.f64 (+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)) (/.f64 1 (pow.f64 x 4)))
(+.f64 (/.f64 1 x) (-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (-.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4))))
(/.f64 1 x)
(-.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2)))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 x))
(+.f64 (/.f64 1 x) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (+.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 x)) (+.f64 (/.f64 1 (pow.f64 x 4)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (-.f64 (+.f64 (/.f64 1 x) (/.f64 1 (pow.f64 x 3))) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4)))
(-.f64 (+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 x)) (/.f64 1 (pow.f64 x 4)))
(+.f64 (/.f64 1 x) (-.f64 (/.f64 1 (pow.f64 x 3)) (+.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 4)))))
(+.f64 (/.f64 1 x) (-.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 4))))
(+.f64 (/.f64 1 (+.f64 1 x)) (neg.f64 (/.f64 1 x)))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(+.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 0)
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(+.f64 0 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 1 x)) (/.f64 1 (+.f64 1 x)))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(*.f64 1 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(*.f64 (-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x)) 1)
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(*.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) -1)
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(*.f64 -1 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(neg.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) (/.f64 1 x))
(+.f64 (/.f64 1 (+.f64 1 x)) 0)
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(+.f64 0 (/.f64 1 (+.f64 1 x)))
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(-.f64 (/.f64 1 (+.f64 1 x)) 0)
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(-.f64 0 (neg.f64 (/.f64 1 (+.f64 1 x))))
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(*.f64 1 (/.f64 1 (+.f64 1 x)))
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(*.f64 (/.f64 1 (+.f64 1 x)) 1)
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(*.f64 -1 (neg.f64 (/.f64 1 (+.f64 1 x))))
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(*.f64 (neg.f64 (/.f64 1 (+.f64 1 x))) -1)
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))
(neg.f64 (neg.f64 (/.f64 1 (+.f64 1 x))))
(/.f64 1 (+.f64 x 1))
(/.f64 1 (+.f64 1 x))

eval19.0ms (1.2%)

Compiler: Compiled 950 to 754 computations (20.6% saved)

prune11.0ms (0.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	65	7	72

Error

0.5b

Counts

72 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	33.1b	(/.f64 -1 (pow.f64 x 2))
▶	29.9b	(/.f64 -1 x)
	33.5b	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
✓	13.3b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
▶	46.1b	(-.f64 (/.f64 1 x) (/.f64 1 x))
▶	30.5b	(-.f64 (-.f64 1 x) (/.f64 1 x))
▶	30.5b	(-.f64 1 (/.f64 1 x))

Compiler

Compiled 98 to 78 computations (20.4% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (/.f64 1 x))

Compiler

Compiled 11 to 8 computations (27.3% saved)

series0.0ms (0%)

Counts

1 → 3

Calls

3 calls:

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

rewrite6.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

32×	`rational.json-simplify-2`
32×	`bool.json-1`
26×	`rational.json-1`
26×	`rational.json-2`
22×	`rational.json-simplify-27`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	32	13
2	70	13
3	100	13
4	124	13
5	134	13

Stop Event

1×

saturated

Counts

1 → 9

Calls

Call 1

Inputs
(-.f64 1 (/.f64 1 x))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 1 (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 -1 (/.f64 1 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 -1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 -1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 1 (/.f64 1 x)) (-.f64 1 (/.f64 1 x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (neg.f64 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (/.f64 1 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 1 (/.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 -1 (/.f64 1 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 -1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 -1 (/.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 1 (/.f64 1 x)) (-.f64 1 (/.f64 1 x)))))))

simplify8.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

26×	`rational.json-simplify-27`
24×	`rational.json-simplify-2`
20×	`rational.json-simplify-40`
18×	`rational.json-simplify-1`
18×	`rational.json-simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	126
1	26	126
2	37	126
3	56	126
4	104	126
5	131	126
6	136	126
7	138	126
8	139	126

Stop Event

1×

saturated

Counts

12 → 12

Calls

Call 1

Inputs
(/.f64 -1 x)
1
1
(+.f64 1 (neg.f64 (/.f64 1 x)))
(+.f64 (-.f64 1 (/.f64 1 x)) 0)
(+.f64 0 (-.f64 1 (/.f64 1 x)))
(+.f64 (neg.f64 (/.f64 1 x)) 1)
(*.f64 1 (-.f64 1 (/.f64 1 x)))
(*.f64 (-.f64 1 (/.f64 1 x)) 1)
(*.f64 (+.f64 -1 (/.f64 1 x)) -1)
(*.f64 -1 (+.f64 -1 (/.f64 1 x)))
(neg.f64 (+.f64 -1 (/.f64 1 x)))

Outputs
(/.f64 -1 x)
1
1
(+.f64 1 (neg.f64 (/.f64 1 x)))
(-.f64 1 (/.f64 1 x))
(+.f64 (-.f64 1 (/.f64 1 x)) 0)
(-.f64 1 (/.f64 1 x))
(+.f64 0 (-.f64 1 (/.f64 1 x)))
(-.f64 1 (/.f64 1 x))
(+.f64 (neg.f64 (/.f64 1 x)) 1)
(-.f64 1 (/.f64 1 x))
(*.f64 1 (-.f64 1 (/.f64 1 x)))
(-.f64 1 (/.f64 1 x))
(*.f64 (-.f64 1 (/.f64 1 x)) 1)
(-.f64 1 (/.f64 1 x))
(*.f64 (+.f64 -1 (/.f64 1 x)) -1)
(-.f64 1 (/.f64 1 x))
(*.f64 -1 (+.f64 -1 (/.f64 1 x)))
(-.f64 1 (/.f64 1 x))
(neg.f64 (+.f64 -1 (/.f64 1 x)))
(-.f64 1 (/.f64 1 x))

localize7.0ms (0.4%)

Compiler: Compiled 16 to 11 computations (31.3% saved)

localize5.0ms (0.3%)

Compiler: Compiled 13 to 9 computations (30.8% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.5b	(/.f64 -1 (pow.f64 x 2))

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(/.f64 -1 (pow.f64 x 2))
0.0ms	x	@	inf	(/.f64 -1 (pow.f64 x 2))
0.0ms	x	@	-inf	(/.f64 -1 (pow.f64 x 2))

rewrite7.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

22×	`bool.json-1`
14×	`rational.json-1`
14×	`rational.json-2`
14×	`rational.json-simplify-2`
14×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	32	13
2	54	13
3	58	13

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(/.f64 -1 (pow.f64 x 2))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 -1 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 -1 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 -1 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 -1 (pow.f64 x 2)) (/.f64 -1 (pow.f64 x 2)))))))

simplify5.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	13	76
1	13	76

Stop Event

1×

saturated

Counts

4 → 4

Calls

Call 1

Inputs
(+.f64 (/.f64 -1 (pow.f64 x 2)) 0)
(+.f64 0 (/.f64 -1 (pow.f64 x 2)))
(*.f64 (/.f64 -1 (pow.f64 x 2)) 1)
(*.f64 1 (/.f64 -1 (pow.f64 x 2)))

Outputs
(+.f64 (/.f64 -1 (pow.f64 x 2)) 0)
(+.f64 0 (/.f64 -1 (pow.f64 x 2)))
(+.f64 (/.f64 -1 (pow.f64 x 2)) 0)
(*.f64 (/.f64 -1 (pow.f64 x 2)) 1)
(*.f64 1 (/.f64 -1 (pow.f64 x 2)))
(*.f64 (/.f64 -1 (pow.f64 x 2)) 1)

eval3.0ms (0.2%)

Compiler: Compiled 98 to 83 computations (15.3% saved)

prune5.0ms (0.3%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	15	8	23

Error

0.5b

Counts

23 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.1b	(/.f64 -1 (pow.f64 x 2))
✓	29.9b	(/.f64 -1 x)
▶	33.5b	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
✓	13.3b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
✓	46.1b	(-.f64 (/.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 (-.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 1 (/.f64 1 x))
	62.2b	1

Compiler

Compiled 56 to 45 computations (19.6% saved)

localize14.0ms (0.9%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 1 (pow.f64 x 3))
✓	0.5b	(/.f64 1 (pow.f64 x 2))
✓	7.6b	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))

Compiler

Compiled 32 to 25 computations (21.9% saved)

series1.0ms (0.1%)

Counts

3 → 3

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
0.0ms	x	@	0	(/.f64 1 (pow.f64 x 3))
0.0ms	x	@	0	(/.f64 1 (pow.f64 x 2))
0.0ms	x	@	-inf	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
0.0ms	x	@	inf	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))

rewrite8.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

46×	`bool.json-1`
40×	`rational.json-simplify-2`
36×	`rational.json-1`
36×	`rational.json-2`
32×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	57
1	52	57
2	98	57
3	140	57
4	156	57
5	161	57

Stop Event

1×

saturated

Counts

3 → 27

Calls

Call 1

Inputs
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(/.f64 1 (pow.f64 x 2))
(/.f64 1 (pow.f64 x 3))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (pow.f64 x 3)) (neg.f64 (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 2)))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 1 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (pow.f64 x 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 1 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 3)))))))

simplify10.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

22×	`rational.json-simplify-2`
20×	`rational.json-simplify-31`
16×	`rational.json-simplify-1`
16×	`rational.json-simplify-41`
16×	`rational.json-simplify-40`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	552
1	60	552
2	89	552
3	101	552

Stop Event

1×

saturated

Counts

30 → 31

Calls

Call 1

Inputs
(/.f64 1 (pow.f64 x 3))
(/.f64 -1 (pow.f64 x 2))
(/.f64 -1 (pow.f64 x 2))
(+.f64 (/.f64 1 (pow.f64 x 3)) (neg.f64 (/.f64 1 (pow.f64 x 2))))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 0)
(+.f64 0 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(+.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 3)))
(*.f64 1 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(*.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 1)
(*.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))) -1)
(*.f64 -1 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))
(neg.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))
(+.f64 (/.f64 1 (pow.f64 x 2)) 0)
(+.f64 0 (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (pow.f64 x 2)) 0)
(-.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(*.f64 1 (/.f64 1 (pow.f64 x 2)))
(*.f64 (/.f64 1 (pow.f64 x 2)) 1)
(*.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) -1)
(*.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 1 (pow.f64 x 3)) 0)
(+.f64 0 (/.f64 1 (pow.f64 x 3)))
(-.f64 (/.f64 1 (pow.f64 x 3)) 0)
(-.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 3))))
(*.f64 1 (/.f64 1 (pow.f64 x 3)))
(*.f64 (/.f64 1 (pow.f64 x 3)) 1)
(*.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 3))))
(*.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))) -1)
(neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))))

Outputs
(/.f64 1 (pow.f64 x 3))
(/.f64 -1 (pow.f64 x 2))
(/.f64 -1 (pow.f64 x 2))
(+.f64 (/.f64 1 (pow.f64 x 3)) (neg.f64 (/.f64 1 (pow.f64 x 2))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(+.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 0)
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(+.f64 0 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(+.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) (/.f64 1 (pow.f64 x 3)))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(*.f64 1 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(*.f64 (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) 1)
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(*.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))) -1)
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(*.f64 -1 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(neg.f64 (-.f64 (/.f64 1 (pow.f64 x 2)) (/.f64 1 (pow.f64 x 3))))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(+.f64 (/.f64 1 (pow.f64 x 2)) 0)
(/.f64 1 (pow.f64 x 2))
(+.f64 0 (/.f64 1 (pow.f64 x 2)))
(/.f64 1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 2)) 0)
(/.f64 1 (pow.f64 x 2))
(-.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(/.f64 1 (pow.f64 x 2))
(*.f64 1 (/.f64 1 (pow.f64 x 2)))
(/.f64 1 (pow.f64 x 2))
(*.f64 (/.f64 1 (pow.f64 x 2)) 1)
(/.f64 1 (pow.f64 x 2))
(*.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))) -1)
(/.f64 1 (pow.f64 x 2))
(*.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(/.f64 1 (pow.f64 x 2))
(neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 2))))
(/.f64 1 (pow.f64 x 2))
(+.f64 (/.f64 1 (pow.f64 x 3)) 0)
(/.f64 1 (pow.f64 x 3))
(+.f64 0 (/.f64 1 (pow.f64 x 3)))
(/.f64 1 (pow.f64 x 3))
(-.f64 (/.f64 1 (pow.f64 x 3)) 0)
(/.f64 1 (pow.f64 x 3))
(-.f64 0 (neg.f64 (/.f64 1 (pow.f64 x 3))))
(/.f64 1 (pow.f64 x 3))
(*.f64 1 (/.f64 1 (pow.f64 x 3)))
(/.f64 1 (pow.f64 x 3))
(*.f64 (/.f64 1 (pow.f64 x 3)) 1)
(/.f64 1 (pow.f64 x 3))
(*.f64 -1 (neg.f64 (/.f64 1 (pow.f64 x 3))))
(/.f64 1 (pow.f64 x 3))
(*.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))) -1)
(/.f64 1 (pow.f64 x 3))
(neg.f64 (neg.f64 (/.f64 1 (pow.f64 x 3))))
(/.f64 1 (pow.f64 x 3))

eval9.0ms (0.6%)

Compiler: Compiled 387 to 327 computations (15.5% saved)

prune6.0ms (0.4%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	31	0	31
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	31	8	39

Error

0.5b

Counts

39 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.1b	(/.f64 -1 (pow.f64 x 2))
✓	29.9b	(/.f64 -1 x)
✓	33.5b	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
✓	13.3b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
✓	46.1b	(-.f64 (/.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 (-.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 1 (/.f64 1 x))
	62.2b	1

Compiler

Compiled 56 to 45 computations (19.6% saved)

eval0.0ms (0%)

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

prune3.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	7	7
Total	8	8

Error

0.5b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	33.1b	(/.f64 -1 (pow.f64 x 2))
✓	29.9b	(/.f64 -1 x)
✓	33.5b	(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
✓	13.3b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
✓	46.1b	(-.f64 (/.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 (-.f64 1 x) (/.f64 1 x))
✓	30.5b	(-.f64 1 (/.f64 1 x))
	62.2b	1

Compiler

Compiled 56 to 45 computations (19.6% saved)

regimes28.0ms (1.8%)

Counts

8 → 3

Calls

Call 1

Inputs
1
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))

Outputs
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))

Calls

2 calls:

15.0ms	x
11.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Results

Error	Segments	Branch
0.5b	3	`x`
0.5b	3	`(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))`

Compiler

Compiled 61 to 47 computations (23% saved)

bsearch32.0ms (2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	7.412325723941292	11171974828.692543
17.0ms	-8657044366689.438	-1.698107299399543e-5

Results

28.0ms

304×

body

256

valid

Compiler

Compiled 470 to 391 computations (16.8% saved)

regimes27.0ms (1.7%)

Counts

7 → 3

Calls

Call 1

Inputs
1
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(/.f64 -1 (pow.f64 x 2))

Outputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(/.f64 -1 (pow.f64 x 2))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Calls

2 calls:

15.0ms	x
10.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Results

Error	Segments	Branch
0.6b	3	`x`
0.6b	3	`(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))`

Compiler

Compiled 50 to 38 computations (24% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.0	58890.093795307606
0.0ms	-0.01603723245924711	-8.011993865006199e-21

Compiler

Compiled 14 to 11 computations (21.4% saved)

regimes9.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

Inputs
1
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Outputs
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Calls

2 calls:

4.0ms	x
4.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))

Results

Error	Segments	Branch
13.3b	1	`x`
13.3b	1	`(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))`

Compiler

Compiled 45 to 34 computations (24.4% saved)

regimes13.0ms (0.8%)

Counts

5 → 3

Calls

Call 1

Inputs
1
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 1 x))

Outputs
(-.f64 (/.f64 1 x) (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))
(-.f64 (/.f64 1 x) (/.f64 1 x))

Calls

1 calls:

12.0ms

Results

Error	Segments	Branch
14.0b	3	`x`

Compiler

Compiled 26 to 19 computations (26.9% saved)

bsearch43.0ms (2.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
26.0ms	5.505164680596491e+44	1.6377906160052394e+72
16.0ms	-8657044366689.438	-1.698107299399543e-5

Results

21.0ms	144×	body	512	valid
17.0ms	192×	body	256	valid

Compiler

Compiled 392 to 305 computations (22.2% saved)

regimes5.0ms (0.3%)

Accuracy

Total -32.6b remaining (-109%)

Threshold costs -32.6b (-109%)

Counts

4 → 1

Calls

Call 1

Inputs
1
(/.f64 -1 x)
(-.f64 1 (/.f64 1 x))
(-.f64 (-.f64 1 x) (/.f64 1 x))

Outputs
(/.f64 -1 x)

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
29.9b	1	`x`

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	342

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 x -240000) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (if (<=.f64 x 320000) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))))
(if (<=.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) -5764607523034235/576460752303423488) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) (if (<=.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) 0) (/.f64 -1 (pow.f64 x 2)) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(if (<=.f64 x -1) (-.f64 (/.f64 1 x) (/.f64 1 x)) (if (<=.f64 x 38999999999999998739722122938866676340725140154270561041645568) (-.f64 (-.f64 1 x) (/.f64 1 x)) (-.f64 (/.f64 1 x) (/.f64 1 x))))
(/.f64 -1 x)
1

Outputs
(if (<=.f64 x -240000) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2))) (if (<=.f64 x 320000) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) (-.f64 (/.f64 1 (pow.f64 x 3)) (/.f64 1 (pow.f64 x 2)))))
(if (<=.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) -5764607523034235/576460752303423488) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) (if (<=.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x)) 0) (/.f64 -1 (pow.f64 x 2)) (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))))
(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 x))
(if (<=.f64 x -1) (-.f64 (/.f64 1 x) (/.f64 1 x)) (if (<=.f64 x 38999999999999998739722122938866676340725140154270561041645568) (-.f64 (-.f64 1 x) (/.f64 1 x)) (-.f64 (/.f64 1 x) (/.f64 1 x))))
(/.f64 -1 x)
1

Compiler

Compiled 134 to 106 computations (20.9% saved)

soundness0.0ms (0%)

end72.0ms (4.5%)

Compiler: Compiled 129 to 101 computations (21.7% saved)

Details

analyze4.0ms (0.2%)

sample999.0ms (62.9%)

preprocess7.0ms (0.4%)

simplify7.0ms (0.5%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize9.0ms (0.6%)

series1.0ms (0.1%)

rewrite9.0ms (0.5%)

simplify173.0ms (10.9%)

eval19.0ms (1.2%)

prune11.0ms (0.7%)

localize3.0ms (0.2%)

localize6.0ms (0.4%)

series0.0ms (0%)

rewrite6.0ms (0.4%)

simplify8.0ms (0.5%)

localize7.0ms (0.4%)

localize5.0ms (0.3%)

localize5.0ms (0.3%)

series1.0ms (0.1%)

rewrite7.0ms (0.4%)

simplify5.0ms (0.3%)

eval3.0ms (0.2%)

prune5.0ms (0.3%)

localize14.0ms (0.9%)

series1.0ms (0.1%)

rewrite8.0ms (0.5%)

simplify10.0ms (0.6%)

eval9.0ms (0.6%)

prune6.0ms (0.4%)

eval0.0ms (0%)

prune3.0ms (0.2%)

regimes28.0ms (1.8%)

bsearch32.0ms (2%)

regimes27.0ms (1.7%)

bsearch0.0ms (0%)

regimes9.0ms (0.6%)

regimes13.0ms (0.8%)

bsearch43.0ms (2.7%)

regimes5.0ms (0.3%)

simplify5.0ms (0.3%)

soundness0.0ms (0%)

end72.0ms (4.5%)

Profiling