Details

analyze50.0ms (2.1%)

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
46.2%	37.5%	43.7%	0.1%	18.7%	0%	0%	7
57.7%	46.8%	34.3%	0.1%	18.7%	0%	0%	8
69.4%	53.1%	23.4%	0.1%	23.4%	0%	0%	9
76.5%	58.5%	18%	0.1%	23.4%	0%	0%	10
83.7%	62%	12.1%	0.1%	25.8%	0%	0%	11
87.6%	65%	9.2%	0.1%	25.8%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample703.0ms (29.7%)

Results

667.0ms	8256×	body	256	valid
25.0ms	276×	body	256	infinite

Bogosity

preprocess24.0ms (1%)

Algorithm

2×	egg-herbie

Rules

358×	`rational_best-simplify-2`
246×	`rational_best-simplify-44`
86×	`rational_best-simplify-47`
54×	`rational_best-simplify-86`
44×	`rational_best-simplify-32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	46
1	27	46
2	43	46
3	79	46
4	134	46
5	174	46
6	219	46
7	297	46
8	370	46
9	444	46
10	510	46
11	513	46
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))

Outputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 (.f64 a b) (neg.f64 (*.f64 a b)))
(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 (.f64 a b) (neg.f64 (*.f64 a b)))

Symmetry

(sort a b)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify26.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

364×	`rational_best-simplify-2`
252×	`rational_best-simplify-44`
78×	`rational_best-simplify-47`
54×	`rational_best-simplify-86`
46×	`rational_best-simplify-32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	17	23
2	26	23
3	48	23
4	93	23
5	137	23
6	167	23
7	212	23
8	290	23
9	364	23
10	438	23
11	505	23
12	509	23

Stop Event

1×

saturated

Counts

1 → 6

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Outputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))

eval1.0ms (0%)

Compiler: Compiled 50 to 19 computations (62% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	3	3	6
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	3	7

Error

10.8b

Counts

7 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	20.5b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
▶	16.1b	(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
▶	15.3b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	5.0b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
✓	9.8b	(.f64 (.f64 b b) (neg.f64 a))

Compiler

Compiled 23 to 6 computations (73.9% saved)

series5.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	a	@	0	(.f64 (.f64 b b) (neg.f64 a))
1.0ms	b	@	0	(.f64 (.f64 b b) (neg.f64 a))
1.0ms	b	@	0	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
0.0ms	b	@	inf	(.f64 (.f64 b b) (neg.f64 a))
0.0ms	a	@	inf	(.f64 (.f64 b b) (neg.f64 a))

rewrite196.0ms (8.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1780×	`rational_best-2`
1780×	`rational_best-1`
1778×	`rational_best-3`
1730×	`rational_best-4`
1682×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	65	40
2	119	40
3	161	40
4	214	40
5	282	40
6	368	40
7	648	40
8	1217	40
9	1912	40
10	3053	40
11	3690	40
12	4014	40
13	4308	40
14	4509	40
15	4671	40
16	5236	40
17	5784	40
18	6520	40
19	7200	40

Stop Event

1×	node limit

Counts

2 → 16

Calls

Call 1

Inputs
(.f64 (.f64 b b) (neg.f64 a))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))

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

Outputs

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

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

simplify52.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

410×	`rational_best-simplify-2`
270×	`rational_best-simplify-44`
114×	`rational_best-simplify-47`
50×	`rational_best-simplify-32`
48×	`rational_best-simplify-86`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	1232
1	75	1136
2	123	1136
3	215	1136
4	271	1136
5	321	1136
6	396	1136
7	473	1136
8	556	1136
9	628	1136
10	632	1136

Stop Event

1×

saturated

Counts

64 → 27

Calls

Call 1

Inputs
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(+.f64 (.f64 b (.f64 b (neg.f64 a))) 0)
(+.f64 0 (.f64 b (.f64 b (neg.f64 a))))
(-.f64 (.f64 b (.f64 b (neg.f64 a))) 0)
(-.f64 0 (.f64 b (.f64 b a)))
(/.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(/.f64 (.f64 b (.f64 b a)) -1)
(pow.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(neg.f64 (.f64 b (.f64 b a)))
(+.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 0)
(+.f64 0 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))))
(-.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 0)
(-.f64 0 (.f64 (.f64 b b) (*.f64 a a)))
(/.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 1)
(/.f64 (.f64 (.f64 b b) (*.f64 a a)) -1)
(pow.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 1)
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))

