Details

analyze131.0ms (4.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
42.9%	37.5%	50%	0.1%	12.5%	0%	0%	7
55.6%	46.8%	37.5%	0.1%	15.6%	0%	0%	8
63.6%	53.1%	30.4%	0.1%	16.4%	0%	0%	9
73.9%	58.5%	20.7%	0.1%	20.7%	0%	0%	10
79.3%	62%	16.2%	0.1%	21.7%	0%	0%	11
85.7%	65%	10.8%	0.1%	24.1%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.8s (59.1%)

Results

1.7s	8256×	body	256	valid
50.0ms	476×	body	256	infinite

Bogosity

preprocess98.0ms (3.2%)

Algorithm

2×	egg-herbie

Rules

513×	`fma-def_binary64`
355×	`fma-neg_binary64`
106×	`distribute-rgt-in_binary64`
92×	`cancel-sign-sub-inv_binary64`
84×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	20
1	33	20
2	71	20
3	161	20
4	312	20
5	524	20
6	1006	20
7	1445	20
8	1896	20
9	2046	20
10	2048	20
11	2048	20
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify39.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

388×	`fma-def_binary64`
286×	`fma-neg_binary64`
70×	`distribute-rgt-in_binary64`
68×	`cancel-sign-sub-inv_binary64`
67×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	18	10
2	43	10
3	102	10
4	207	10
5	294	10
6	501	10
7	871	10
8	1254	10
9	1451	10
10	1501	10

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 18 to 11 computations (38.9% saved)

prune1.0ms (0%)

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

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 20 to 13 computations (35% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 27 to 8 computations (70.4% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite139.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

951×	`pow1_binary64`
886×	`add-log-exp_binary64`
885×	`log1p-expm1-u_binary64`
885×	`expm1-log1p-u_binary64`
93×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	183	10
2	2476	10

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

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

Outputs

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

simplify209.0ms (6.9%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
633×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	294
1	22	294
2	44	276
3	94	240
4	226	240
5	669	240
6	1002	240
7	1441	240
8	1545	240
9	1678	240
10	1847	240
11	2092	240
12	2405	240
13	2777	240
14	3234	240
15	3825	240
16	4531	240
17	5389	240
18	5815	240
19	6127	240
20	6435	240
21	6511	240
22	6545	240

Stop Event

1×	node limit

Counts

44 → 25

Calls

Call 1

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

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

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite63.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

824×	`pow1_binary64`
767×	`add-log-exp_binary64`
766×	`log1p-expm1-u_binary64`
766×	`expm1-log1p-u_binary64`
751×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	153	10
2	2049	10

Stop Event

1×	node limit

Counts

1 → 19

Calls

Call 1

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

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

Outputs

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

simplify186.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

2020×	`unswap-sqr_binary64`
1080×	`sqr-pow_binary64`
633×	`fabs-mul_binary64`
612×	`pow-sqr_binary64`
610×	`cube-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	294
1	22	294
2	44	276
3	94	240
4	226	240
5	669	240
6	1002	240
7	1441	240
8	1545	240
9	1678	240
10	1847	240
11	2092	240
12	2405	240
13	2777	240
14	3234	240
15	3825	240
16	4531	240
17	5389	240
18	5815	240
19	6127	240
20	6435	240
21	6511	240
22	6545	240

Stop Event

1×	node limit

Counts

43 → 24

Calls

Call 1

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

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

eval21.0ms (0.7%)

Compiler: Compiled 555 to 308 computations (44.5% saved)

prune8.0ms (0.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	47	4	51

Error

Counts

51 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	35.8b	(.f64 x (.f64 x 2))
✓	0.0b	(.f64 (.f64 2 x) (-.f64 x y))
▶	20.2b	(.f64 -2 (.f64 y x))
✓	0.0b	(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 34 to 23 computations (32.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series6.0ms (0.2%)

Counts

1 → 0

Calls

6 calls:

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

rewrite52.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`pow1_binary64`
512×	`add-log-exp_binary64`
512×	`log1p-expm1-u_binary64`
512×	`expm1-log1p-u_binary64`
502×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1395	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify24.0ms (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize5.0ms (0.2%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

eval2.0ms (0.1%)

Compiler: Compiled 87 to 55 computations (36.8% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	11	0	11
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	11	4	15

Error

Counts

15 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.8b	(.f64 x (.f64 x 2))
✓	0.0b	(.f64 (.f64 2 x) (-.f64 x y))
✓	20.2b	(.f64 -2 (.f64 y x))
✓	0.0b	(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))

Compiler

Compiled 34 to 23 computations (32.4% saved)

regimes20.0ms (0.7%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

6.0ms	(-.f64 (.f64 x x) (.f64 x y))
4.0ms	x
4.0ms	y
4.0ms	(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))

Results

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

Compiler

Compiled 54 to 33 computations (38.9% saved)

regimes11.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

6.0ms	x
4.0ms	y

Results

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

Compiler

Compiled 25 to 16 computations (36% saved)

regimes25.0ms (0.8%)

Accuracy

Total -49.6b remaining (-913.8%)

Threshold costs -49.6b (-913.8%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

15.0ms	x
9.0ms	y

Results

Error	Segments	Branch
10.7b	3	`x`
5.4b	3	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

bsearch85.0ms (2.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
55.0ms	4.695149051650185e-73	2.1038292701822342e-63
30.0ms	-4.474396547578124e-37	-1.3485895656795128e-37

Compiler

Compiled 16 to 11 computations (31.3% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	63
1	38	63
2	52	63
3	58	63
4	61	63

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))
(.f64 (.f64 2 x) (-.f64 x y))
(if (<=.f64 y -5357025591585315/11972621413014756705924586149611790497021399392059392) (.f64 -2 (.f64 y x)) (if (<=.f64 y 3736010754868817/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 x (.f64 x 2)) (.f64 -2 (.f64 y x))))
(.f64 x (.f64 x 2))

Outputs
(.f64 2 (-.f64 (.f64 x x) (*.f64 x y)))
(.f64 (.f64 2 x) (-.f64 x y))
(if (<=.f64 y -5357025591585315/11972621413014756705924586149611790497021399392059392) (.f64 -2 (.f64 y x)) (if (<=.f64 y 3736010754868817/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 x (.f64 x 2)) (.f64 -2 (.f64 y x))))
(if (<=.f64 y -5357025591585315/11972621413014756705924586149611790497021399392059392) (.f64 (.f64 x y) -2) (if (<=.f64 y 3736010754868817/7957171782556586274486115970349133441607298412757563479047423630290551952200534008528896) (.f64 x (.f64 2 x)) (.f64 (.f64 x y) -2)))
(.f64 x (.f64 x 2))
(.f64 x (.f64 2 x))

Compiler

Compiled 52 to 34 computations (34.6% saved)

soundness0.0ms (0%)

end71.0ms (2.4%)

Compiler: Compiled 46 to 27 computations (41.3% saved)

Details

analyze131.0ms (4.3%)

sample1.8s (59.1%)

preprocess98.0ms (3.2%)

simplify39.0ms (1.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.3%)

series4.0ms (0.1%)

rewrite139.0ms (4.6%)

simplify209.0ms (6.9%)

localize7.0ms (0.2%)

series4.0ms (0.1%)

rewrite63.0ms (2.1%)

simplify186.0ms (6.1%)

eval21.0ms (0.7%)

prune8.0ms (0.3%)

localize5.0ms (0.2%)

series6.0ms (0.2%)

rewrite52.0ms (1.7%)

simplify24.0ms (0.8%)

localize5.0ms (0.2%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

regimes20.0ms (0.7%)

regimes11.0ms (0.4%)

regimes25.0ms (0.8%)

bsearch85.0ms (2.8%)

simplify10.0ms (0.3%)

soundness0.0ms (0%)

end71.0ms (2.4%)

Profiling