Details

analyze94.0ms (2.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
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)

sample1.2s (33.9%)

Results

1.2s

8256×

body

256

valid

Bogosity

preprocess24.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

2×	`swap-x-y`
2×	`rational.json-simplify-1`

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)

simplify16.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-1`

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)

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.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%)

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	x	@	0	(/.f64 (+.f64 x y) 10)
0.0ms	y	@	inf	(/.f64 (+.f64 x y) 10)
0.0ms	y	@	-inf	(/.f64 (+.f64 x y) 10)

rewrite93.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1282×	`rational.json-5`
1280×	`exponential.json-3`
1280×	`rational.json-1`
1280×	`rational.json-2`
1280×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	58	13
2	186	13
3	666	13
4	2520	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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

Outputs

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

simplify226.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

992×	`rational.json-simplify-47`
924×	`rational.json-simplify-1`
854×	`rational.json-simplify-111`
848×	`exponential.json-simplify-26`
652×	`rational.json-simplify-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	605
1	87	497
2	173	497
3	800	497
4	3891	497
5	7205	497

Stop Event

1×	node limit

Counts

41 → 22

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))
(+.f64 (/.f64 (+.f64 x y) 10) 0)
(+.f64 0 (/.f64 (+.f64 x y) 10))
(-.f64 (/.f64 (+.f64 x y) 10) 0)
(-.f64 0 (neg.f64 (/.f64 (+.f64 x y) 10)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (+.f64 x y) 10))) 1)
(*.f64 (/.f64 (+.f64 x y) 10) 1)
(*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))
(*.f64 1 (/.f64 (+.f64 x y) 10))
(*.f64 (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (+.f64 x y) 10))
(.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 1 (/.f64 (+.f64 x y) 10)))
(.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (+.f64 x y) 10)))
(.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))
(.f64 (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))))
(.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))))
(.f64 (.f64 (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))))
(pow.f64 (/.f64 (+.f64 x y) 10) 1)
(neg.f64 (neg.f64 (/.f64 (+.f64 x y) 10)))

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))
(+.f64 (/.f64 (+.f64 x y) 10) 0)
(/.f64 (+.f64 y x) 10)
(+.f64 0 (/.f64 (+.f64 x y) 10))
(/.f64 (+.f64 y x) 10)
(-.f64 (/.f64 (+.f64 x y) 10) 0)
(/.f64 (+.f64 y x) 10)
(-.f64 0 (neg.f64 (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (+.f64 x y) 10))) 1)
(/.f64 (+.f64 y x) 10)
(*.f64 (/.f64 (+.f64 x y) 10) 1)
(/.f64 (+.f64 y x) 10)
(*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)
(*.f64 1 (/.f64 (+.f64 x y) 10))
(/.f64 (+.f64 y x) 10)
(*.f64 (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (+.f64 x y) 10))
(/.f64 (+.f64 y x) 10)
(.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 1 (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)
(.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (/.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)
(.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)
(.f64 (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))))
(/.f64 (+.f64 y x) 10)
(.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (*.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))))
(/.f64 (+.f64 y x) 10)
(.f64 (.f64 (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10))) (.f64 (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)) (.f64 (/.f64 (+.f64 x y) 10) (/.f64 (+.f64 x y) 10)))))
(/.f64 (+.f64 y x) 10)
(pow.f64 (/.f64 (+.f64 x y) 10) 1)
(/.f64 (+.f64 y x) 10)
(neg.f64 (neg.f64 (/.f64 (+.f64 x y) 10)))
(/.f64 (+.f64 y x) 10)

eval6.0ms (0.2%)

Compiler: Compiled 371 to 198 computations (46.6% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	5	23

Error

0.0b

Counts

23 → 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))
▶	29.6b	(*.f64 1/10 y)
▶	34.1b	(*.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)

rewrite153.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