Outputs
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(+.f64 (.f64 b (.f64 b (neg.f64 a))) 0)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(+.f64 0 (.f64 b (.f64 b (neg.f64 a))))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(-.f64 (.f64 b (.f64 b (neg.f64 a))) 0)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(-.f64 0 (.f64 b (.f64 b a)))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(/.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(/.f64 (.f64 b (.f64 b a)) -1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(pow.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(neg.f64 (.f64 b (.f64 b a)))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 a (.f64 b (neg.f64 b)))
(+.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 0)
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(+.f64 0 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))))
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(-.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 0)
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(-.f64 0 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(/.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 1)
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(/.f64 (.f64 (.f64 b b) (*.f64 a a)) -1)
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(pow.f64 (.f64 b (.f64 (neg.f64 a) (*.f64 b a))) 1)
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 b (.f64 b (*.f64 (neg.f64 a) a)))
(neg.f64 (.f64 b (.f64 (*.f64 a a) b)))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.2b	(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
✓	11.2b	(.f64 (.f64 a a) (neg.f64 b))

Compiler

Compiled 23 to 6 computations (73.9% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	a	@	0	(.f64 (.f64 a a) (neg.f64 b))
0.0ms	b	@	0	(.f64 (.f64 a a) (neg.f64 b))
0.0ms	a	@	inf	(.f64 (.f64 a a) (neg.f64 b))
0.0ms	b	@	inf	(.f64 (.f64 a a) (neg.f64 b))
0.0ms	b	@	-inf	(.f64 (.f64 a a) (neg.f64 b))

rewrite193.0ms (8.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1780×	`rational_best-2`
1780×	`rational_best-1`
1778×	`rational_best-3`
1730×	`rational_best-4`
1682×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	65	40
2	119	40
3	161	40
4	214	40
5	282	40
6	368	40
7	648	40
8	1217	40
9	1912	40
10	3053	40
11	3690	40
12	4014	40
13	4308	40
14	4509	40
15	4671	40
16	5236	40
17	5784	40
18	6520	40
19	7200	40

Stop Event

1×	node limit

Counts

2 → 16

Calls

Call 1

Inputs
(.f64 (.f64 a a) (neg.f64 b))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))

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

Outputs

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

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

simplify52.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

410×	`rational_best-simplify-2`
260×	`rational_best-simplify-44`
116×	`rational_best-simplify-47`
50×	`rational_best-simplify-32`
48×	`rational_best-simplify-86`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	41	1232
1	76	1136
2	125	1136
3	217	1136
4	276	1136
5	327	1136
6	402	1136
7	476	1136
8	559	1136
9	627	1136
10	630	1136

Stop Event

1×

saturated

Counts

64 → 25

Calls

Call 1

Inputs
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(+.f64 (.f64 a (.f64 a (neg.f64 b))) 0)
(+.f64 0 (.f64 a (.f64 a (neg.f64 b))))
(-.f64 (.f64 a (.f64 a (neg.f64 b))) 0)
(-.f64 0 (.f64 a (.f64 a b)))
(/.f64 (.f64 a (.f64 a (neg.f64 b))) 1)
(/.f64 (.f64 a (.f64 a b)) -1)
(pow.f64 (.f64 a (.f64 a (neg.f64 b))) 1)
(neg.f64 (.f64 a (.f64 a b)))
(+.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 0)
(+.f64 0 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))))
(-.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 0)
(-.f64 0 (.f64 (.f64 a a) (*.f64 b b)))
(/.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 1)
(/.f64 (.f64 (.f64 a a) (*.f64 b b)) -1)
(pow.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 1)
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))

