Details

analyze51.0ms (1.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
56.2%	43.7%	0.1%	7
65.6%	34.3%	0.1%	8
76.5%	23.4%	0.1%	9
82%	18%	0.1%	10
87.8%	12.1%	0.1%	11
90.7%	9.2%	0.1%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample898.0ms (32.3%)

Results

877.0ms	8237×	body	256	valid
5.0ms	62×	body	256	invalid
1.0ms	8×	body	1024	valid
1.0ms	7×	body	512	valid
1.0ms	4×	body	2048	valid

preprocess59.0ms (2.1%)

Algorithm

2×	egg-herbie

Rules

86×	`fma-neg_binary64`
48×	`fma-def_binary64`
26×	`cancel-sign-sub-inv_binary64`
24×	`distribute-rgt-in_binary64`
22×	`associate--r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	34	14
3	70	14
4	114	14
5	185	14
6	273	14
7	374	14
8	422	14
9	424	14
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify20.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

113×	`fma-def_binary64`
83×	`fma-neg_binary64`
31×	`distribute-rgt-in_binary64`
27×	`cancel-sign-sub-inv_binary64`
19×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	9	7
2	20	7
3	40	7
4	67	7
5	96	7
6	167	7
7	270	7
8	383	7
9	456	7
10	540	7
11	556	7

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

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 500 (-.f64 x y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize21.0ms (0.8%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite303.0ms (10.9%)

Algorithm

1×	batch-egg-rewrite

Rules

703×	`pow1_binary64`
657×	`add-log-exp_binary64`
657×	`log1p-expm1-u_binary64`
657×	`expm1-log1p-u_binary64`
644×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	131	7
2	1735	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 500) (.f64 (neg.f64 y) 500))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 x) (.f64 500 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 500 (-.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) 500) (fma.f64 x x (.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y y)) 500) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 500 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 500 (-.f64 (.f64 x x) (.f64 y y))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 500 (-.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 500 (-.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 500 (-.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 (-.f64 x y) 2) 250000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 500) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 500 (-.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 500 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 500 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 500 (-.f64 x y))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 500) (*.f64 (neg.f64 y) 500))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 500 x) (*.f64 500 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 500 (-.f64 x y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 y 3)) 500) (fma.f64 x x (*.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y y)) 500) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 500 (-.f64 (pow.f64 x 3) (pow.f64 y 3))) (fma.f64 x x (*.f64 y (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 500 (-.f64 (*.f64 x x) (*.f64 y y))) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 500 (-.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 500 (-.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 500 (-.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (-.f64 x y) 2) 250000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 500) (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 500 (-.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 500 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 500 (-.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 500 (-.f64 x y))))))))

simplify12.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	15	168

Stop Event

1×

saturated

Counts

41 → 21

Calls

Call 1

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

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

eval4.0ms (0.2%)

Compiler: Compiled 184 to 107 computations (41.8% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	17	4	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	5	22

Error

0.0b

Counts

22 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 500 (-.f64 x y))
▶	33.5b	(*.f64 500 x)
▶	0.0b	(fma.f64 -500 y (*.f64 500 x))
▶	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
▶	29.9b	(*.f64 -500 y)

Compiler

Compiled 34 to 26 computations (23.5% saved)

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize9.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series2.0ms (0.1%)

Counts

1 → 6

Calls

6 calls:

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

rewrite74.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

850×	`pow1_binary64`
793×	`add-log-exp_binary64`
793×	`log1p-expm1-u_binary64`
793×	`expm1-log1p-u_binary64`
778×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	8
1	171	8
2	2167	8

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

Inputs
(+.f64 (.f64 500 x) (.f64 -500 y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 500 x (.f64 -500 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (.f64 500 x) 2) (+.f64 (.f64 500 x) (.f64 500 y))) (/.f64 (pow.f64 (.f64 -500 y) 2) (+.f64 (.f64 500 x) (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 500 x (.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 500 x (.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 500 x (.f64 -500 y))) (pow.f64 (cbrt.f64 (fma.f64 500 x (.f64 -500 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 500 x (.f64 -500 y))) 2) (cbrt.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 500 x (.f64 -500 y))) (sqrt.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 125000000 (pow.f64 x 3)) (.f64 -125000000 (pow.f64 y 3))) (/.f64 1 (+.f64 (pow.f64 (.f64 500 x) 2) (.f64 (.f64 -500 y) (-.f64 (.f64 -500 y) (.f64 500 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 500 x) 2) (pow.f64 (.f64 -500 y) 2)) (/.f64 1 (+.f64 (.f64 500 x) (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 500 x) 2) (.f64 (.f64 -500 y) (-.f64 (.f64 -500 y) (.f64 500 x)))) (+.f64 (.f64 125000000 (pow.f64 x 3)) (.f64 -125000000 (pow.f64 y 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (.f64 500 x) (.f64 500 y)) (-.f64 (pow.f64 (.f64 500 x) 2) (pow.f64 (.f64 -500 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 125000000 (pow.f64 x 3)) (.f64 -125000000 (pow.f64 y 3))) (+.f64 (pow.f64 (.f64 500 x) 2) (.f64 (.f64 -500 y) (-.f64 (.f64 -500 y) (.f64 500 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 125000000 (pow.f64 x 3)) (.f64 -125000000 (pow.f64 y 3))) (+.f64 (pow.f64 (.f64 -500 y) 2) (-.f64 (pow.f64 (.f64 500 x) 2) (.f64 500 (.f64 x (.f64 -500 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 500 x) 2) (pow.f64 (.f64 -500 y) 2)) (+.f64 (.f64 500 x) (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (.f64 125000000 (pow.f64 x 3)) (.f64 -125000000 (pow.f64 y 3)))) (neg.f64 (+.f64 (pow.f64 (.f64 500 x) 2) (.f64 (.f64 -500 y) (-.f64 (.f64 -500 y) (.f64 500 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (.f64 500 x) 2) (pow.f64 (.f64 -500 y) 2))) (neg.f64 (+.f64 (.f64 500 x) (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 -500 y) 2) (pow.f64 (.f64 500 x) 2)) (-.f64 (.f64 -500 y) (.f64 500 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 500 x (.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 500 x (.f64 -500 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 500 x (.f64 -500 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 500 x (.f64 -500 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 500 x (.f64 -500 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 500 x (.f64 -500 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 500 x (.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 x (.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 500 (.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -500 y (.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -500 (.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 500 x) (.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 -500 y) (.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 -500 y)) 2) (cbrt.f64 (.f64 -500 y)) (.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 500 x)) 2) (cbrt.f64 (.f64 500 x)) (.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 -500 y)) (sqrt.f64 (.f64 -500 y)) (.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 500 x)) (sqrt.f64 (.f64 500 x)) (*.f64 -500 y))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 500 x (*.f64 -500 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 500 x) 2) (+.f64 (*.f64 500 x) (*.f64 500 y))) (/.f64 (pow.f64 (*.f64 -500 y) 2) (+.f64 (*.f64 500 x) (*.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 500 x (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 500 x (*.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 500 x (*.f64 -500 y))) (pow.f64 (cbrt.f64 (fma.f64 500 x (*.f64 -500 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 500 x (*.f64 -500 y))) 2) (cbrt.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 500 x (*.f64 -500 y))) (sqrt.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 125000000 (pow.f64 x 3)) (*.f64 -125000000 (pow.f64 y 3))) (/.f64 1 (+.f64 (pow.f64 (*.f64 500 x) 2) (*.f64 (*.f64 -500 y) (-.f64 (*.f64 -500 y) (*.f64 500 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 500 x) 2) (pow.f64 (*.f64 -500 y) 2)) (/.f64 1 (+.f64 (*.f64 500 x) (*.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (*.f64 500 x) 2) (*.f64 (*.f64 -500 y) (-.f64 (*.f64 -500 y) (*.f64 500 x)))) (+.f64 (*.f64 125000000 (pow.f64 x 3)) (*.f64 -125000000 (pow.f64 y 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (*.f64 500 x) (*.f64 500 y)) (-.f64 (pow.f64 (*.f64 500 x) 2) (pow.f64 (*.f64 -500 y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 125000000 (pow.f64 x 3)) (*.f64 -125000000 (pow.f64 y 3))) (+.f64 (pow.f64 (*.f64 500 x) 2) (*.f64 (*.f64 -500 y) (-.f64 (*.f64 -500 y) (*.f64 500 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 125000000 (pow.f64 x 3)) (*.f64 -125000000 (pow.f64 y 3))) (+.f64 (pow.f64 (*.f64 -500 y) 2) (-.f64 (pow.f64 (*.f64 500 x) 2) (*.f64 500 (*.f64 x (*.f64 -500 y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 500 x) 2) (pow.f64 (*.f64 -500 y) 2)) (+.f64 (*.f64 500 x) (*.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (*.f64 125000000 (pow.f64 x 3)) (*.f64 -125000000 (pow.f64 y 3)))) (neg.f64 (+.f64 (pow.f64 (*.f64 500 x) 2) (*.f64 (*.f64 -500 y) (-.f64 (*.f64 -500 y) (*.f64 500 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 500 x) 2) (pow.f64 (*.f64 -500 y) 2))) (neg.f64 (+.f64 (*.f64 500 x) (*.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 -500 y) 2) (pow.f64 (*.f64 500 x) 2)) (-.f64 (*.f64 -500 y) (*.f64 500 x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 500 x (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 500 x (*.f64 -500 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 500 x (*.f64 -500 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 500 x (*.f64 -500 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 500 x (*.f64 -500 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 500 x (*.f64 -500 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 500 x (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 x (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 500 (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -500 y (*.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y -500 (*.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 500 x) (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 -500 y) (*.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 -500 y)) 2) (cbrt.f64 (*.f64 -500 y)) (*.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 500 x)) 2) (cbrt.f64 (*.f64 500 x)) (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 -500 y)) (sqrt.f64 (*.f64 -500 y)) (*.f64 500 x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 500 x)) (sqrt.f64 (*.f64 500 x)) (*.f64 -500 y))))))

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	24
1	9	24

Stop Event

1×

saturated

Counts

43 → 39

Calls

Call 1

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

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

localize42.0ms (1.5%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

eval12.0ms (0.4%)

Compiler: Compiled 542 to 422 computations (22.1% saved)

prune11.0ms (0.4%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	38	6	44

Error

Counts

44 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 500 (-.f64 x y))
▶	0.0b	(fma.f64 x 500 (*.f64 -500 y))
✓	33.5b	(*.f64 500 x)
✓	0.0b	(fma.f64 -500 y (*.f64 500 x))
✓	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
✓	29.9b	(*.f64 -500 y)

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x 500 (*.f64 -500 y))

Compiler

Compiled 15 to 10 computations (33.3% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite48.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

606×	`pow1_binary64`
560×	`add-log-exp_binary64`
560×	`log1p-expm1-u_binary64`
560×	`expm1-log1p-u_binary64`
550×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	140	8
2	1512	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -500 y) (*.f64 x 500))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 500) (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 x 500) 1) (*.f64 -500 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (fma.f64 x 500 (*.f64 -500 y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x 500 (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x 500 (*.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x 500 (*.f64 -500 y))) (pow.f64 (cbrt.f64 (fma.f64 x 500 (*.f64 -500 y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x 500 (*.f64 -500 y))) 2) (cbrt.f64 (fma.f64 x 500 (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x 500 (*.f64 -500 y))) (sqrt.f64 (fma.f64 x 500 (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (*.f64 x 500) 3) (pow.f64 (*.f64 -500 y) 3)) (+.f64 (*.f64 (*.f64 x 500) (*.f64 x 500)) (-.f64 (*.f64 250000 (*.f64 y y)) (*.f64 (*.f64 x 500) (*.f64 -500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (*.f64 x 500) (*.f64 x 500)) (*.f64 250000 (*.f64 y y))) (-.f64 (*.f64 x 500) (*.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x 500 (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x 500 (*.f64 -500 y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x 500 (*.f64 -500 y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x 500 (*.f64 -500 y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x 500 (*.f64 -500 y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x 500 (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x 500 (*.f64 -500 y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x 500 (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x 500 (*.f64 -500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x 500 (*.f64 -500 y))))))))

simplify11.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	15	168

Stop Event

1×

saturated

Counts

45 → 25

Calls

Call 1

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

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

eval6.0ms (0.2%)

Compiler: Compiled 259 to 194 computations (25.1% saved)

prune6.0ms (0.2%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	24	1	25
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	25	6	31

Error

Counts

31 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(*.f64 500 (-.f64 x y))
✓	0.0b	(fma.f64 x 500 (*.f64 -500 y))
▶	33.3b	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
✓	33.5b	(*.f64 500 x)
✓	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
✓	29.9b	(*.f64 -500 y)

Compiler

Compiled 57 to 43 computations (24.6% saved)

localize27.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x 500) (*.f64 x 500))
✓	0.3b	(.f64 250000 (.f64 y y))
✓	3.6b	(-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (*.f64 y y)))
✓	31.2b	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))

Compiler

Compiled 69 to 44 computations (36.2% saved)

series9.0ms (0.3%)

Counts

4 → 72

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
1.0ms	y	@	0	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
1.0ms	x	@	inf	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
1.0ms	y	@	inf	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
1.0ms	x	@	-inf	(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))

rewrite106.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

778×	`log-prod_binary64`
457×	`fma-neg_binary64`
239×	`expm1-udef_binary64`
239×	`log1p-udef_binary64`
192×	`log-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	58
1	339	31
2	5181	31

Stop Event

1×	node limit

Counts

4 → 300

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (*.f64 y y)))
(.f64 250000 (.f64 y y))
(.f64 (.f64 x 500) (*.f64 x 500))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 500) (+.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 (+.f64 x y)) (fma.f64 500 y (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 (+.f64 x y)) (fma.f64 (neg.f64 (cbrt.f64 (.f64 500 y))) (cbrt.f64 (.f64 (.f64 -250000 y) y)) (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 (+.f64 x y)) (.f64 (fma.f64 500 y (.f64 500 y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 (+.f64 x y)) (+.f64 (fma.f64 500 y (.f64 500 y)) (fma.f64 500 y (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 500 y (.f64 500 y)) (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 y) (.f64 x 500))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 500 (+.f64 x y)))) (cbrt.f64 (exp.f64 (.f64 500 (+.f64 x y)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 500 (+.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x 500) (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 500 (+.f64 x y)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (.f64 x 500) 3) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))) (/.f64 (.f64 -125000000 (pow.f64 y 3)) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 500 (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (/.f64 1 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 500 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 500 (+.f64 x y)) (.f64 (.f64 500 (+.f64 x y)) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) (.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) (/.f64 1 (neg.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3))) (/.f64 1 (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 500 (+.f64 x y))) (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 500 (+.f64 x y)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (.f64 500 (+.f64 x y)) (cbrt.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) 1) (/.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (cbrt.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (sqrt.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (sqrt.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 500 (+.f64 x y)) 1) (/.f64 (.f64 500 (+.f64 x y)) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 500 y))) (-.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3)))) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (pow.f64 (.f64 500 (+.f64 x y)) 2)) (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 500 (+.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (.f64 500 (+.f64 x y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (neg.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (pow.f64 (exp.f64 -500) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (+.f64 1 (expm1.f64 (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) 500) (/.f64 1 (pow.f64 (exp.f64 -500) y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (/.f64 1 (pow.f64 (exp.f64 -500) y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (pow.f64 (exp.f64 -500) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 x) 500) (+.f64 1 (expm1.f64 (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (+.f64 1 (expm1.f64 (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 x) 500) (/.f64 1 (pow.f64 (exp.f64 -500) y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x 500))) (/.f64 1 (pow.f64 (exp.f64 -500) y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 (+.f64 x y)))) (exp.f64 (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 500 y (.f64 500 y))) (exp.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 500 y (.f64 500 y))) (+.f64 1 (expm1.f64 (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 -500) y) (pow.f64 (exp.f64 x) 500)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 y))) (pow.f64 (exp.f64 x) 500)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (exp.f64 -500) y)) (pow.f64 (exp.f64 x) 500)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 -500) y) (+.f64 1 (expm1.f64 (.f64 x 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 500 y))) (+.f64 1 (expm1.f64 (.f64 x 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (exp.f64 -500) y)) (+.f64 1 (expm1.f64 (.f64 x 500)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 3) (pow.f64 (.f64 500 (+.f64 x y)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (.f64 x 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (.f64 500 (+.f64 x y)) (hypot.f64 (.f64 500 y) (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (.f64 500 y) (.f64 x 500))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (hypot.f64 (.f64 500 y) (.f64 500 y)) (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 500 (+.f64 x y))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 500 (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 500 (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 x (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 x (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x 500) 1 (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x 500) 1 (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (.f64 250000 x)) (/.f64 1 (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x 500) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 500 (+.f64 x y)) (fma.f64 500 y (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 x 500)) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) 500) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (.f64 500 (+.f64 x y))) (fma.f64 500 y (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x 500)) (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x 500)) (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 (.f64 250000 x)) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (sqrt.f64 (.f64 250000 x)) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) 500) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (sqrt.f64 (.f64 500 (+.f64 x y))) (fma.f64 500 y (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 500)) (sqrt.f64 (.f64 x 500)) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x)))) (cbrt.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))))) (cbrt.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x)))) (sqrt.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x (.f64 x 500))) (sqrt.f64 500) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x (.f64 x 500))) (sqrt.f64 500) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2)) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2)) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (.f64 x (.f64 250000 x)) (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (.f64 x (.f64 250000 x)) (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x 1) (/.f64 (.f64 250000 x) (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x 500) 1) (/.f64 (.f64 x 500) (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x x) 1) (/.f64 250000 (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4)) 1) (/.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x (.f64 x 500)) 1) (/.f64 500 (.f64 500 (+.f64 x y))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (.f64 250000 x) (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x 500) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (.f64 x 500) (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x x) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 250000 (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x (.f64 x 500)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (/.f64 500 (cbrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (.f64 250000 x) (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x 500) (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (.f64 x 500) (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x x) (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 250000 (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x (.f64 x 500)) (sqrt.f64 (.f64 500 (+.f64 x y)))) (/.f64 500 (sqrt.f64 (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x (.f64 250000 x)) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3)))) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y)))) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (.f64 x (.f64 250000 x)) (pow.f64 (.f64 500 (+.f64 x y)) 2)) (.f64 500 (+.f64 x y)) (neg.f64 (/.f64 (.f64 (.f64 -250000 y) y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 500 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 500 (sqrt.f64 x)) (sqrt.f64 x) (.f64 500 y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 500 (sqrt.f64 x)) (sqrt.f64 x) (neg.f64 (-.f64 (.f64 500 y) (fma.f64 500 y (.f64 500 y)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 250000 x)) (+.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 -250000 y) y) (.f64 x (.f64 250000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 -250000 y) y))) (cbrt.f64 (.f64 (pow.f64 y 4) 62500000000)) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 (neg.f64 y) (.f64 250000 y) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (.f64 500 (+.f64 x y)) (fma.f64 500 y (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (fma.f64 500 y (.f64 500 y)) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (+.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 x 500) (.f64 500 (+.f64 x y))) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 500 (+.f64 x y)) (.f64 x 500)) (.f64 (.f64 500 (+.f64 x y)) (.f64 500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 250000 (-.f64 (.f64 x x) (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 250000 (+.f64 (.f64 x x) (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (/.f64 1 (.f64 500 (+.f64 x y))) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 500 (+.f64 x y)) (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 500 (+.f64 x y)) 3) (/.f64 1 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2) (.f64 (/.f64 1 (.f64 500 (+.f64 x y))) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2) (/.f64 1 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (.f64 (sqrt.f64 (.f64 500 (+.f64 x y))) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (.f64 x 500) 6) (pow.f64 (.f64 (.f64 -250000 y) y) 3)) (/.f64 1 (+.f64 (pow.f64 (.f64 x 500) 4) (.f64 (.f64 (.f64 -250000 y) y) (pow.f64 (.f64 500 (+.f64 x y)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 500 (+.f64 x y)) (sqrt.f64 (.f64 500 (+.f64 x y)))) (sqrt.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 500 (+.f64 x y)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2)) (cbrt.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (/.f64 1 (.f64 500 (+.f64 x y))) (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (.f64 (.f64 500 (+.f64 x y)) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 500 (+.f64 x y)) (/.f64 1 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (.f64 (/.f64 1 (.f64 500 (+.f64 x y))) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (.f64 x 500) 4) (.f64 (.f64 (.f64 -250000 y) y) (pow.f64 (.f64 500 (+.f64 x y)) 2))) (-.f64 (pow.f64 (.f64 x 500) 6) (pow.f64 (.f64 (.f64 -250000 y) y) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (.f64 500 (+.f64 x y)) 3) (.f64 500 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2) (pow.f64 (.f64 500 (+.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) (.f64 (/.f64 1 (.f64 500 (+.f64 x y))) (neg.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (.f64 x 500) 6) (pow.f64 (.f64 (.f64 -250000 y) y) 3)) (+.f64 (pow.f64 (.f64 x 500) 4) (.f64 (.f64 (.f64 -250000 y) y) (pow.f64 (.f64 500 (+.f64 x y)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))) (.f64 (neg.f64 (.f64 500 (+.f64 x y))) (neg.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3))) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3)))) (.f64 (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y)))) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x 500) 6) (pow.f64 (.f64 (.f64 -250000 y) y) 3))) (neg.f64 (+.f64 (pow.f64 (.f64 x 500) 4) (.f64 (.f64 (.f64 -250000 y) y) (pow.f64 (.f64 500 (+.f64 x y)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) (pow.f64 (.f64 500 (+.f64 x y)) 2)) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) 1) (.f64 (neg.f64 (.f64 500 (+.f64 x y))) (/.f64 1 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3)))) (.f64 (.f64 500 (+.f64 x y)) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3))) (pow.f64 (.f64 500 (+.f64 x y)) 2)) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 x 500) 6) (pow.f64 (.f64 (.f64 -250000 y) y) 3)) (+.f64 (pow.f64 (.f64 x 500) 4) (fma.f64 (pow.f64 y 4) 62500000000 (neg.f64 (.f64 (.f64 x (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 3) (pow.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) 3)) (+.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2) (-.f64 (.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))) (.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2) (.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))) (-.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)) (.f64 500 (+.f64 x y))) (neg.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3))) (.f64 500 (+.f64 x y))) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 500 (+.f64 x y)) (neg.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))) (neg.f64 (.f64 500 (+.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 500 (+.f64 x y)) (-.f64 (pow.f64 (.f64 x 500) 3) (.f64 -125000000 (pow.f64 y 3)))) (fma.f64 x (.f64 250000 x) (.f64 (.f64 500 y) (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 500 (+.f64 x y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (pow.f64 (pow.f64 (exp.f64 y) y) 250000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)) (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)) (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (pow.f64 (pow.f64 (exp.f64 y) y) 250000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)) (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)) (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))) (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000) (pow.f64 (exp.f64 x) (.f64 250000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y))) (pow.f64 (exp.f64 x) (.f64 250000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000)) (pow.f64 (exp.f64 x) (.f64 250000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000) (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y))) (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000)) (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (+.f64 1 (expm1.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))) (exp.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))) (exp.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (.f64 (exp.f64 (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y))) (+.f64 1 (expm1.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x hypot.f64 (.f64 x (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (.f64 500 (+.f64 x y)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 (.f64 500 (+.f64 x y)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (.f64 250000 x) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (.f64 250000 x) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (.f64 x 250000) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (.f64 x 250000) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 (.f64 x (.f64 x 500)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 500 (.f64 x (.f64 x 500)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x 500) (.f64 x 500) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x 500) (.f64 x 500) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (.f64 250000 x)) 1 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (.f64 250000 x)) 1 (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 250000 (.f64 x x) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 250000 (.f64 x x) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 500 (+.f64 x y)) (.f64 500 (+.f64 x y)) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 x (.f64 250000 x)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 (.f64 500 (+.f64 x y)) 2) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 250000 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x x) 250000 (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (.f64 (cbrt.f64 (.f64 x 500)) (.f64 x 500)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (.f64 (cbrt.f64 (.f64 x 500)) (.f64 x 500)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 x 500) 4)) (pow.f64 (cbrt.f64 (.f64 x 500)) 2) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (.f64 250000 x)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 500 (+.f64 x y)) 2) 2)) (pow.f64 (cbrt.f64 (.f64 500 (+.f64 x y))) 2) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 250000 x)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 250000 x)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 500)) (.f64 (sqrt.f64 (.f64 x 500)) (.f64 x 500)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (.f64 x 500)) (.f64 (sqrt.f64 (.f64 x 500)) (.f64 x 500)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 250000 x) x (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 250000 x) x (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (.f64 x 500)) 500 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 x (.f64 x 500)) 500 (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 x 500) (sqrt.f64 (.f64 x 500))) (sqrt.f64 (.f64 x 500)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 x 500) (sqrt.f64 (.f64 x 500))) (sqrt.f64 (.f64 x 500)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 x 500) (pow.f64 (cbrt.f64 (.f64 x 500)) 2)) (cbrt.f64 (.f64 x 500)) (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 x 500) (pow.f64 (cbrt.f64 (.f64 x 500)) 2)) (cbrt.f64 (.f64 x 500)) (neg.f64 (-.f64 (.f64 (.f64 -250000 y) y) (fma.f64 -250000 (.f64 y y) (.f64 (.f64 -250000 y) y)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000)) (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (.f64 -250000 y) y))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 -250000 y) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 -250000 y) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 -250000 y) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 500 y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 (.f64 -250000 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (.f64 (pow.f64 y 4) 62500000000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (+.f64 1 (expm1.f64 (.f64 (.f64 -250000 y) y)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (/.f64 1 (/.f64 1 (pow.f64 (pow.f64 (exp.f64 y) y) 250000))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 -250000 y) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 -250000 y) y)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (.f64 500 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 (.f64 500 y))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 250000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 250000 x))) (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 250000 x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 x (.f64 250000 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x 500) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 250000 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (.f64 x 500)) 2) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 x 500) 6) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 x 500) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (.f64 250000 x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 x (.f64 250000 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 x 500) 6))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 x (.f64 250000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 x (.f64 250000 x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (.f64 x 500))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 x 500)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 (*.f64 x 500))) 1))))))