966×	`rational.json-5`
964×	`exponential.json-3`
964×	`rational.json-1`
964×	`rational.json-2`
964×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	42	7
2	141	7
3	506	7
4	1913	7
5	7883	7

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(*.f64 1/10 x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/10 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1/10 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (.f64 1/10 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (.f64 1/10 x))) 1)))) (#(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 (.f64 x 2/5) (.f64 x 2/5)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 1/10 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 1/10 x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/10 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/10 x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/10 x) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 1/10 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 x))) 1)))) (#(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 (*.f64 x 2/5) (*.f64 x 2/5)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 1/10 x)))))))

simplify190.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1536×	`rational.json-simplify-79`
1208×	`rational.json-simplify-55`
1074×	`rational.json-simplify-43`
1012×	`rational.json-simplify-104`
934×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	87
1	48	87
2	99	87
3	247	87
4	716	87
5	2424	87
6	5033	87
7	6242	87
8	7445	87

Stop Event

1×	node limit

Counts

9 → 11

Calls

Call 1

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

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.4b	(*.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	@	0	(*.f64 1/10 y)
0.0ms	y	@	inf	(*.f64 1/10 y)
0.0ms	y	@	-inf	(*.f64 1/10 y)

rewrite151.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

966×	`rational.json-5`
964×	`exponential.json-3`
964×	`rational.json-1`
964×	`rational.json-2`
964×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	42	7
2	141	7
3	506	7
4	1913	7
5	7883	7

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(*.f64 1/10 y)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/10 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/10 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/10 y) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (*.f64 1/10 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 y))) 1)))) (#(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 (*.f64 y 2/5) (*.f64 y 2/5)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 1/10 y)))))))

simplify197.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1536×	`rational.json-simplify-79`
1208×	`rational.json-simplify-55`
1074×	`rational.json-simplify-43`
1012×	`rational.json-simplify-104`
934×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	87
1	48	87
2	99	87
3	247	87
4	716	87
5	2424	87
6	5033	87
7	6242	87
8	7445	87

Stop Event

1×	node limit

Counts

9 → 11

Calls

Call 1

Inputs
(+.f64 (*.f64 1/10 y) 0)
(+.f64 0 (*.f64 1/10 y))
(-.f64 (*.f64 1/10 y) 0)
(-.f64 0 (neg.f64 (*.f64 1/10 y)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 y))) 1)
(/.f64 (*.f64 1/10 y) 1)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y 2/5) (*.f64 y 2/5)))
(pow.f64 (*.f64 1/10 y) 1)
(neg.f64 (neg.f64 (*.f64 1/10 y)))

Outputs
(+.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(+.f64 0 (*.f64 1/10 y))
(*.f64 1/10 y)
(-.f64 (*.f64 1/10 y) 0)
(*.f64 1/10 y)
(-.f64 0 (neg.f64 (*.f64 1/10 y)))
(*.f64 1/10 y)
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 y))) 1)
(*.f64 1/10 y)
(/.f64 (*.f64 1/10 y) 1)
(*.f64 1/10 y)
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y 2/5) (*.f64 y 2/5)))
(/.f64 (.f64 1/10 y) (/.f64 (.f64 y 8/5) (*.f64 y 8/5)))
(pow.f64 (*.f64 1/10 y) 1)
(*.f64 1/10 y)
(neg.f64 (neg.f64 (*.f64 1/10 y)))
(*.f64 1/10 y)

localize5.0ms (0.1%)

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)

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

rewrite80.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1378×	`rational.json-5`
1376×	`exponential.json-3`
1376×	`rational.json-1`
1376×	`rational.json-2`
1376×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	59	13
2	192	13
3	703	13
4	2716	13

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/10 (+.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 1/10 (+.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 0 (neg.f64 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 (+.f64 y x)))) 1)))) (#(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 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 (+.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (*.f64 1/10 (+.f64 y x))))))))

simplify180.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1796×	`rational.json-simplify-47`
1106×	`rational.json-simplify-1`
958×	`rational.json-simplify-54`
716×	`rational.json-simplify-41`
712×	`rational.json-simplify-111`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	555
1	54	393
2	121	393
3	373	393
4	1484	393
5	4214	393
6	7537	393

Stop Event

1×	node limit

Counts

33 → 14

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 (+.f64 y x)) 0)
(+.f64 0 (*.f64 1/10 (+.f64 y x)))
(-.f64 (*.f64 1/10 (+.f64 y x)) 0)
(-.f64 0 (neg.f64 (*.f64 1/10 (+.f64 y x))))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 (+.f64 y x)))) 1)
(/.f64 (*.f64 1/10 (+.f64 y x)) 1)
(/.f64 (.f64 1/10 (+.f64 y x)) (/.f64 (.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)
(neg.f64 (neg.f64 (*.f64 1/10 (+.f64 y x))))

Outputs
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 y)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/10 x)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (.f64 1/10 y) (.f64 1/10 x))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 (*.f64 1/10 (+.f64 y x)) 0)
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(+.f64 0 (*.f64 1/10 (+.f64 y x)))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(-.f64 (*.f64 1/10 (+.f64 y x)) 0)
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(-.f64 0 (neg.f64 (*.f64 1/10 (+.f64 y x))))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 1/10 (+.f64 y x)))) 1)
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(/.f64 (*.f64 1/10 (+.f64 y x)) 1)
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.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 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))
(neg.f64 (neg.f64 (*.f64 1/10 (+.f64 y x))))
(+.f64 (.f64 1/10 x) (.f64 1/10 y))
(*.f64 1/10 (+.f64 x y))