Outputs
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(+.f64 (.f64 a (.f64 a (neg.f64 b))) 0)
(.f64 a (.f64 a (neg.f64 b)))
(+.f64 0 (.f64 a (.f64 a (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 b)))
(-.f64 (.f64 a (.f64 a (neg.f64 b))) 0)
(.f64 a (.f64 a (neg.f64 b)))
(-.f64 0 (.f64 a (.f64 a b)))
(.f64 a (.f64 a (neg.f64 b)))
(/.f64 (.f64 a (.f64 a (neg.f64 b))) 1)
(.f64 a (.f64 a (neg.f64 b)))
(/.f64 (.f64 a (.f64 a b)) -1)
(.f64 a (.f64 a (neg.f64 b)))
(pow.f64 (.f64 a (.f64 a (neg.f64 b))) 1)
(.f64 a (.f64 a (neg.f64 b)))
(neg.f64 (.f64 a (.f64 a b)))
(.f64 a (.f64 a (neg.f64 b)))
(+.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(+.f64 0 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(-.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(-.f64 0 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(/.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(/.f64 (.f64 (.f64 a a) (*.f64 b b)) -1)
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(pow.f64 (.f64 a (.f64 (neg.f64 b) (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	20.1b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

Compiler

Compiled 21 to 6 computations (71.4% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	a	@	0	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
0.0ms	b	@	inf	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
0.0ms	a	@	inf	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
0.0ms	b	@	-inf	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
0.0ms	a	@	-inf	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

rewrite193.0ms (8.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1776×	`rational_best-2`
1776×	`rational_best-1`
1770×	`rational_best-3`
1726×	`rational_best-4`
1678×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	65	23
2	119	23
3	157	23
4	197	23
5	274	23
6	355	23
7	634	23
8	1206	23
9	1904	23
10	3039	23
11	3676	23
12	4000	23
13	4294	23
14	4495	23
15	4657	23
16	5235	23
17	5783	23
18	6519	23
19	7199	23

Stop Event

1×	node limit

Counts

1 → 8

Calls

Call 1

Inputs
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

Outputs

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

simplify38.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

394×	`rational_best-simplify-2`
270×	`rational_best-simplify-44`
106×	`rational_best-simplify-47`
50×	`rational_best-simplify-32`
44×	`rational_best-simplify-86`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	640
1	50	592
2	86	592
3	144	592
4	215	592
5	279	592
6	358	592
7	442	592
8	525	592
9	600	592
10	604	592

Stop Event

1×

saturated

Counts

32 → 14

Calls

Call 1

Inputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(+.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 0)
(+.f64 0 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)))
(-.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 0)
(-.f64 0 (.f64 (.f64 a a) (*.f64 b b)))
(/.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 1)
(/.f64 (.f64 (.f64 a a) (*.f64 b b)) -1)
(pow.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 1)
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))

Outputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 b a) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(+.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 0)
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(+.f64 0 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)))
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(-.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 0)
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(-.f64 0 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(/.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 1)
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(/.f64 (.f64 (.f64 a a) (*.f64 b b)) -1)
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(pow.f64 (.f64 (.f64 a (neg.f64 a)) (*.f64 b b)) 1)
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(neg.f64 (.f64 (.f64 a a) (*.f64 b b)))
(.f64 (.f64 a (neg.f64 a)) (*.f64 b b))
(neg.f64 (.f64 (.f64 b b) (*.f64 a a)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))

eval9.0ms (0.4%)

Compiler: Compiled 586 to 194 computations (66.9% saved)

prune9.0ms (0.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	63	3	66
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	63	6	69

Error

0.1b

Counts

69 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	20.5b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
✓	16.1b	(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
▶	4.3b	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
✓	15.3b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
▶	5.2b	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
▶	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))

Compiler

Compiled 58 to 36 computations (37.9% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (*.f64 a b) 2)

Compiler

Compiled 19 to 9 computations (52.6% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	a	@	-inf	(pow.f64 (*.f64 a b) 2)
0.0ms	a	@	0	(pow.f64 (*.f64 a b) 2)
0.0ms	b	@	-inf	(pow.f64 (*.f64 a b) 2)
0.0ms	b	@	inf	(pow.f64 (*.f64 a b) 2)
0.0ms	a	@	inf	(pow.f64 (*.f64 a b) 2)

rewrite13.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

14×	`rational_best-simplify-2`
12×	`rational_best-4`
12×	`rational_best-2`
12×	`rational_best-3`
12×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	68	13

Stop Event

1×

saturated

Counts

1 → 6

Calls

Call 1

Inputs
(pow.f64 (*.f64 a b) 2)

Outputs

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

simplify14.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

18×	`rational_best-simplify-2`
6×	`rational_best-simplify-5`
6×	`rational_best-simplify-6`
4×	`rational_best-simplify-47`
4×	`rational_best-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	390
1	20	390
2	32	390
3	38	390

Stop Event

1×

saturated

Counts

30 → 8

Calls

Call 1

Inputs
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(+.f64 (pow.f64 (*.f64 a b) 2) 0)
(+.f64 0 (pow.f64 (*.f64 a b) 2))
(-.f64 (pow.f64 (*.f64 a b) 2) 0)
(.f64 (pow.f64 (.f64 a b) 2) 1)
(.f64 1 (pow.f64 (.f64 a b) 2))
(/.f64 (pow.f64 (*.f64 a b) 2) 1)

Outputs
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(*.f64 (pow.f64 a 2) (pow.f64 b 2))
(pow.f64 (*.f64 a b) 2)
(+.f64 (pow.f64 (*.f64 a b) 2) 0)
(pow.f64 (*.f64 a b) 2)
(+.f64 0 (pow.f64 (*.f64 a b) 2))
(pow.f64 (*.f64 a b) 2)
(-.f64 (pow.f64 (*.f64 a b) 2) 0)
(pow.f64 (*.f64 a b) 2)
(.f64 (pow.f64 (.f64 a b) 2) 1)
(pow.f64 (*.f64 a b) 2)
(.f64 1 (pow.f64 (.f64 a b) 2))
(pow.f64 (*.f64 a b) 2)
(/.f64 (pow.f64 (*.f64 a b) 2) 1)
(pow.f64 (*.f64 a b) 2)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 b (.f64 b (neg.f64 a)))
✓	5.0b	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))

Compiler

Compiled 24 to 6 computations (75% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	a	@	0	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
0.0ms	a	@	inf	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
0.0ms	a	@	-inf	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
0.0ms	b	@	-inf	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
0.0ms	b	@	inf	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))

rewrite197.0ms (8.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1776×	`rational_best-2`
1776×	`rational_best-1`
1774×	`rational_best-3`
1736×	`rational_best-4`
1688×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	65	40
2	118	40
3	161	40
4	224	40
5	293	40
6	328	40
7	413	40
8	670	40
9	1259	40
10	1942	40
11	3073	40
12	3709	40
13	4033	40
14	4327	40
15	4528	40
16	4690	40
17	5267	40
18	5815	40
19	6551	40
20	7231	40

Stop Event

1×	node limit

Counts

2 → 16

Calls

Call 1

Inputs
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (neg.f64 a)))

Outputs

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

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

simplify55.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

420×	`rational_best-simplify-2`
244×	`rational_best-simplify-44`
130×	`rational_best-simplify-47`
54×	`rational_best-simplify-86`
44×	`rational_best-simplify-32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	1232
1	82	1136
2	133	1136
3	184	1136
4	237	1136
5	282	1136
6	328	1136
7	408	1136
8	486	1136
9	566	1136
10	635	1136
11	638	1136

Stop Event

1×

saturated

Counts

64 → 27

Calls

Call 1

Inputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(+.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(+.f64 0 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))))
(-.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(-.f64 0 (.f64 b (.f64 a (*.f64 a b))))
(/.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(/.f64 (.f64 b (.f64 a (*.f64 a b))) -1)
(pow.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(neg.f64 (.f64 b (.f64 a (*.f64 a b))))
(+.f64 (.f64 a (.f64 b (neg.f64 b))) 0)
(+.f64 0 (.f64 a (.f64 b (neg.f64 b))))
(-.f64 (.f64 a (.f64 b (neg.f64 b))) 0)
(-.f64 0 (.f64 a (.f64 b b)))
(/.f64 (.f64 a (.f64 b (neg.f64 b))) 1)
(/.f64 (.f64 a (.f64 b b)) -1)
(pow.f64 (.f64 a (.f64 b (neg.f64 b))) 1)
(neg.f64 (.f64 a (.f64 b b)))

Outputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(.f64 -1 (.f64 a (pow.f64 b 2)))
(*.f64 (pow.f64 b 2) (neg.f64 a))
(*.f64 a (neg.f64 (pow.f64 b 2)))
(+.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(+.f64 0 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(-.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(-.f64 0 (.f64 b (.f64 a (*.f64 a b))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(/.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(/.f64 (.f64 b (.f64 a (*.f64 a b))) -1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(pow.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(neg.f64 (.f64 b (.f64 a (*.f64 a b))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(+.f64 (.f64 a (.f64 b (neg.f64 b))) 0)
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(+.f64 0 (.f64 a (.f64 b (neg.f64 b))))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(-.f64 (.f64 a (.f64 b (neg.f64 b))) 0)
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(-.f64 0 (.f64 a (.f64 b b)))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(/.f64 (.f64 a (.f64 b (neg.f64 b))) 1)
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(/.f64 (.f64 a (.f64 b b)) -1)
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(pow.f64 (.f64 a (.f64 b (neg.f64 b))) 1)
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))
(neg.f64 (.f64 a (.f64 b b)))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 b (.f64 b (neg.f64 a)))

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (.f64 a (neg.f64 b)))
✓	4.2b	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))

Compiler

Compiled 24 to 6 computations (75% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	b	@	0	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
0.0ms	b	@	inf	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
0.0ms	b	@	-inf	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
0.0ms	a	@	inf	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
0.0ms	a	@	-inf	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))

rewrite194.0ms (8.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1776×	`rational_best-2`
1776×	`rational_best-1`
1774×	`rational_best-3`
1736×	`rational_best-4`
1688×	`exponential-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	65	40
2	118	40
3	161	40
4	224	40
5	293	40
6	328	40
7	413	40
8	670	40
9	1259	40
10	1942	40
11	3073	40
12	3709	40
13	4033	40
14	4327	40
15	4528	40
16	4690	40
17	5267	40
18	5815	40
19	6551	40
20	7231	40

Stop Event

1×	node limit

Counts

2 → 16

Calls

Call 1

Inputs
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 b)))

Outputs

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

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

simplify55.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

424×	`rational_best-simplify-2`
258×	`rational_best-simplify-44`
132×	`rational_best-simplify-47`
54×	`rational_best-simplify-86`
46×	`rational_best-simplify-32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	1232
1	83	1136
2	135	1136
3	186	1136
4	240	1136
5	286	1136
6	332	1136
7	412	1136
8	489	1136
9	569	1136
10	646	1136
11	650	1136

Stop Event

1×

saturated

Counts

64 → 25

Calls

Call 1

Inputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(+.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 0)
(+.f64 0 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))))
(-.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 0)
(-.f64 0 (.f64 a (.f64 b (*.f64 b a))))
(/.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 1)
(/.f64 (.f64 a (.f64 b (*.f64 b a))) -1)
(pow.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 1)
(neg.f64 (.f64 a (.f64 b (*.f64 b a))))
(+.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(+.f64 0 (.f64 b (.f64 a (neg.f64 a))))
(-.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(-.f64 0 (.f64 b (.f64 a a)))
(/.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(/.f64 (.f64 b (.f64 a a)) -1)
(pow.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(neg.f64 (.f64 b (.f64 a a)))

Outputs
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) (pow.f64 b 2)))
(.f64 -1 (pow.f64 (.f64 a b) 2))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(.f64 -1 (.f64 (pow.f64 a 2) b))
(*.f64 (pow.f64 a 2) (neg.f64 b))
(+.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 0)
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(+.f64 0 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(-.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 0)
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(-.f64 0 (.f64 a (.f64 b (*.f64 b a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(/.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 1)
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(/.f64 (.f64 a (.f64 b (*.f64 b a))) -1)
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(pow.f64 (.f64 a (.f64 a (*.f64 b (neg.f64 b)))) 1)
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 a (.f64 b (*.f64 b a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(+.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(+.f64 0 (.f64 b (.f64 a (neg.f64 a))))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(-.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(-.f64 0 (.f64 b (.f64 a a)))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(/.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(/.f64 (.f64 b (.f64 a a)) -1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(pow.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))
(neg.f64 (.f64 b (.f64 a a)))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (neg.f64 (.f64 a a)))

eval7.0ms (0.3%)

Compiler: Compiled 526 to 199 computations (62.2% saved)

prune10.0ms (0.4%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	60	6	66

Error

0.1b

Counts

66 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	20.5b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
✓	16.1b	(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
✓	4.3b	(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
✓	15.3b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
✓	5.2b	(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))

Compiler

Compiled 58 to 36 computations (37.9% saved)

regimes20.0ms (0.9%)

Counts

7 → 1

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(neg.f64 (pow.f64 (*.f64 a b) 2))

Outputs
(neg.f64 (pow.f64 (*.f64 a b) 2))

Calls

5 calls:

5.0ms	a
4.0ms	b
3.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
3.0ms	(*.f64 a a)
3.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Error	Segments	Branch
0.3b	1	`a`
0.3b	1	`b`
0.3b	1	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
0.3b	1	`(.f64 (.f64 (*.f64 a a) b) b)`
0.3b	1	`(*.f64 a a)`

Compiler

Compiled 86 to 43 computations (50% saved)

regimes37.0ms (1.5%)

Counts

6 → 4

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 b (.f64 (*.f64 a a) (neg.f64 b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

Outputs
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))

Calls

5 calls:

15.0ms	a
6.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
5.0ms	(*.f64 a a)
5.0ms	b
4.0ms	(.f64 (.f64 (*.f64 a a) b) b)

Results

Error	Segments	Branch
0.9b	4	`a`
4.3b	1	`b`
3.2b	2	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
3.2b	2	`(.f64 (.f64 (*.f64 a a) b) b)`
3.2b	2	`(*.f64 a a)`

Compiler

Compiled 80 to 39 computations (51.3% saved)

bsearch42.0ms (1.8%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
8.0ms	9.023859062839336e-305	3.5551560794826586e-304
8.0ms	-5.491780911673426e-227	-4.358193551286195e-232
26.0ms	-4.2804867631464354e+220	-2.2487927018023527e+217

Results

24.0ms	288×	body	256	valid
14.0ms	106×	body	256	infinite

Compiler

Compiled 411 to 262 computations (36.3% saved)

regimes32.0ms (1.4%)

Accuracy

Total -17.8b remaining (-657.6%)

Threshold costs -17.8b (-657.6%)

Counts

3 → 3

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))

Outputs
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))

Calls

5 calls:

9.0ms	a
7.0ms	(*.f64 a a)
6.0ms	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
5.0ms	(.f64 (.f64 (*.f64 a a) b) b)
3.0ms	b

Results

Error	Segments	Branch
3.3b	3	`a`
5.2b	1	`b`
2.7b	3	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
2.7b	3	`(.f64 (.f64 (*.f64 a a) b) b)`
2.7b	3	`(*.f64 a a)`

Compiler

Compiled 56 to 31 computations (44.6% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	1.8658221144000904e+245	3.0266004372932926e+245
0.0ms	0.0	4.4e-323

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	258

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(neg.f64 (pow.f64 (*.f64 a b) 2))
(if (<=.f64 a -36000000000000001995896518153846077166715451233228075720919473087788992969353780952655808635634149598669414257680465976207989648520298248671861875271845928905522665319122206218753493030472553343569068928773027696476160) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (if (<=.f64 a -5334411546303883/106688230926077668385277628651540124754316133157054530566340124988224595805082113144342915213944868651886878569494931847134220826465909841285813696837293280737522521272224232935409252574589024395663440258174185631707051968599623380658622038016) (.f64 b (.f64 a (.f64 a (neg.f64 b)))) (if (<=.f64 a 1080944651146831/3088413288990945714607167766096760666649729152895234960279866913260350640380788374205938472006792060778611417607373228628384532735989280347702230834056678923362997806954442769843550227998248540363155634742320939156524772391123850992097524347673943425610505012700786888921103128284156837954503288400970554554866145951744) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (.f64 b (.f64 a (.f64 a (neg.f64 b)))))))
(if (<=.f64 (.f64 a a) 0) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (if (<=.f64 (.f64 a a) 200000000000000008865591331916694877000857933217272512160395875661926954165237823719168356730340153384902021777125683944200820531246613453659458355377824296650910559620209942066205153823999633833272476105465504214545753911342860863491894855860224) (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) (.f64 a (.f64 b (*.f64 b (neg.f64 a))))))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Outputs
(neg.f64 (pow.f64 (*.f64 a b) 2))
(if (<=.f64 a -36000000000000001995896518153846077166715451233228075720919473087788992969353780952655808635634149598669414257680465976207989648520298248671861875271845928905522665319122206218753493030472553343569068928773027696476160) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (if (<=.f64 a -5334411546303883/106688230926077668385277628651540124754316133157054530566340124988224595805082113144342915213944868651886878569494931847134220826465909841285813696837293280737522521272224232935409252574589024395663440258174185631707051968599623380658622038016) (.f64 b (.f64 a (.f64 a (neg.f64 b)))) (if (<=.f64 a 1080944651146831/3088413288990945714607167766096760666649729152895234960279866913260350640380788374205938472006792060778611417607373228628384532735989280347702230834056678923362997806954442769843550227998248540363155634742320939156524772391123850992097524347673943425610505012700786888921103128284156837954503288400970554554866145951744) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (.f64 b (.f64 a (.f64 a (neg.f64 b)))))))
(if (<=.f64 (.f64 a a) 0) (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (if (<=.f64 (.f64 a a) 200000000000000008865591331916694877000857933217272512160395875661926954165237823719168356730340153384902021777125683944200820531246613453659458355377824296650910559620209942066205153823999633833272476105465504214545753911342860863491894855860224) (neg.f64 (.f64 (.f64 (.f64 a a) b) b)) (.f64 a (.f64 b (*.f64 b (neg.f64 a))))))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 102 to 47 computations (53.9% saved)

soundness55.0ms (2.3%)

Algorithm

2×	egg-herbie

Rules

410×	`rational_best-simplify-2`
364×	`rational_best-simplify-2`
270×	`rational_best-simplify-44`
252×	`rational_best-simplify-44`
114×	`rational_best-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	17	23
2	26	23
3	48	23
4	93	23
5	137	23
6	167	23
7	212	23
8	290	23
9	364	23
10	438	23
11	505	23
12	509	23
0	41	1232
1	75	1136
2	123	1136
3	215	1136
4	271	1136
5	321	1136
6	396	1136
7	473	1136
8	556	1136
9	628	1136
10	632	1136

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 112 to 59 computations (47.3% saved)

end32.0ms (1.3%)

Remove: (sort a b)
Compiler: Compiled 112 to 45 computations (59.8% saved)

Iter	Nodes	Cost
0	13	46
1	27	46
2	43	46
3	79	46
4	134	46
5	174	46
6	219	46
7	297	46
8	370	46
9	444	46
10	510	46
11	513	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	9	23
1	17	23
2	26	23
3	48	23
4	93	23
5	137	23
6	167	23
7	212	23
8	290	23
9	364	23
10	438	23
11	505	23
12	509	23

Iter	Nodes	Cost
0	27	640
1	50	592
2	86	592
3	144	592
4	215	592
5	279	592
6	358	592
7	442	592
8	525	592
9	600	592
10	604	592

Iter	Nodes	Cost
0	13	46
1	27	46
2	43	46
3	79	46
4	134	46
5	174	46
6	219	46
7	297	46
8	370	46
9	444	46
10	510	46
11	513	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	9	23
1	17	23
2	26	23
3	48	23
4	93	23
5	137	23
6	167	23
7	212	23
8	290	23
9	364	23
10	438	23
11	505	23
12	509	23

Iter	Nodes	Cost
0	27	640
1	50	592
2	86	592
3	144	592
4	215	592
5	279	592
6	358	592
7	442	592
8	525	592
9	600	592
10	604	592

Details

analyze50.0ms (2.1%)

sample703.0ms (29.7%)

preprocess24.0ms (1%)

simplify26.0ms (1.1%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize7.0ms (0.3%)

series5.0ms (0.2%)

rewrite196.0ms (8.3%)

simplify52.0ms (2.2%)

localize7.0ms (0.3%)

series3.0ms (0.1%)

rewrite193.0ms (8.2%)

simplify52.0ms (2.2%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite193.0ms (8.1%)

simplify38.0ms (1.6%)

eval9.0ms (0.4%)

prune9.0ms (0.4%)

localize7.0ms (0.3%)

series2.0ms (0.1%)

rewrite13.0ms (0.5%)

simplify14.0ms (0.6%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite197.0ms (8.3%)

simplify55.0ms (2.3%)

localize7.0ms (0.3%)

series1.0ms (0%)

rewrite194.0ms (8.2%)

simplify55.0ms (2.3%)

eval7.0ms (0.3%)

prune10.0ms (0.4%)

regimes20.0ms (0.9%)

regimes37.0ms (1.5%)

bsearch42.0ms (1.8%)

regimes32.0ms (1.4%)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

soundness55.0ms (2.3%)

end32.0ms (1.3%)

Profiling

Iter	Nodes	Cost
0	13	46
1	27	46
2	43	46
3	79	46
4	134	46
5	174	46
6	219	46
7	297	46
8	370	46
9	444	46
10	510	46
11	513	46
0	2	2
1	2	2

Iter	Nodes	Cost
0	9	23
1	17	23
2	26	23
3	48	23
4	93	23
5	137	23
6	167	23
7	212	23
8	290	23
9	364	23
10	438	23
11	505	23
12	509	23

Iter	Nodes	Cost
0	27	640
1	50	592
2	86	592
3	144	592
4	215	592
5	279	592
6	358	592
7	442	592
8	525	592
9	600	592
10	604	592