Details

analyze76.0ms (1.7%)

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
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
42.9%	37.5%	50%	0.1%	12.5%	0%	0%	7
55.6%	46.8%	37.5%	0.1%	15.6%	0%	0%	8
63.6%	53.1%	30.4%	0.1%	16.4%	0%	0%	9
73.9%	58.5%	20.7%	0.1%	20.7%	0%	0%	10
79.3%	62%	16.2%	0.1%	21.7%	0%	0%	11
85.7%	65%	10.8%	0.1%	24.1%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.2s (28.2%)

Results

1.2s	8256×	body	256	valid
58.0ms	446×	body	256	infinite

Bogosity

preprocess12.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

28×	`rational.json-simplify-2`
12×	`rational.json-simplify-43`
8×	`rational.json-simplify-47`
8×	`rational.json-simplify-54`
8×	`rational.json-simplify-55`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	22	38
2	32	38
3	41	38
4	60	38
5	62	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify32.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

16×	`rational.json-simplify-2`
6×	`rational.json-simplify-43`
4×	`rational.json-simplify-47`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	14	19
2	20	19
3	25	19
4	35	19
5	36	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

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

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

eval2.0ms (0%)

Compiler: Compiled 39 to 21 computations (46.2% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

6 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(.f64 (+.f64 x y) (.f64 x 2))
▶	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 20 to 13 computations (35% saved)

localize17.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 8 computations (70.4% saved)

series8.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite125.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

2004×	`rational.json-5`
2002×	`rational.json-1`
2002×	`rational.json-2`
2002×	`rational.json-4`
2002×	`rational.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	44
1	78	32
2	258	32
3	962	32
4	3902	32

Stop Event

1×	node limit

Counts

2 → 25

Calls

Call 1

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

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

Outputs

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

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

simplify230.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1312×	`rational.json-simplify-111`
780×	`rational.json-simplify-47`
748×	`rational.json-simplify-76`
716×	`rational.json-simplify-50`
706×	`rational.json-simplify-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	58	1477
1	111	1303
2	267	1303
3	932	1303
4	3732	1303
5	6858	1303

Stop Event

1×	node limit

Counts

73 → 40

Calls

Call 1

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

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

localize17.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite111.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1792×	`rational.json-5`
1790×	`exponential.json-3`
1790×	`rational.json-1`
1790×	`rational.json-2`
1790×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	70	19
2	234	19
3	874	19
4	3463	19

Stop Event

1×	node limit

Counts

1 → 6

Calls

Call 1

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

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

Outputs

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

simplify279.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

1688×	`rational.json-simplify-47`
1548×	`rational.json-simplify-104`
1022×	`rational.json-simplify-79`
980×	`rational.json-simplify-73`
778×	`rational.json-simplify-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	798
1	47	690
2	98	690
3	238	690
4	918	690
5	2875	690
6	4768	690
7	6022	690
8	7739	690

Stop Event

1×	node limit

Counts

30 → 15

Calls

Call 1

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

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

eval21.0ms (0.5%)

Compiler: Compiled 637 to 240 computations (62.3% saved)

prune15.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	5	57

Error

Counts

57 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 (+.f64 x y) (.f64 x 2))
▶	21.0b	(.f64 y (.f64 x 2))
▶	0.0b	(*.f64 x (+.f64 x (+.f64 y (+.f64 y x))))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
▶	21.0b	(.f64 2 (.f64 y x))

Compiler

Compiled 45 to 29 computations (35.6% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series4.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite174.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1520×	`rational.json-5`
1518×	`exponential.json-3`
1518×	`rational.json-1`
1518×	`rational.json-2`
1518×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	61	13
2	208	13
3	766	13
4	2950	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))

Outputs

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

simplify310.0ms (7%)

Algorithm

1×	egg-herbie

Rules

1406×	`rational.json-simplify-43`
944×	`rational.json-simplify-104`
928×	`rational.json-simplify-79`
900×	`rational.json-simplify-73`
816×	`rational.json-simplify-47`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	28	183
1	54	177
2	120	177
3	318	177
4	887	171
5	3307	171
6	4965	171
7	6098	171
8	7552	171

Stop Event

1×	node limit

Counts

11 → 23

Calls

Call 1

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

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

localize16.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 6 computations (78.6% saved)

series7.0ms (0.2%)

Counts

3 → 72

Calls

18 calls:

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

rewrite293.0ms (6.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1868×	`rational.json-5`
1866×	`exponential.json-3`
1866×	`rational.json-1`
1866×	`rational.json-2`
1866×	`rational.json-4`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	57
1	72	57
2	245	45
3	887	45
4	3615	45

Stop Event

1×	node limit

Counts

3 → 31

Calls

Call 1

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

Outputs

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

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

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

simplify275.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

1448×	`rational.json-simplify-47`
1358×	`rational.json-simplify-2`
1134×	`rational.json-simplify-49`
918×	`rational.json-simplify-41`
878×	`rational.json-simplify-43`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	2083
1	140	1825
2	399	1819
3	1748	1819
4	6162	1819

Stop Event

1×	node limit

Counts

103 → 71

Calls

Call 1

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

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

localize135.0ms (3.1%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

eval31.0ms (0.7%)

Compiler: Compiled 1224 to 513 computations (58.1% saved)

prune29.0ms (0.7%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	93	1	94
Fresh	0	0	0
Picked	0	1	1
Done	1	3	4
Total	94	5	99

Error

Counts

99 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 (+.f64 x y) (.f64 x 2))
✓	21.0b	(.f64 y (.f64 x 2))
✓	0.0b	(*.f64 x (+.f64 x (+.f64 y (+.f64 y x))))
▶	32.7b	(*.f64 x (+.f64 x x))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 45 to 28 computations (37.8% saved)

localize9.0ms (0.2%)

Compiler: Compiled 11 to 4 computations (63.6% saved)

eval0.0ms (0%)

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

prune4.0ms (0.1%)

Pruning

5 alts after pruning (0 fresh and 5 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(.f64 (+.f64 x y) (.f64 x 2))
✓	21.0b	(.f64 y (.f64 x 2))
✓	0.0b	(*.f64 x (+.f64 x (+.f64 y (+.f64 y x))))
✓	32.7b	(*.f64 x (+.f64 x x))
✓	0.0b	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 45 to 28 computations (37.8% saved)

regimes99.0ms (2.2%)

Counts

6 → 1

Calls

Call 1

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

Outputs
(.f64 (+.f64 x y) (.f64 x 2))

Calls

4 calls:

67.0ms	(+.f64 (.f64 x x) (.f64 x y))
11.0ms	x
9.0ms	y
9.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))

Results

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

Compiler

Compiled 68 to 39 computations (42.6% saved)

regimes183.0ms (4.2%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

161.0ms	x
20.0ms	y

Results

Error	Segments	Branch
10.7b	5	`x`
5.9b	3	`y`

Compiler

Compiled 23 to 14 computations (39.1% saved)

bsearch57.0ms (1.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	2.471183187090348e-95	3.738526438598466e-91
32.0ms	-2.3318317254693284e-8	-5.024814518692529e-21

Results

49.0ms

288×

body

256

valid

Compiler

Compiled 304 to 209 computations (31.3% saved)

regimes265.0ms (6%)

Accuracy

Total -46.5b remaining (-782.4%)

Threshold costs -46.5b (-782.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

132.0ms	x
131.0ms	y

Results

Error	Segments	Branch
10.7b	5	`x`
5.9b	3	`y`

Compiler

Compiled 18 to 11 computations (38.9% saved)

bsearch219.0ms (5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	2.471183187090348e-95	3.738526438598466e-91
195.0ms	-2.3318317254693284e-8	-5.024814518692529e-21

Results

211.0ms

288×

body

256

valid

Compiler

Compiled 304 to 209 computations (31.3% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	146

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 (+.f64 x y) (.f64 x 2))
(if (<=.f64 y -6779062778503071/1329227995784915872903807060280344576) (.f64 2 (.f64 y x)) (if (<=.f64 y 5166793682102433/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 x (+.f64 x x)) (.f64 y (*.f64 x 2))))
(if (<=.f64 y -6779062778503071/1329227995784915872903807060280344576) (.f64 2 (.f64 y x)) (if (<=.f64 y 4462230907270283/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 x (+.f64 x x)) (.f64 2 (*.f64 y x))))
(.f64 2 (.f64 y x))

Outputs
(.f64 (+.f64 x y) (.f64 x 2))
(if (<=.f64 y -6779062778503071/1329227995784915872903807060280344576) (.f64 2 (.f64 y x)) (if (<=.f64 y 5166793682102433/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 x (+.f64 x x)) (.f64 y (*.f64 x 2))))
(if (<=.f64 y -6779062778503071/1329227995784915872903807060280344576) (.f64 2 (.f64 y x)) (if (<=.f64 y 4462230907270283/2348542582773833227889480596789337027375682548908319870707290971532209025114608443463698998384768703031934976) (.f64 x (+.f64 x x)) (.f64 2 (*.f64 y x))))
(.f64 2 (.f64 y x))

Compiler

Compiled 66 to 42 computations (36.4% saved)

soundness49.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

16×	`rational.json-simplify-2`
6×	`rational.json-simplify-43`
4×	`rational.json-simplify-47`
4×	`rational.json-simplify-54`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	14	19
2	20	19
3	25	19
4	35	19
5	36	19

Stop Event

1×

saturated

Compiler

Compiled 48 to 25 computations (47.9% saved)

end36.0ms (0.8%)

Compiler: Compiled 60 to 32 computations (46.7% saved)

Details

analyze76.0ms (1.7%)

sample1.2s (28.2%)

preprocess12.0ms (0.3%)

simplify32.0ms (0.7%)

eval2.0ms (0%)

prune3.0ms (0.1%)

localize17.0ms (0.4%)

series8.0ms (0.2%)

rewrite125.0ms (2.8%)

simplify230.0ms (5.2%)

localize17.0ms (0.4%)

series4.0ms (0.1%)

rewrite111.0ms (2.5%)

simplify279.0ms (6.3%)

eval21.0ms (0.5%)

prune15.0ms (0.3%)

localize9.0ms (0.2%)

series4.0ms (0.1%)

rewrite174.0ms (4%)

simplify310.0ms (7%)

localize16.0ms (0.4%)

series7.0ms (0.2%)

rewrite293.0ms (6.7%)

simplify275.0ms (6.2%)

localize135.0ms (3.1%)

eval31.0ms (0.7%)

prune29.0ms (0.7%)

localize9.0ms (0.2%)

eval0.0ms (0%)

prune4.0ms (0.1%)

regimes99.0ms (2.2%)

regimes183.0ms (4.2%)

bsearch57.0ms (1.3%)

regimes265.0ms (6%)

bsearch219.0ms (5%)

simplify7.0ms (0.2%)

soundness49.0ms (1.1%)

end36.0ms (0.8%)

Profiling