localize8.0ms (0.2%)

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 x)
	0.4b	(*.f64 1/10 y)

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

rewrite93.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1738×	`rational.json-5`
1736×	`exponential.json-3`
1736×	`rational.json-1`
1736×	`rational.json-2`
1736×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	68	13
2	224	13
3	852	13
4	3384	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1/10 (+.f64 y x)) 0)))) (#(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 (*.f64 1/10 (+.f64 y x)) (/.f64 (*.f64 (+.f64 y x) 1/5) (*.f64 (+.f64 y x) 1/5)))))) (#(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 1/100 (/.f64 (+.f64 y x) 1/10))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/100 (*.f64 (/.f64 (+.f64 y x) 1/10) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/100 (+.f64 (/.f64 y 1/10) (/.f64 x 1/10)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))) (/.f64 1 (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))) (*.f64 (/.f64 1 (*.f64 1/10 (+.f64 y x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 y x) 1/10) 1/100)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 1/10 (+.f64 y x))) (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))) (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x)))) (/.f64 (/.f64 1 (*.f64 1/10 (+.f64 y x))) (*.f64 (*.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/10000 (/.f64 (/.f64 (+.f64 y x) 1/10) 1/100))))) (#(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 (+.f64 y x) 1/5) (*.f64 (+.f64 y x) 1/5)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 1/10 (+.f64 y x)) 1)))))

simplify239.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

1154×	`rational.json-simplify-111`
976×	`exponential.json-simplify-26`
792×	`rational.json-simplify-1`
626×	`rational.json-simplify-2`
626×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	300
1	86	300
2	198	300
3	808	300
4	2602	300
5	4249	300
6	7240	300

Stop Event

1×	node limit

Counts

24 → 22

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 (*.f64 1/10 (+.f64 y x)) 0)
(*.f64 1/10 (+.f64 y x))
(.f64 (.f64 1/10 (+.f64 y x)) 1)
(.f64 (.f64 1/10 (+.f64 y x)) (/.f64 (.f64 (+.f64 y x) 1/5) (.f64 (+.f64 y x) 1/5)))
(.f64 1 (.f64 1/10 (+.f64 y x)))
(*.f64 (+.f64 y x) 1/10)
(*.f64 1/100 (/.f64 (+.f64 y x) 1/10))
(.f64 1/100 (.f64 (/.f64 (+.f64 y x) 1/10) 1))
(*.f64 1/100 (+.f64 (/.f64 y 1/10) (/.f64 x 1/10)))
(.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (/.f64 1 (*.f64 1/10 (+.f64 y x))))
(.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (.f64 (/.f64 1 (.f64 1/10 (+.f64 y x))) 1))
(*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)
(.f64 (/.f64 1 (.f64 1/10 (+.f64 y x))) (.f64 (.f64 1/10 (+.f64 y x)) (*.f64 1/10 (+.f64 y x))))
(.f64 (.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x)))) (/.f64 (/.f64 1 (.f64 1/10 (+.f64 y x))) (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x)))))
(*.f64 1/10000 (/.f64 (/.f64 (+.f64 y x) 1/10) 1/100))
(/.f64 (*.f64 1/10 (+.f64 y x)) 1)
(/.f64 (.f64 1/10 (+.f64 y x)) (/.f64 (.f64 (+.f64 y x) 1/5) (*.f64 (+.f64 y x) 1/5)))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)

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 (*.f64 1/10 (+.f64 y x)) 0)
(*.f64 1/10 (+.f64 x y))
(*.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 (.f64 1/10 (+.f64 y x)) (/.f64 (.f64 (+.f64 y x) 1/5) (.f64 (+.f64 y x) 1/5)))
(*.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 1/100 (/.f64 (+.f64 y x) 1/10))
(*.f64 1/10 (+.f64 x y))
(.f64 1/100 (.f64 (/.f64 (+.f64 y x) 1/10) 1))
(*.f64 1/10 (+.f64 x y))
(*.f64 1/100 (+.f64 (/.f64 y 1/10) (/.f64 x 1/10)))
(.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (/.f64 1 (*.f64 1/10 (+.f64 y x))))
(*.f64 1/10 (+.f64 x y))
(.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (.f64 (/.f64 1 (.f64 1/10 (+.f64 y x))) 1))
(*.f64 1/10 (+.f64 x y))
(*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)
(*.f64 1/10 (+.f64 x y))
(.f64 (/.f64 1 (.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))
(.f64 (.f64 (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x))) (.f64 (.f64 1/10 (+.f64 y x)) (.f64 1/10 (+.f64 y x)))) (/.f64 (/.f64 1 (.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))
(*.f64 1/10000 (/.f64 (/.f64 (+.f64 y x) 1/10) 1/100))
(*.f64 1/10000 (/.f64 (/.f64 (+.f64 x y) 1/10) 1/100))
(/.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))
(/.f64 (.f64 1/10 (+.f64 y x)) (/.f64 (.f64 (+.f64 y x) 1/5) (*.f64 (+.f64 y x) 1/5)))
(*.f64 1/10 (+.f64 x y))
(pow.f64 (*.f64 1/10 (+.f64 y x)) 1)
(*.f64 1/10 (+.f64 x y))