simplify203.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1046×	`sqr-pow_binary64`
758×	`fabs-mul_binary64`
706×	`cube-prod_binary64`
484×	`unswap-sqr_binary64`
364×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	630
1	34	630
2	61	630
3	125	630
4	312	630
5	962	630
6	1359	630
7	2168	630
8	2345	630
9	2613	630
10	2930	630
11	3394	630
12	4002	630
13	4711	630
14	5595	630
15	6283	630
16	6737	630
17	7175	630
18	7337	630
19	7409	630

Stop Event

1×	node limit

Counts

372 → 312

Calls

Call 1

Inputs
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 -250000 (pow.f64 y 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 250000 (pow.f64 x 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 250000 (pow.f64 x 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 250000 (pow.f64 x 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 -250000 (pow.f64 y 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 -250000 (pow.f64 y 2))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 y 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))
(*.f64 250000 (pow.f64 x 2))

Outputs
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(fma.f64 500 x (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))
(*.f64 -250000 (pow.f64 y 2))
(.f64 -250000 (.f64 y y))
(.f64 y (.f64 y -250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 -250000 (pow.f64 y 2))
(.f64 -250000 (.f64 y y))
(.f64 y (.f64 y -250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 -250000 (pow.f64 y 2))
(.f64 -250000 (.f64 y y))
(.f64 y (.f64 y -250000))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(+.f64 (.f64 -250000 (pow.f64 y 2)) (.f64 250000 (pow.f64 x 2)))
(fma.f64 -250000 (.f64 y y) (.f64 250000 (*.f64 x x)))
(fma.f64 y (.f64 y -250000) (.f64 250000 (*.f64 x x)))
(fma.f64 250000 (.f64 x x) (.f64 -250000 (*.f64 y y)))
(fma.f64 y (.f64 y -250000) (.f64 x (*.f64 x 250000)))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 y 2))
(.f64 (.f64 y y) 250000)
(.f64 y (.f64 y 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))
(*.f64 250000 (pow.f64 x 2))
(.f64 250000 (.f64 x x))
(.f64 x (.f64 x 250000))

eval141.0ms (5.1%)

Compiler: Compiled 7080 to 4765 computations (32.7% saved)

prune99.0ms (3.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	310	2	312
Fresh	0	0	0
Picked	1	0	1
Done	1	4	5
Total	312	6	318

Error

Counts

318 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	36.1b	(-.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (/.f64 (.f64 (.f64 -250000 y) y) (*.f64 500 (+.f64 x y))))
	33.5b	(/.f64 (.f64 250000 (-.f64 (.f64 x x) (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
✓	0.0b	(*.f64 500 (-.f64 x y))
✓	33.5b	(*.f64 500 x)
✓	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
✓	29.9b	(*.f64 -500 y)

Compiler

Compiled 70 to 49 computations (30% saved)

regimes63.0ms (2.3%)

Counts

9 → 1

Calls

Call 1

Inputs
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 500 (-.f64 x y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(/.f64 (.f64 250000 (-.f64 (.f64 x x) (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(-.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (/.f64 (.f64 (.f64 -250000 y) y) (*.f64 500 (+.f64 x y))))
(fma.f64 x 500 (*.f64 -500 y))
(fma.f64 -500 y (*.f64 500 x))

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

Calls

4 calls:

17.0ms	(-.f64 x y)
14.0ms	(*.f64 500 (-.f64 x y))
13.0ms	x
13.0ms	y

Results

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

Compiler

Compiled 111 to 73 computations (34.2% saved)

regimes116.0ms (4.2%)

Counts

8 → 1

Calls

Call 1

Inputs
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 500 (-.f64 x y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(/.f64 (.f64 250000 (-.f64 (.f64 x x) (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(-.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (/.f64 (.f64 (.f64 -250000 y) y) (*.f64 500 (+.f64 x y))))
(fma.f64 x 500 (*.f64 -500 y))

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

Calls

4 calls:

35.0ms	(*.f64 500 (-.f64 x y))
12.0ms	y
12.0ms	(-.f64 x y)
12.0ms	x

Results

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

Compiler

Compiled 105 to 69 computations (34.3% saved)

regimes50.0ms (1.8%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 500 (-.f64 x y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(/.f64 (.f64 250000 (-.f64 (.f64 x x) (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(/.f64 (-.f64 (.f64 (.f64 x 500) (.f64 x 500)) (.f64 250000 (.f64 y y))) (-.f64 (.f64 x 500) (*.f64 -500 y)))
(-.f64 (/.f64 x (/.f64 (.f64 500 (+.f64 x y)) (.f64 250000 x))) (/.f64 (.f64 (.f64 -250000 y) y) (*.f64 500 (+.f64 x y))))

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

Calls

4 calls:

13.0ms	y
13.0ms	(*.f64 500 (-.f64 x y))
11.0ms	(-.f64 x y)
8.0ms	x

Results

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

Compiler

Compiled 99 to 65 computations (34.3% saved)

regimes106.0ms (3.8%)

Accuracy

Total -47.1b remaining (-320.6%)

Threshold costs -47.1b (-320.6%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

62.0ms	x
43.0ms	y

Results

Error	Segments	Branch
14.7b	3	`x`
16.1b	3	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch78.0ms (2.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
50.0ms	7.405250849404699e+68	1.7487481295433665e+71
29.0ms	-43742745857871.06	-63361388207.35789

Compiler

Compiled 12 to 9 computations (25% saved)

simplify12.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	51
1	23	51
2	28	51
3	30	51
4	31	51

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(fma.f64 -500 y (*.f64 500 x))
(fma.f64 x 500 (*.f64 -500 y))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -699883933725937/16) (.f64 500 x) (if (<=.f64 x 740525084940469880459712343535428290662102958431197750782565407522816) (.f64 -500 y) (*.f64 500 x)))
(*.f64 500 x)

Outputs
(fma.f64 -500 y (*.f64 500 x))
(fma.f64 x 500 (*.f64 -500 y))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -699883933725937/16) (.f64 500 x) (if (<=.f64 x 740525084940469880459712343535428290662102958431197750782565407522816) (.f64 -500 y) (*.f64 500 x)))
(*.f64 500 x)

Compiler

Compiled 47 to 35 computations (25.5% saved)

soundness19.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	15	168

Stop Event

1×

saturated

Compiler

Compiled 26 to 20 computations (23.1% saved)

end127.0ms (4.6%)

Compiler: Compiled 39 to 27 computations (30.8% saved)

Details

analyze51.0ms (1.8%)

sample898.0ms (32.3%)

preprocess59.0ms (2.1%)

simplify20.0ms (0.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (0.8%)

series3.0ms (0.1%)

rewrite303.0ms (10.9%)

simplify12.0ms (0.4%)

eval4.0ms (0.2%)

prune6.0ms (0.2%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize9.0ms (0.3%)

series2.0ms (0.1%)

rewrite74.0ms (2.6%)

simplify8.0ms (0.3%)

localize42.0ms (1.5%)

eval12.0ms (0.4%)

prune11.0ms (0.4%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite48.0ms (1.7%)

simplify11.0ms (0.4%)

eval6.0ms (0.2%)

prune6.0ms (0.2%)

localize27.0ms (1%)

series9.0ms (0.3%)

rewrite106.0ms (3.8%)

simplify203.0ms (7.3%)

eval141.0ms (5.1%)

prune99.0ms (3.6%)

regimes63.0ms (2.3%)

regimes116.0ms (4.2%)

regimes50.0ms (1.8%)

regimes106.0ms (3.8%)

bsearch78.0ms (2.8%)

simplify12.0ms (0.4%)

soundness19.0ms (0.7%)

end127.0ms (4.6%)

Profiling