Details

analyze89.0ms (3.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
36.4%	25%	43.7%	0.1%	31.2%	0%	0%	7
50%	31.2%	31.2%	0.1%	37.5%	0%	0%	8
62.5%	39%	23.4%	0.1%	37.5%	0%	0%	9
72.4%	42.9%	16.4%	0.1%	40.6%	0%	0%	10
79.6%	47.2%	12.1%	0.1%	40.6%	0%	0%	11
85.5%	49.4%	8.4%	0.1%	42.1%	0%	0%	12

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.1s (42.5%)

Results

1.0s	8256×	body	256	valid
28.0ms	227×	body	256	infinite

Bogosity

preprocess37.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

26×	`fma-def_binary64`
11×	`+-commutative_binary64`
6×	`associate-+r+_binary64`
6×	`associate-+l+_binary64`
4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	28	22
2	62	22
3	76	22
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 2) (.f64 x x)) (*.f64 y y))
(+.f64 (+.f64 (.f64 y 2) (.f64 y y)) (*.f64 x x))

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

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify15.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
6×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	17	11
2	34	11
3	42	11

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 21 to 11 computations (47.6% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

localize26.0ms (1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 32 to 14 computations (56.3% saved)

series7.0ms (0.3%)

Counts

1 → 24

Calls

6 calls:

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

rewrite112.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

577×	`fma-def_binary64`
467×	`log-prod_binary64`
356×	`pow-prod-down_binary64`
280×	`fma-neg_binary64`
262×	`pow2_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	203	11
2	2909	11

Stop Event

1×	node limit

Counts

1 → 101

Calls

Call 1

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

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

Outputs

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

simplify210.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

796×	`sqr-pow_binary64`
666×	`fabs-mul_binary64`
666×	`cube-prod_binary64`
514×	`pow-sqr_binary64`
511×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	262
1	28	229
2	55	214
3	88	214
4	189	214
5	492	214
6	1678	214
7	2350	214
8	2682	214
9	2942	214
10	3281	214
11	3787	214
12	4450	214
13	5246	214
14	6179	214
15	6702	214
16	7117	214
17	7514	214
18	7637	214
19	7683	214

Stop Event

1×	node limit

Counts

125 → 111

Calls

Call 1

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

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

eval44.0ms (1.7%)

Compiler: Compiled 1605 to 875 computations (45.5% saved)

prune17.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	107	4	111
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	107	5	112

Error

Counts

112 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	24.2b	(*.f64 x (+.f64 2 x))
▶	43.7b	(*.f64 x x)
▶	18.9b	(fma.f64 y y (*.f64 2 x))
▶	37.7b	(*.f64 y y)
✓	0.0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Compiler

Compiled 38 to 24 computations (36.8% saved)

localize4.0ms (0.2%)

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 8 computations (33.3% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite53.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

601×	`pow1_binary64`
565×	`add-log-exp_binary64`
564×	`log1p-expm1-u_binary64`
564×	`expm1-log1p-u_binary64`
556×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	114	7
2	1505	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify171.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
556×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	14	75
2	28	75
3	50	75
4	109	75
5	311	75
6	1042	75
7	2192	75
8	2539	75
9	2731	75
10	2941	75
11	3251	75
12	3660	75
13	4145	75
14	4717	75
15	5413	75
16	6261	75
17	6654	75
18	6942	75
19	7218	75
20	7290	75
21	7326	75

Stop Event

1×	node limit

Counts

34 → 27

Calls

Call 1

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

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

localize3.0ms (0.1%)

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

localize12.0ms (0.5%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

eval6.0ms (0.2%)

Compiler: Compiled 255 to 158 computations (38% saved)

prune7.0ms (0.3%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	25	7	32

Error

Counts

32 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	24.2b	(*.f64 x (+.f64 2 x))
✓	43.7b	(*.f64 x x)
✓	18.9b	(fma.f64 y y (*.f64 2 x))
▶	24.2b	(+.f64 (.f64 x x) (.f64 x 2))
✓	37.7b	(*.f64 y y)
▶	43.2b	(*.f64 2 x)
✓	0.0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Compiler

Compiled 52 to 34 computations (34.6% saved)

localize6.0ms (0.2%)

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

localize7.0ms (0.3%)

Compiler: Compiled 17 to 9 computations (47.1% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	6	6
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	24.2b	(*.f64 x (+.f64 2 x))
✓	43.7b	(*.f64 x x)
✓	18.9b	(fma.f64 y y (*.f64 2 x))
✓	24.2b	(+.f64 (.f64 x x) (.f64 x 2))
✓	37.7b	(*.f64 y y)
✓	43.2b	(*.f64 2 x)
✓	0.0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Compiler

Compiled 52 to 34 computations (34.6% saved)

regimes34.0ms (1.3%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

5 calls:

7.0ms	x
7.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
6.0ms	(*.f64 y y)
6.0ms	(+.f64 (.f64 x 2) (.f64 x x))
6.0ms	y

Results

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

Compiler

Compiled 73 to 40 computations (45.2% saved)

regimes67.0ms (2.6%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

43.0ms	x
14.0ms	y
8.0ms	(*.f64 y y)

Results

Error	Segments	Branch
16.1b	5	`x`
8.9b	3	`y`
9.1b	2	`(*.f64 y y)`

Compiler

Compiled 34 to 19 computations (44.1% saved)

bsearch82.0ms (3.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
43.0ms	7.436308010291809e-51	9.183622981755774e-41
38.0ms	-1.8318455436787064e-80	-2.430732423822252e-81

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes108.0ms (4.2%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

3 calls:

58.0ms	x
31.0ms	y
17.0ms	(*.f64 y y)

Results

Error	Segments	Branch
17.4b	7	`x`
19.3b	4	`y`
19.9b	3	`(*.f64 y y)`

Compiler

Compiled 22 to 13 computations (40.9% saved)

bsearch203.0ms (8%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
18.0ms	0.0006347122965453584	5130319297903.544
20.0ms	2.3525452575904835e-29	8.428765797506517e-28
48.0ms	2.2743200872742514e-36	1.4338794106179767e-35
36.0ms	6.378627188977767e-187	4.622529715066819e-185
41.0ms	-1.0744101964622223e-49	-6.359544068373743e-50
38.0ms	-69.82741605339393	-0.010513301964922745

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes23.0ms (0.9%)

Accuracy

Total -36.1b remaining (-141.6%)

Threshold costs -36.1b (-141.6%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

12.0ms	y
10.0ms	x

Results

Error	Segments	Branch
25.5b	3	`x`
34.5b	3	`y`

Compiler

Compiled 14 to 9 computations (35.7% saved)

bsearch39.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	0.0006347122965453584	5130319297903.544
19.0ms	-69.82741605339393	-0.010513301964922745

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify10.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	135
1	43	135

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(if (<=.f64 y -2445498958192005/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536) (.f64 y y) (if (<=.f64 y 6265077104936633/842498333348457493583344221469363458551160763204392890034487820288) (.f64 x (+.f64 2 x)) (*.f64 y y)))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x -5657429999075069/52656145834278593348959013841835216159447547700274555627155488768) (.f64 2 x) (if (<=.f64 x 1562407514049417/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712) (.f64 y y) (if (<=.f64 x 6807393344237323/2993155353253689176481146537402947624255349848014848) (.f64 2 x) (if (<=.f64 x 4197080988602957/178405961588244985132285746181186892047843328) (.f64 y y) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 2 x) (*.f64 x x)))))))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 2 x) (*.f64 x x)))
(*.f64 2 x)

Outputs
(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
(+.f64 (+.f64 (.f64 x x) (.f64 x 2)) (*.f64 y y))
(if (<=.f64 y -2445498958192005/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536) (.f64 y y) (if (<=.f64 y 6265077104936633/842498333348457493583344221469363458551160763204392890034487820288) (.f64 x (+.f64 2 x)) (*.f64 y y)))
(if (<=.f64 y -2445498958192005/133499189745056880149688856635597007162669032647290798121690100488888732861290034376435130433536) (.f64 y y) (if (<=.f64 y 6265077104936633/842498333348457493583344221469363458551160763204392890034487820288) (.f64 x (+.f64 x 2)) (*.f64 y y)))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x -5657429999075069/52656145834278593348959013841835216159447547700274555627155488768) (.f64 2 x) (if (<=.f64 x 1562407514049417/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712) (.f64 y y) (if (<=.f64 x 6807393344237323/2993155353253689176481146537402947624255349848014848) (.f64 2 x) (if (<=.f64 x 4197080988602957/178405961588244985132285746181186892047843328) (.f64 y y) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 2 x) (*.f64 x x)))))))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x -5657429999075069/52656145834278593348959013841835216159447547700274555627155488768) (.f64 x 2) (if (<=.f64 x 1562407514049417/2449441655328671218473925200700819802261115891310932980616707775308160183158275122807205904404441104841876294862561960570988912251863537292521360689146388717906188066642938460312627143172697498123763712) (.f64 y y) (if (<=.f64 x 6807393344237323/2993155353253689176481146537402947624255349848014848) (.f64 x 2) (if (<=.f64 x 4197080988602957/178405961588244985132285746181186892047843328) (.f64 y y) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 x 2) (*.f64 x x)))))))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 2 x) (*.f64 x x)))
(if (<=.f64 x -2456833788424293/35184372088832) (.f64 x x) (if (<=.f64 x 5854187647404335/9223372036854775808) (.f64 x 2) (*.f64 x x)))
(*.f64 2 x)
(*.f64 x 2)

Compiler

Compiled 105 to 63 computations (40% saved)

soundness0.0ms (0%)

end51.0ms (2%)

Compiler: Compiled 97 to 51 computations (47.4% saved)

Details

analyze89.0ms (3.5%)

sample1.1s (42.5%)

preprocess37.0ms (1.4%)

simplify15.0ms (0.6%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize26.0ms (1%)

series7.0ms (0.3%)

rewrite112.0ms (4.4%)

simplify210.0ms (8.3%)

eval44.0ms (1.7%)

prune17.0ms (0.7%)

localize4.0ms (0.2%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite53.0ms (2.1%)

simplify171.0ms (6.8%)

localize3.0ms (0.1%)

localize12.0ms (0.5%)

eval6.0ms (0.2%)

prune7.0ms (0.3%)

localize6.0ms (0.2%)

localize7.0ms (0.3%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes34.0ms (1.3%)

regimes67.0ms (2.6%)

bsearch82.0ms (3.2%)

regimes108.0ms (4.2%)

bsearch203.0ms (8%)

regimes23.0ms (0.9%)

bsearch39.0ms (1.5%)

simplify10.0ms (0.4%)

soundness0.0ms (0%)

end51.0ms (2%)

Profiling