eval16.0ms (0.4%)

Compiler: Compiled 715 to 484 computations (32.3% saved)

prune14.0ms (0.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	80	5	85

Error

0.0b

Counts

85 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) 10)
▶	0.3b	(*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)
✓	0.3b	(*.f64 1/10 (+.f64 y x))
✓	29.6b	(*.f64 1/10 y)
✓	34.1b	(*.f64 1/10 x)

Compiler

Compiled 33 to 25 computations (24.2% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 11 computations (47.6% saved)

series2.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite87.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1574×	`rational.json-5`
1572×	`exponential.json-3`
1572×	`rational.json-1`
1572×	`rational.json-2`
1572×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	74	32
2	224	32
3	806	32
4	3102	32

Stop Event

1×	node limit

Counts

2 → 24

Calls

Call 1

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

Outputs

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

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

simplify178.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1100×	`rational.json-simplify-54`
606×	`rational.json-simplify-42`
576×	`rational.json-simplify-41`
548×	`rational.json-simplify-79`
532×	`rational.json-simplify-76`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	1134
1	109	918
2	232	918
3	780	918
4	2801	918
5	6236	918

Stop Event

1×	node limit

Counts

72 → 37

Calls

Call 1

Inputs
(*.f64 10 x)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(*.f64 10 y)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(*.f64 10 y)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(*.f64 10 y)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(*.f64 10 x)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(*.f64 10 x)
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 10 y))
(+.f64 (.f64 10 x) (.f64 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 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 (+.f64 y x) 1/10) 0)
(+.f64 0 (/.f64 (+.f64 y x) 1/10))
(-.f64 (/.f64 (+.f64 y x) 1/10) 0)
(-.f64 0 (neg.f64 (/.f64 (+.f64 y x) 1/10)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (+.f64 y x) 1/10))) 1)
(*.f64 (/.f64 (+.f64 y x) 1/10) 1)
(*.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)))
(*.f64 1 (/.f64 (+.f64 y x) 1/10))
(*.f64 (/.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)) (/.f64 (+.f64 y x) 1/10))
(.f64 (.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)) (/.f64 1 (/.f64 (+.f64 y x) 1/10)))
(.f64 (/.f64 1 (/.f64 (+.f64 y x) 1/10)) (.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)))
(.f64 (.f64 (/.f64 (+.f64 y x) 1/10) (.f64 (/.f64 (+.f64 y x) 1/10) (.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)))) (/.f64 (/.f64 1 (/.f64 (+.f64 y x) 1/10)) (*.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10))))
(.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 y x) 1/10)) (.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10))) (.f64 (/.f64 (+.f64 y x) 1/10) (.f64 (/.f64 (+.f64 y x) 1/10) (*.f64 (/.f64 (+.f64 y x) 1/10) (/.f64 (+.f64 y x) 1/10)))))
(pow.f64 (/.f64 (+.f64 y x) 1/10) 1)
(neg.f64 (neg.f64 (/.f64 (+.f64 y x) 1/10)))
(+.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100) 0)
(+.f64 0 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100))
(-.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100) 0)
(-.f64 0 (neg.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)))
(-.f64 (-.f64 0 (-.f64 -1 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100))) 1)
(/.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100) 1)
(/.f64 (.f64 (/.f64 (+.f64 y x) 1/10) 1/100) (/.f64 (.f64 (/.f64 (+.f64 y x) 1/10) 1/100) (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)))
(pow.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100) 1)
(neg.f64 (neg.f64 (*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)))

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

