Details

analyze50.0ms (2%)

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
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample938.0ms (36.4%)

Results

927.0ms

8256×

body

256

valid

Bogosity

preprocess9.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

2×	`swap-x-y`
2×	`rational_best_45_simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	9	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(/.f64 (+.f64 x y) 10)
(/.f64 (+.f64 y x) 10)

Outputs
(/.f64 (+.f64 x y) 10)
(/.f64 (+.f64 y x) 10)
(/.f64 (+.f64 x y) 10)

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational_best_45_simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 10)

Outputs
(/.f64 (+.f64 x y) 10)

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune5.0ms (0.2%)

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 x y) 10)

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite7.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2×	`rational_best_45_simplify-20`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 0

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 10)

Outputs
()

simplify100.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

860×	`rational_best_45_simplify-1`
802×	`rational_best_45_simplify-16`
776×	`rational_best_45_simplify-5`
748×	`rational_best_45_simplify-24`
532×	`rational_best_45_simplify-15`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	384
1	19	276
2	52	276
3	124	276
4	467	276
5	2020	276
6	5081	276

Stop Event

1×	node limit

Counts

24 → 4

Calls

Call 1

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

Outputs
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(*.f64 1/10 (+.f64 y x))

eval1.0ms (0%)

Compiler: Compiled 20 to 14 computations (30% saved)

prune2.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) 10)
▶	0.3b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
▶	0.3b	(*.f64 1/10 (+.f64 y x))
▶	31.9b	(*.f64 1/10 y)
▶	31.4b	(*.f64 1/10 x)

Compiler

Compiled 33 to 25 computations (24.2% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 1/10 x)

Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite143.0ms (5.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1568×	`rational_best_45_simplify-14`
826×	`rational_best_45_simplify-26`
794×	`rational_best_45_simplify-20`
778×	`rational_best_45_simplify-18`
698×	`rational_best_45_simplify-109`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	11	7
2	24	7
3	58	7
4	227	7
5	1016	7
6	4833	7
7	7703	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 1/10 x)

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

Outputs

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

simplify226.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

1116×	`rational_best_45_simplify-5`
776×	`rational_best_45_simplify-16`
754×	`rational_best_45_simplify-7`
740×	`rational_best_45_simplify-1`
570×	`rational_best_45_simplify-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	458
1	159	410
2	636	410
3	2957	410
4	5992	410

Stop Event

1×	node limit

Counts

14 → 17

Calls

Call 1

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

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

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 1/10 y)

Compiler

