Details

analyze78.0ms (4.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
30.8%	25%	56.2%	0.1%	18.7%	0%	0%	6
48%	37.5%	40.6%	0.1%	21.9%	0%	0%	7
60%	46.8%	31.2%	0.1%	21.9%	0%	0%	8
71.4%	54.6%	21.9%	0.1%	23.4%	0%	0%	9
78.6%	60.1%	16.4%	0.1%	23.4%	0%	0%	10
85.1%	64.4%	11.3%	0.1%	24.2%	0%	0%	11
88.9%	67.3%	8.4%	0.1%	24.2%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample875.0ms (52.1%)

Results

853.0ms	8256×	body	256	valid
9.0ms	96×	body	256	infinite

Bogosity

preprocess18.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

8×	`fma-def_binary64`
4×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`associate-+r+_binary64`
2×	`associate-+l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	19	16
2	26	16
3	30	16
4	32	16
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`associate-+r+_binary64`
1×	`associate-+l+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	11	8
2	15	8
3	17	8
4	18	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 15 to 7 computations (53.3% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 17 to 9 computations (47.1% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 4 computations (71.4% saved)

series3.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite54.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

620×	`pow1_binary64`
577×	`add-log-exp_binary64`
577×	`log1p-expm1-u_binary64`
577×	`expm1-log1p-u_binary64`
564×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	109	8
2	1535	8

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

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

Outputs

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

simplify175.0ms (10.4%)

Algorithm

1×	egg-herbie

Rules

1366×	`sqr-pow_binary64`
695×	`pow-sqr_binary64`
617×	`cube-prod_binary64`
611×	`fabs-mul_binary64`
434×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	15	168
2	25	168
3	36	168
4	65	168
5	167	168
6	587	168
7	1453	168
8	1637	168
9	1821	168
10	2029	168
11	2324	168
12	2717	168
13	3202	168
14	3768	168
15	4456	168
16	5297	168
17	5691	168
18	5979	168
19	6255	168
20	6329	168
21	6363	168
22	7304	168

Stop Event

1×	node limit

Counts

57 → 38

Calls

Call 1

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

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

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 5 computations (73.7% saved)

series5.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite66.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	141	13
2	2161	13

Stop Event

1×	node limit

Counts

2 → 71

Calls

Call 1

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

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

Outputs

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

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

simplify183.0ms (10.9%)

Algorithm

1×	egg-herbie

Rules

1366×	`sqr-pow_binary64`
695×	`pow-sqr_binary64`
617×	`cube-prod_binary64`
605×	`fabs-mul_binary64`
434×	`unswap-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	309
1	17	273
2	29	273
3	40	273
4	72	273
5	167	273
6	607	273
7	1493	273
8	1697	273
9	1881	273
10	2089	273
11	2384	273
12	2777	273
13	3258	273
14	3826	273
15	4510	273
16	5349	273
17	5743	273
18	6033	273
19	6307	273
20	6375	273
21	6409	273
22	7350	273

Stop Event

1×	node limit

Counts

119 → 78

Calls

Call 1

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

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

eval23.0ms (1.4%)

Compiler: Compiled 1493 to 491 computations (67.1% saved)

prune16.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	114	4	118

Error

Counts

118 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(fma.f64 x x (+.f64 y y))
▶	21.1b	(+.f64 y y)
▶	42.0b	(*.f64 x x)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize3.0ms (0.2%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize5.0ms (0.3%)

Compiler: Compiled 13 to 4 computations (69.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 x x (+.f64 y y))
✓	21.1b	(+.f64 y y)
✓	42.0b	(*.f64 x x)
✓	0.0b	(+.f64 (+.f64 (*.f64 x x) y) y)

Compiler

Compiled 27 to 15 computations (44.4% saved)

regimes22.0ms (1.3%)

Counts

5 → 1

Calls

Call 1

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

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

Calls

5 calls:

5.0ms	y
4.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
4.0ms	x
4.0ms	(*.f64 x x)
3.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 52 to 24 computations (53.8% saved)

regimes15.0ms (0.9%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

4.0ms	(+.f64 (+.f64 (*.f64 x x) y) y)
3.0ms	x
3.0ms	y
3.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 35 to 18 computations (48.6% saved)

regimes37.0ms (2.2%)

Accuracy

Total -52.6b remaining (-580.1%)

Threshold costs -52.6b (-580.1%)

Counts

2 → 4

Calls

Call 1

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

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

Calls

3 calls:

14.0ms	y
12.0ms	x
10.0ms	(*.f64 x x)

Results

Error	Segments	Branch
10.0b	3	`x`
14.5b	5	`y`
9.1b	4	`(*.f64 x x)`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch41.0ms (2.4%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
14.0ms	1.262135466600215e+40	1.3628974165166023e+45
13.0ms	1420046693347981800.0	2.6965732038551915e+22
14.0ms	6.037422960889644e-22	1.0688505793795463e-20

Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify6.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	65
1	20	65

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 x x (+.f64 y y))
(+.f64 (+.f64 (*.f64 x x) y) y)
(if (<=.f64 (.f64 x x) 6420089297607339/10633823966279326983230456482242756608) (+.f64 y y) (if (<=.f64 (.f64 x x) 1420046693347981824) (.f64 x x) (if (<=.f64 (.f64 x x) 12621354666002149449960060535166596022272) (+.f64 y y) (*.f64 x x))))
(+.f64 y y)

Outputs
(fma.f64 x x (+.f64 y y))
(+.f64 (+.f64 (*.f64 x x) y) y)
(+.f64 y (+.f64 y (*.f64 x x)))
(if (<=.f64 (.f64 x x) 6420089297607339/10633823966279326983230456482242756608) (+.f64 y y) (if (<=.f64 (.f64 x x) 1420046693347981824) (.f64 x x) (if (<=.f64 (.f64 x x) 12621354666002149449960060535166596022272) (+.f64 y y) (*.f64 x x))))
(+.f64 y y)

Compiler

Compiled 54 to 25 computations (53.7% saved)

soundness0.0ms (0%)

end28.0ms (1.7%)

Compiler: Compiled 48 to 16 computations (66.7% saved)

Details

analyze78.0ms (4.6%)

sample875.0ms (52.1%)

preprocess18.0ms (1.1%)

simplify7.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize7.0ms (0.4%)

series3.0ms (0.2%)

rewrite54.0ms (3.2%)

simplify175.0ms (10.4%)

localize7.0ms (0.4%)

series5.0ms (0.3%)

rewrite66.0ms (3.9%)

simplify183.0ms (10.9%)

eval23.0ms (1.4%)

prune16.0ms (1%)

localize3.0ms (0.2%)

localize3.0ms (0.2%)

localize5.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes22.0ms (1.3%)

regimes15.0ms (0.9%)

regimes37.0ms (2.2%)

bsearch41.0ms (2.4%)

simplify6.0ms (0.4%)

soundness0.0ms (0%)

end28.0ms (1.7%)

Profiling