eval8.0ms (0.2%)

Compiler: Compiled 429 to 269 computations (37.3% saved)

prune8.0ms (0.2%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	37	5	42

Error

0.0b

Counts

42 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) 10)
✓	0.3b	(*.f64 (/.f64 (+.f64 y x) 1/10) 1/100)
✓	0.3b	(*.f64 1/10 (+.f64 y x))
✓	29.6b	(*.f64 1/10 y)
✓	34.1b	(*.f64 1/10 x)

Compiler

Compiled 33 to 25 computations (24.2% saved)

regimes25.0ms (0.7%)

Counts

6 → 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 (+.f64 y x) 1/10) 1/100)
(+.f64 (.f64 1/10 y) (.f64 1/10 x))

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

Calls

4 calls:

6.0ms	x
5.0ms	(+.f64 x y)
5.0ms	y
5.0ms	(/.f64 (+.f64 x y) 10)

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 50 to 33 computations (34% saved)

regimes141.0ms (3.9%)

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:

136.0ms	y
4.0ms	x

Results

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

regimes22.0ms (0.6%)

Accuracy

Total -53.2b remaining (-605.4%)

Threshold costs -53.2b (-605.4%)

Counts

2 → 4

Calls

Call 1

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

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

Calls

2 calls:

13.0ms	y
8.0ms	x

Results

Error	Segments	Branch
11.7b	2	`x`
8.8b	4	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch42.0ms (1.2%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
13.0ms	6.674429772902247e-115	4.924970783237851e-113
15.0ms	4.877830006387598e-166	3.285341245020981e-159
14.0ms	5.461701863597341e-184	2.8054232690113155e-179

Results

35.0ms

384×

body

256

valid

Compiler

Compiled 300 to 249 computations (17% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	88

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x y) 10)
(*.f64 1/10 (+.f64 y x))
(if (<=.f64 y 4087946793389487/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (.f64 1/10 x) (if (<=.f64 y 4066525257503373/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752) (.f64 1/10 y) (if (<=.f64 y 8318009082362445/173291855882550928723650886508942731464777317210988535948154973788413831737851601439998400381508723631086950685087723239310884864) (.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 4087946793389487/145998099763910246996517491382409322396583312231953917778534160572776805350677676368189209962155884792916553906355021033942038551084014015944085162231110854024063829579528478402651974151891320832) (.f64 1/10 x) (if (<=.f64 y 4066525257503373/8299031137761985917024815727382322302024892464484873799991314659381305622825816292799414097894207588576395773222601578364790302150823550615773749668227927374122363606803019047370752) (.f64 1/10 y) (if (<=.f64 y 8318009082362445/173291855882550928723650886508942731464777317210988535948154973788413831737851601439998400381508723631086950685087723239310884864) (.f64 1/10 x) (.f64 1/10 y))))
(*.f64 1/10 x)

Compiler

Compiled 45 to 33 computations (26.7% saved)

soundness0.0ms (0%)

end36.0ms (1%)

Remove: (sort x y)
Compiler: Compiled 53 to 37 computations (30.2% saved)

Details

analyze94.0ms (2.6%)

sample1.2s (33.9%)

preprocess24.0ms (0.7%)

simplify16.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series2.0ms (0%)

rewrite93.0ms (2.6%)

simplify226.0ms (6.3%)

eval6.0ms (0.2%)

prune6.0ms (0.2%)

localize3.0ms (0.1%)

series1.0ms (0%)

rewrite153.0ms (4.3%)

simplify190.0ms (5.3%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite151.0ms (4.2%)

simplify197.0ms (5.5%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite80.0ms (2.2%)

simplify180.0ms (5%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite93.0ms (2.6%)

simplify239.0ms (6.7%)

eval16.0ms (0.4%)

prune14.0ms (0.4%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite87.0ms (2.4%)

simplify178.0ms (5%)

eval8.0ms (0.2%)

prune8.0ms (0.2%)

regimes25.0ms (0.7%)

regimes141.0ms (3.9%)

regimes22.0ms (0.6%)

bsearch42.0ms (1.2%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end36.0ms (1%)

Profiling