Compiled 7 to 5 computations (28.6% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite140.0ms (5.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1568×	`rational_best_45_simplify-14`
826×	`rational_best_45_simplify-26`
794×	`rational_best_45_simplify-20`
778×	`rational_best_45_simplify-18`
698×	`rational_best_45_simplify-109`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	11	7
2	24	7
3	58	7
4	227	7
5	1016	7
6	4833	7
7	7703	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(*.f64 1/10 y)

Outputs

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

simplify111.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1116×	`rational_best_45_simplify-5`
776×	`rational_best_45_simplify-16`
754×	`rational_best_45_simplify-7`
740×	`rational_best_45_simplify-1`
570×	`rational_best_45_simplify-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	44	458
1	159	410
2	636	410
3	2957	410
4	5992	410

Stop Event

1×	node limit

Counts

14 → 17

Calls

Call 1

Inputs
(+.f64 (.f64 1/10 y) (.f64 (*.f64 1/10 y) 0))
(-.f64 (*.f64 1/10 y) 0)
(/.f64 (*.f64 1/10 y) 1)
(/.f64 (*.f64 1/10 y) (/.f64 y y))
(/.f64 (*.f64 1/10 y) (/.f64 (/.f64 y y) (/.f64 y y)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 (/.f64 y y)) (*.f64 1/10 (/.f64 y y))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 1/10 y)) (*.f64 y (/.f64 1/10 y))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 y) (*.f64 1/10 y)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 (.f64 (/.f64 y y) (/.f64 y y))) (.f64 1/10 (*.f64 (/.f64 y y) (/.f64 y y)))))
(/.f64 (*.f64 1/10 y) (/.f64 (/.f64 1/10 y) (/.f64 1/10 y)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 1 y)) (*.f64 y (/.f64 1 y))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) y)) (.f64 y (/.f64 (*.f64 1/10 (/.f64 y y)) y))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 (.f64 1/10 (/.f64 y y)) (.f64 (/.f64 y y) (/.f64 y y))) (.f64 (.f64 1/10 (/.f64 y y)) (*.f64 (/.f64 y y) (/.f64 y y)))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) (.f64 1/10 (/.f64 y y)))) (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) (*.f64 1/10 (/.f64 y y))))))

Outputs
(+.f64 (.f64 1/10 y) (.f64 (*.f64 1/10 y) 0))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(-.f64 (*.f64 1/10 y) 0)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (*.f64 1/10 y) 1)
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (*.f64 1/10 y) (/.f64 y y))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (*.f64 1/10 y) (/.f64 (/.f64 y y) (/.f64 y y)))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 (/.f64 y y)) (*.f64 1/10 (/.f64 y y))))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 1/10 y)) (*.f64 y (/.f64 1/10 y))))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 y) (*.f64 1/10 y)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 1/10 (.f64 (/.f64 y y) (/.f64 y y))) (.f64 1/10 (*.f64 (/.f64 y y) (/.f64 y y)))))
(/.f64 (*.f64 1/10 y) (/.f64 (/.f64 1/10 y) (/.f64 1/10 y)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 1 y)) (*.f64 y (/.f64 1 y))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) y)) (.f64 y (/.f64 (*.f64 1/10 (/.f64 y y)) y))))
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 (.f64 1/10 (/.f64 y y)) (.f64 (/.f64 y y) (/.f64 y y))) (.f64 (.f64 1/10 (/.f64 y y)) (*.f64 (/.f64 y y) (/.f64 y y)))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 (/.f64 y y) (.f64 1/10 (.f64 (/.f64 y y) (/.f64 y y)))) (.f64 (/.f64 y y) (.f64 1/10 (*.f64 (/.f64 y y) (/.f64 y y))))))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) (.f64 1/10 (/.f64 y y)))) (.f64 y (/.f64 (.f64 1/10 (/.f64 y y)) (*.f64 1/10 (/.f64 y y))))))

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 1/10 (+.f64 y x))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite153.0ms (5.9%)

Algorithm

1×	batch-egg-rewrite

Rules

948×	`rational_best_45_simplify-16`
920×	`rational_best_45_simplify-3`
762×	`rational_best_45_simplify-20`
730×	`rational_best_45_simplify-1`
568×	`rational_best_45_simplify-24`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	17	13
2	41	13
3	115	13
4	434	13
5	1986	13
6	4666	13
7	7519	13

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

Outputs

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

simplify197.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

1514×	`rational_best_45_simplify-26`
1158×	`rational_best_45_simplify-18`
952×	`rational_best_45_simplify-29`
808×	`rational_best_45_simplify-25`
750×	`rational_best_45_simplify-14`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	98	848
1	331	848
2	1306	848
3	5262	848

Stop Event

1×	node limit

Counts

68 → 47

Calls

Call 1

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

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

localize7.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

series1.0ms (0%)

Counts

1 → 6

Calls

6 calls:

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

rewrite94.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

860×	`rational_best_45_simplify-1`
802×	`rational_best_45_simplify-16`
776×	`rational_best_45_simplify-5`
748×	`rational_best_45_simplify-24`
532×	`rational_best_45_simplify-15`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	19	13
2	52	13
3	124	13
4	467	13
5	2020	13
6	5081	13

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

Inputs
(+.f64 (.f64 1/10 y) (.f64 1/10 x))

Outputs

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

simplify148.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

1146×	`rational_best_45_simplify-24`
1144×	`rational_best_45_simplify-20`
1132×	`rational_best_45_simplify-13`
876×	`rational_best_45_simplify-16`
858×	`rational_best_45_simplify-9`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	198
1	104	198
2	423	198
3	2361	198
4	5130	198
5	7313	198

Stop Event

1×	node limit

Counts

18 → 15

Calls

Call 1

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

Outputs
(*.f64 1/10 x)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 y)
(*.f64 1/10 x)
(*.f64 1/10 x)
(*.f64 1/10 (+.f64 y x))
(*.f64 1/10 (+.f64 x y))
(.f64 (.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))
(.f64 1 (.f64 1/10 (+.f64 y x)))
(*.f64 1/10 (+.f64 x y))
(*.f64 (+.f64 y x) 1/10)
(*.f64 1/10 (+.f64 x y))
(.f64 (+.f64 y x) (.f64 1/10 (/.f64 (+.f64 y x) (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(.f64 (+.f64 y x) (.f64 1 (*.f64 1/10 (/.f64 (+.f64 y x) (+.f64 y x)))))
(*.f64 1/10 (+.f64 x y))
(.f64 (+.f64 y x) (.f64 (+.f64 y x) (/.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(.f64 (+.f64 y x) (.f64 (*.f64 1/10 (/.f64 (+.f64 y x) (+.f64 y x))) (/.f64 (+.f64 y x) (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(.f64 (+.f64 y x) (.f64 (+.f64 y x) (/.f64 (*.f64 1/10 (/.f64 (+.f64 y x) (+.f64 y x))) (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(.f64 (.f64 1/10 (/.f64 (+.f64 y x) (+.f64 y x))) (+.f64 y x))
(*.f64 1/10 (+.f64 x y))
(/.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))
(/.f64 (*.f64 1/10 (+.f64 y x)) (/.f64 (+.f64 y x) (+.f64 y x)))
(*.f64 1/10 (+.f64 x y))

eval29.0ms (1.1%)

Compiler: Compiled 2640 to 996 computations (62.3% saved)

prune17.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	130	5	135

Error

Counts

135 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) 10)
✓	0.3b	(+.f64 (.f64 1/10 y) (.f64 1/10 x))
✓	0.3b	(*.f64 1/10 (+.f64 y x))
✓	31.9b	(*.f64 1/10 y)
✓	31.4b	(*.f64 1/10 x)

Compiler

Compiled 33 to 25 computations (24.2% saved)

regimes21.0ms (0.8%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(/.f64 (+.f64 x y) 10)

Calls

4 calls:

7.0ms	(+.f64 x y)
4.0ms	(/.f64 (+.f64 x y) 10)
4.0ms	y
4.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(/.f64 (+.f64 x y) 10)`
0.0b	1	`(+.f64 x y)`

Compiler

Compiled 43 to 29 computations (32.6% saved)

regimes9.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

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

Outputs
(*.f64 1/10 (+.f64 y x))

Calls

2 calls:

5.0ms	y
3.0ms	x

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`y`

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes108.0ms (4.2%)

Accuracy

Total -51.3b remaining (-487.7%)

Threshold costs -51.3b (-487.7%)

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 1/10 x)
(*.f64 1/10 y)

Outputs
(*.f64 1/10 x)
(*.f64 1/10 y)

Calls

2 calls:

102.0ms	x
5.0ms	y

Results

Error	Segments	Branch
11.5b	2	`x`
10.5b	2	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch6.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
6.0ms	5.570510504122243e-68	8.572976337275378e-68

Results

5.0ms

64×

body

256

valid

Compiler

Compiled 60 to 49 computations (18.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	56

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 10)
(*.f64 1/10 (+.f64 y x))
(if (<=.f64 y 5160214244974593/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 x)

Outputs
(/.f64 (+.f64 x y) 10)
(*.f64 1/10 (+.f64 y x))
(if (<=.f64 y 5160214244974593/60708402882054033466233184588234965832575213720379360039119137804340758912662765568) (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 x)

Compiler

Compiled 31 to 23 computations (25.8% saved)

soundness0.0ms (0%)

end26.0ms (1%)

Remove: (sort x y)
Compiler: Compiled 39 to 27 computations (30.8% saved)

Details

analyze50.0ms (2%)

sample938.0ms (36.4%)

preprocess9.0ms (0.3%)

simplify7.0ms (0.3%)

eval0.0ms (0%)

prune5.0ms (0.2%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite7.0ms (0.3%)

simplify100.0ms (3.9%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite143.0ms (5.6%)

simplify226.0ms (8.8%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite140.0ms (5.4%)

simplify111.0ms (4.3%)

localize5.0ms (0.2%)

series0.0ms (0%)

rewrite153.0ms (5.9%)

simplify197.0ms (7.7%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite94.0ms (3.7%)

simplify148.0ms (5.7%)

eval29.0ms (1.1%)

prune17.0ms (0.7%)

regimes21.0ms (0.8%)

regimes9.0ms (0.4%)

regimes108.0ms (4.2%)

bsearch6.0ms (0.2%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end26.0ms (1%)

Profiling