Details

analyze55.0ms (1.7%)

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)

sample764.0ms (23.4%)

Results

727.0ms	8256×	body	256	valid
22.0ms	260×	body	256	infinite

Bogosity

preprocess28.0ms (0.8%)

Algorithm

2×	egg-herbie

Rules

284×	`rational.json-simplify-43`
272×	`rational.json-simplify-2`
110×	`rational.json-simplify-55`
46×	`rational.json-simplify-54`
32×	`rational.json-simplify-12`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	46
1	27	46
2	39	46
3	68	46
4	127	46
5	260	46
6	421	46
7	455	46
8	459	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)))
(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 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)))
(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

Symmetry

(sort a b)

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify30.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

300×	`rational.json-simplify-43`
270×	`rational.json-simplify-2`
102×	`rational.json-simplify-55`
52×	`rational.json-simplify-54`
30×	`rational.json-simplify-12`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	17	23
2	24	23
3	40	23
4	73	23
5	152	23
6	285	23
7	425	23
8	462	23
9	462	23

Stop Event

1×

saturated

Counts

1 → 7

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)))
(neg.f64 (.f64 a (.f64 (*.f64 a b) b)))
(.f64 (.f64 a a) (neg.f64 (*.f64 b b)))
(.f64 (.f64 b b) (neg.f64 (*.f64 a a)))
(.f64 b (.f64 b (neg.f64 (*.f64 a a))))

eval1.0ms (0%)

Compiler: Compiled 58 to 21 computations (63.8% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

2.5b

Counts

8 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	23.4b	(.f64 (.f64 b b) (neg.f64 (*.f64 a a)))
▶	17.4b	(.f64 b (.f64 b (neg.f64 (*.f64 a a))))
▶	5.1b	(neg.f64 (.f64 a (.f64 (*.f64 a b) b)))

Compiler

Compiled 30 to 18 computations (40% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 6 computations (77.8% saved)

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite97.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1754×	`rational.json-5`
1752×	`exponential.json-3`
1752×	`rational.json-1`
1752×	`rational.json-2`
1752×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	62	32
2	211	32
3	769	32
4	3239	32

Stop Event

1×	node limit

Counts

2 → 62

Calls

Call 1

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

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

Outputs

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

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

simplify209.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

1840×	`rational.json-simplify-47`
898×	`rational.json-simplify-2`
842×	`rational.json-simplify-104`
814×	`rational.json-simplify-49`
680×	`rational.json-simplify-76`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	150	1766
1	348	1766
2	718	1766
3	2115	1766
4	4116	1766
5	7590	1766

Stop Event

1×	node limit

Counts

110 → 68

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 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(+.f64 0 (.f64 a (.f64 b (*.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(/.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (*.f64 a b)))
(pow.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(fabs.f64 (.f64 a (.f64 b (*.f64 a b))))
(fabs.f64 (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 a) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) a))
(fabs.f64 (-.f64 0 (neg.f64 (.f64 a (.f64 b (*.f64 a b))))))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (neg.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (fabs.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) a))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (neg.f64 a)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (fabs.f64 a)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (neg.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) a))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (neg.f64 a)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (fabs.f64 a)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (neg.f64 b) (.f64 b (*.f64 a a))))
(fabs.f64 (.f64 (fabs.f64 b) (.f64 b (*.f64 a a))))
(fabs.f64 (.f64 (/.f64 b (fabs.f64 (/.f64 b b))) (.f64 b (*.f64 a a))))
(fabs.f64 (.f64 (.f64 a b) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (.f64 a b) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (.f64 a b) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 a (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 a (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (.f64 a (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 (neg.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (.f64 (neg.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (fabs.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (/.f64 (neg.f64 (.f64 a (.f64 b (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(+.f64 (.f64 b (.f64 a b)) 0)
(+.f64 0 (.f64 b (.f64 a b)))
(-.f64 (.f64 b (.f64 a b)) 0)
(/.f64 (.f64 b (.f64 a b)) 1)
(/.f64 (.f64 b (.f64 a b)) (/.f64 (.f64 b (.f64 a b)) (.f64 b (.f64 a b))))
(pow.f64 (.f64 b (.f64 a b)) 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 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(*.f64 a (pow.f64 b 2))
(+.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(+.f64 0 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(/.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(pow.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 a) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (-.f64 0 (neg.f64 (.f64 a (.f64 b (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 b) (.f64 b (*.f64 a a))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 b) (.f64 b (*.f64 a a))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 b (fabs.f64 (/.f64 b b))) (.f64 b (*.f64 a a))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 a b) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 a b) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (.f64 a b) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 a (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 a (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 a (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(fabs.f64 (/.f64 (neg.f64 (.f64 a (.f64 b (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 b (.f64 a (*.f64 a b)))
(+.f64 (.f64 b (.f64 a b)) 0)
(.f64 a (.f64 b b))
(+.f64 0 (.f64 b (.f64 a b)))
(.f64 a (.f64 b b))
(-.f64 (.f64 b (.f64 a b)) 0)
(.f64 a (.f64 b b))
(/.f64 (.f64 b (.f64 a b)) 1)
(.f64 a (.f64 b b))
(/.f64 (.f64 b (.f64 a b)) (/.f64 (.f64 b (.f64 a b)) (.f64 b (.f64 a b))))
(.f64 a (.f64 b b))
(pow.f64 (.f64 b (.f64 a b)) 1)
(.f64 a (.f64 b b))

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 6 computations (76% saved)

series4.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite120.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

954×	`rational.json-simplify-49`
794×	`rational.json-simplify-47`
788×	`rational.json-simplify-50`
764×	`rational.json-simplify-54`
592×	`rational.json-simplify-76`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	81	40
2	274	40
3	993	40
4	4319	40

Stop Event

1×	node limit

Counts

2 → 20

Calls

Call 1

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

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

Outputs

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

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

simplify258.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

1644×	`rational.json-simplify-47`
970×	`rational.json-simplify-43`
910×	`rational.json-simplify-54`
678×	`rational.json-simplify-42`
630×	`rational.json-simplify-79`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	49	1354
1	113	1258
2	252	1258
3	641	1234
4	2148	1234
5	4405	1234
6	6769	1234
7	7978	1234

Stop Event

1×	node limit

Counts

68 → 39

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 b (neg.f64 a))) 0)
(+.f64 0 (.f64 a (.f64 b (neg.f64 a))))
(-.f64 (.f64 a (.f64 b (neg.f64 a))) 0)
(-.f64 0 (neg.f64 (.f64 a (.f64 b (neg.f64 a)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 a (.f64 b (neg.f64 a))))) 1)
(/.f64 (.f64 a (.f64 b (neg.f64 a))) 1)
(/.f64 (.f64 a (.f64 b (neg.f64 a))) (/.f64 (.f64 b (.f64 a a)) (.f64 b (.f64 a a))))
(/.f64 (.f64 b (.f64 a a)) -1)
(pow.f64 (.f64 a (.f64 b (neg.f64 a))) 1)
(neg.f64 (neg.f64 (.f64 a (.f64 b (neg.f64 a)))))
(neg.f64 (.f64 b (.f64 a a)))
(+.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(+.f64 0 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))
(-.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))) 1)
(/.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(/.f64 (.f64 b (.f64 a (.f64 b (neg.f64 a)))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(pow.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(neg.f64 (.f64 b (.f64 b (*.f64 a a))))

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 b (neg.f64 a))) 0)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(+.f64 0 (.f64 a (.f64 b (neg.f64 a))))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(-.f64 (.f64 a (.f64 b (neg.f64 a))) 0)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(-.f64 0 (neg.f64 (.f64 a (.f64 b (neg.f64 a)))))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 a (.f64 b (neg.f64 a))))) 1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(/.f64 (.f64 a (.f64 b (neg.f64 a))) 1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(/.f64 (.f64 a (.f64 b (neg.f64 a))) (/.f64 (.f64 b (.f64 a a)) (.f64 b (.f64 a a))))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(/.f64 (.f64 b (.f64 a a)) -1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(pow.f64 (.f64 a (.f64 b (neg.f64 a))) 1)
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(neg.f64 (neg.f64 (.f64 a (.f64 b (neg.f64 a)))))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(neg.f64 (.f64 b (.f64 a a)))
(.f64 a (.f64 b (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 a b))
(+.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(+.f64 0 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(-.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))) 1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(/.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(/.f64 (.f64 b (.f64 a (.f64 b (neg.f64 a)))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(/.f64 (.f64 b (.f64 a (.f64 a (neg.f64 b)))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(/.f64 (.f64 a (.f64 a (.f64 (neg.f64 b) b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (.f64 a (.f64 b (*.f64 a b)))))
(/.f64 (.f64 a (.f64 (neg.f64 a) (.f64 b b))) (/.f64 (.f64 a b) (*.f64 a b)))
(.f64 (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (/.f64 (.f64 a b) (.f64 a b)))
(.f64 (.f64 a (.f64 (neg.f64 a) (.f64 b b))) (/.f64 (.f64 a b) (.f64 a b)))
(pow.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(neg.f64 (.f64 b (.f64 b (*.f64 a a))))
(.f64 b (.f64 a (*.f64 b (neg.f64 a))))
(.f64 b (.f64 a (*.f64 a (neg.f64 b))))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 6 computations (72.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite129.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1086×	`rational.json-simplify-49`
864×	`rational.json-simplify-47`
852×	`rational.json-simplify-50`
782×	`rational.json-simplify-54`
578×	`rational.json-simplify-58`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	81	23
2	278	23
3	1022	23
4	4639	23

Stop Event

1×	node limit

Counts

1 → 12

Calls

Call 1

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

Outputs

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

simplify236.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

1812×	`rational.json-simplify-47`
1132×	`rational.json-simplify-104`
886×	`rational.json-simplify-2`
734×	`rational.json-simplify-49`
722×	`rational.json-simplify-1`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	36	780
1	77	732
2	161	732
3	417	708
4	1323	708
5	3777	708
6	6178	708
7	7684	708

Stop Event

1×	node limit

Counts

36 → 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 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 0)
(+.f64 0 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))))
(-.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 0)
(-.f64 0 (neg.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a)))))
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))))) 1)
(/.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 1)
(/.f64 (.f64 a (.f64 (.f64 b b) (neg.f64 a))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(/.f64 (.f64 b (.f64 b (*.f64 a a))) -1)
(pow.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 1)
(neg.f64 (neg.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a)))))
(neg.f64 (.f64 b (.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 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 0)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(+.f64 0 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(-.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 0)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(-.f64 0 (neg.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a)))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))))) 1)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(/.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 1)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(/.f64 (.f64 a (.f64 (.f64 b b) (neg.f64 a))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(/.f64 (.f64 a (.f64 (.f64 b b) (neg.f64 a))) (/.f64 (.f64 b (.f64 a (.f64 a b))) (.f64 b (.f64 a (*.f64 a b)))))
(/.f64 (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (/.f64 (.f64 b (.f64 b (.f64 a a))) (.f64 b (.f64 b (*.f64 a a)))))
(/.f64 (.f64 a (.f64 b (.f64 b (neg.f64 a)))) (/.f64 (.f64 (.f64 b b) (.f64 a a)) (.f64 (.f64 b b) (*.f64 a a))))
(/.f64 (.f64 a (.f64 a (.f64 b (neg.f64 b)))) (/.f64 (.f64 a b) (*.f64 a b)))
(/.f64 (neg.f64 (.f64 (.f64 a b) (.f64 a b))) (/.f64 (.f64 a b) (*.f64 a b)))
(.f64 (neg.f64 (.f64 (.f64 a b) (.f64 a b))) (/.f64 (.f64 a b) (.f64 a b)))
(/.f64 (.f64 b (.f64 b (*.f64 a a))) -1)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(pow.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a))) 1)
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(neg.f64 (neg.f64 (.f64 a (.f64 (*.f64 b b) (neg.f64 a)))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
(neg.f64 (.f64 b (.f64 b (*.f64 a a))))
(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))

eval18.0ms (0.6%)

Compiler: Compiled 1672 to 401 computations (76% saved)

prune23.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	130	5	135

Error

0.1b

Counts

135 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	6.0b	(.f64 b (.f64 (neg.f64 a) (*.f64 a b)))
✓	17.4b	(.f64 b (.f64 b (neg.f64 (*.f64 a a))))
▶	15.1b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
▶	0.3b	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
✓	5.1b	(neg.f64 (.f64 a (.f64 (*.f64 a b) b)))

Compiler

Compiled 50 to 29 computations (42% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 5 computations (77.3% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite93.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1896×	`rational.json-5`
1894×	`exponential.json-3`
1894×	`rational.json-1`
1894×	`rational.json-2`
1894×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	55	19
2	211	19
3	793	19
4	3511	19

Stop Event

1×	node limit

Counts

1 → 65

Calls

Call 1

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

Outputs

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

simplify124.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1722×	`rational.json-simplify-47`
1164×	`rational.json-simplify-104`
974×	`rational.json-simplify-76`
848×	`rational.json-simplify-49`
836×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	172	1547
1	409	1547
2	812	1547
3	2140	1547
4	4439	1547

Stop Event

1×	node limit

Counts

89 → 69

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 (.f64 a (.f64 b (*.f64 a b))) 0)
(+.f64 0 (.f64 a (.f64 b (*.f64 a b))))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(/.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (*.f64 a b)))
(pow.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(fabs.f64 (.f64 a (.f64 b (*.f64 a b))))
(fabs.f64 (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) a))
(fabs.f64 (.f64 (.f64 a b) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (*.f64 a b)))
(fabs.f64 (.f64 (fabs.f64 a) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 a (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (-.f64 0 (neg.f64 (.f64 a (.f64 b (*.f64 a b))))))
(fabs.f64 (-.f64 0 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 a (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 a (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (fabs.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (.f64 (neg.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (neg.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 b (fabs.f64 a)))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (neg.f64 (.f64 b (*.f64 a b)))))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (fabs.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (neg.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (neg.f64 a)))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) a))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (fabs.f64 a)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (neg.f64 a)))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) a))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (fabs.f64 a)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (neg.f64 a)))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(fabs.f64 (.f64 (.f64 a b) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (.f64 a b) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (*.f64 a b)))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (*.f64 a b)))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (neg.f64 (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(fabs.f64 (.f64 (neg.f64 b) (.f64 a (*.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 b) (.f64 a (*.f64 a b))))
(fabs.f64 (.f64 (/.f64 b (fabs.f64 (/.f64 b b))) (.f64 a (*.f64 a b))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (fabs.f64 (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (/.f64 (.f64 a b) (.f64 a b)) (fabs.f64 (/.f64 (/.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 a b) (*.f64 a b)))))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (+.f64 b b)) (.f64 (fabs.f64 (.f64 a b)) 2))))
(fabs.f64 (/.f64 (neg.f64 (.f64 a (.f64 b (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (/.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (-.f64 0 (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))

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 (.f64 a (.f64 b (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(+.f64 0 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(-.f64 (.f64 a (.f64 b (*.f64 a b))) 0)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(/.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(pow.f64 (.f64 a (.f64 b (*.f64 a b))) 1)
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 a (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 a b) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 a) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 a (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (-.f64 0 (neg.f64 (.f64 a (.f64 b (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (-.f64 0 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 a (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 a (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 a) (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 a) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 a) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (.f64 b (*.f64 b (fabs.f64 a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (neg.f64 (.f64 b (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 a (fabs.f64 (/.f64 a a))) (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 a b)) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 b (*.f64 b (fabs.f64 a))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 b (*.f64 a b))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) a))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (fabs.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (neg.f64 a)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 b (.f64 a b)) (fabs.f64 (/.f64 (.f64 b (.f64 a b)) (.f64 b (*.f64 a b))))) (/.f64 a (fabs.f64 (/.f64 a a)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 a b) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (.f64 a b) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 (.f64 a b)) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (*.f64 a b)))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (neg.f64 (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (/.f64 (.f64 a b) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (neg.f64 b) (.f64 a (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (fabs.f64 b) (.f64 a (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (.f64 (/.f64 b (fabs.f64 (/.f64 b b))) (.f64 a (*.f64 a b))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (neg.f64 (.f64 a (.f64 b (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a b) (fabs.f64 (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (/.f64 (.f64 a b) (.f64 a b)) (fabs.f64 (/.f64 (/.f64 (.f64 a b) (.f64 a b)) (/.f64 (.f64 a b) (*.f64 a b)))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (fabs.f64 (.f64 a b)) (neg.f64 (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (/.f64 (.f64 a (+.f64 b b)) (.f64 (fabs.f64 (.f64 a b)) 2))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (neg.f64 (.f64 a (.f64 b (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (fabs.f64 (/.f64 (.f64 a b) (.f64 a b)))) (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b)))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))
(fabs.f64 (/.f64 (.f64 a (.f64 b (.f64 a b))) (-.f64 0 (fabs.f64 (/.f64 (.f64 a b) (*.f64 a b))))))
(.f64 a (.f64 a (*.f64 b b)))
(.f64 (.f64 a b) (*.f64 a b))

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 6 computations (73.9% saved)

series2.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	b	@	0	(.f64 (.f64 b b) (neg.f64 a))
0.0ms	a	@	0	(.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))
0.0ms	a	@	inf	(.f64 (.f64 b b) (neg.f64 a))

rewrite116.0ms (3.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1354×	`rational.json-simplify-49`
906×	`rational.json-simplify-47`
696×	`rational.json-simplify-58`
624×	`rational.json-simplify-43`
526×	`rational.json-simplify-55`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	83	40
2	294	40
3	1099	40
4	4941	40

Stop Event

1×	node limit

Counts

2 → 21

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 0 (neg.f64 (*.f64 b (*.f64 b (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 b (*.f64 b (neg.f64 a))))) 1)))) (#(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 (neg.f64 a))) (/.f64 (*.f64 b (*.f64 b a)) (*.f64 b (*.f64 b a))))))) (#(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 neg.f64 (neg.f64 (*.f64 b (*.f64 b (neg.f64 a)))))))))

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

simplify238.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

1106×	`rational.json-simplify-2`
788×	`rational.json-simplify-41`
768×	`rational.json-simplify-49`
682×	`rational.json-simplify-43`
674×	`rational.json-simplify-42`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	53	1323
1	116	1227
2	243	1227
3	636	1227
4	1975	1227
5	4934	1227
6	6598	1227
7	7901	1227

Stop Event

1×	node limit

Counts

69 → 35

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 0 (neg.f64 (.f64 b (.f64 b (neg.f64 a)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 b (neg.f64 a))))) 1)
(/.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(/.f64 (.f64 b (.f64 b (neg.f64 a))) (/.f64 (.f64 b (.f64 b a)) (.f64 b (.f64 b a))))
(/.f64 (.f64 b (.f64 b a)) -1)
(pow.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(neg.f64 (.f64 b (.f64 b a)))
(neg.f64 (neg.f64 (.f64 b (.f64 b (neg.f64 a)))))
(+.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(+.f64 0 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))
(-.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))) 1)
(/.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(/.f64 (.f64 b (.f64 a (.f64 b (neg.f64 a)))) (/.f64 (.f64 b (neg.f64 a)) (*.f64 b (neg.f64 a))))
(pow.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(neg.f64 (.f64 b (.f64 b (*.f64 a a))))

Outputs
(.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 -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 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(+.f64 0 (.f64 b (.f64 b (neg.f64 a))))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(-.f64 (.f64 b (.f64 b (neg.f64 a))) 0)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(-.f64 0 (.f64 b (.f64 b a)))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(-.f64 0 (neg.f64 (.f64 b (.f64 b (neg.f64 a)))))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 b (neg.f64 a))))) 1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(/.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(/.f64 (.f64 b (.f64 b (neg.f64 a))) (/.f64 (.f64 b (.f64 b a)) (.f64 b (.f64 b a))))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(/.f64 (.f64 b (.f64 b a)) -1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(pow.f64 (.f64 b (.f64 b (neg.f64 a))) 1)
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(neg.f64 (.f64 b (.f64 b a)))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(neg.f64 (neg.f64 (.f64 b (.f64 b (neg.f64 a)))))
(.f64 b (.f64 b (neg.f64 a)))
(.f64 (neg.f64 a) (.f64 b b))
(.f64 a (.f64 b (neg.f64 b)))
(.f64 a (neg.f64 (.f64 b b)))
(+.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(+.f64 0 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(-.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 0)
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(-.f64 0 (.f64 b (.f64 b (*.f64 a a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))))) 1)
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(/.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(/.f64 (.f64 b (.f64 a (.f64 b (neg.f64 a)))) (/.f64 (.f64 b (neg.f64 a)) (*.f64 b (neg.f64 a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(pow.f64 (.f64 b (.f64 a (*.f64 b (neg.f64 a)))) 1)
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))
(neg.f64 (.f64 b (.f64 b (*.f64 a a))))
(.f64 a (.f64 b (*.f64 b (neg.f64 a))))
(.f64 a (.f64 (neg.f64 a) (*.f64 b b)))
(.f64 a (.f64 a (*.f64 b (neg.f64 b))))
(.f64 a (.f64 a (neg.f64 (*.f64 b b))))

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 6 computations (73.9% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite112.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1392×	`rational.json-simplify-49`
874×	`rational.json-simplify-47`
674×	`rational.json-simplify-58`
608×	`rational.json-simplify-43`
514×	`rational.json-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	40
1	85	40
2	306	40
3	1133	40
4	4832	40

Stop Event

1×	node limit

Counts

2 → 21

Calls

Call 1

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

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 b a))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 b (*.f64 b (*.f64 a (neg.f64 a)))))) 1)))) (#(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 b (*.f64 a (neg.f64 a)))) (/.f64 (*.f64 b a) (*.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 b (*.f64 a (*.f64 b a))) -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 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 (neg.f64 (*.f64 b (*.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (-.f64 0 (-.f64 -1 (*.f64 b (*.f64 a (neg.f64 a))))) 1)))) (#(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 (neg.f64 a))) (/.f64 (*.f64 b (*.f64 a (neg.f64 a))) (*.f64 b (*.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 a (*.f64 b 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 (neg.f64 (*.f64 b (*.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 a (*.f64 b a)))))))

simplify152.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

1900×	`rational.json-simplify-47`
1238×	`rational.json-simplify-43`
868×	`rational.json-simplify-1`
636×	`rational.json-simplify-42`
486×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	50	1353
1	112	1257
2	258	1257
3	735	1257
4	3024	1257
5	6240	1257

Stop Event

1×	node limit

Counts

69 → 38

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 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 b a))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))))) 1)
(/.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(/.f64 (.f64 b (.f64 b (.f64 a (neg.f64 a)))) (/.f64 (.f64 b a) (*.f64 b a)))
(/.f64 (.f64 b (.f64 a (*.f64 b a))) -1)
(pow.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(neg.f64 (.f64 b (.f64 a (*.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 (neg.f64 (.f64 b (.f64 a (neg.f64 a)))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (neg.f64 a))))) 1)
(/.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(/.f64 (.f64 b (.f64 a (neg.f64 a))) (/.f64 (.f64 b (.f64 a (neg.f64 a))) (.f64 b (.f64 a (neg.f64 a)))))
(/.f64 (.f64 a (.f64 b a)) -1)
(pow.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(neg.f64 (neg.f64 (.f64 b (.f64 a (neg.f64 a)))))
(neg.f64 (.f64 a (.f64 b 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 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(+.f64 0 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(-.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 0)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(-.f64 0 (.f64 b (.f64 a (*.f64 b a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))))) 1)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(/.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(/.f64 (.f64 b (.f64 b (.f64 a (neg.f64 a)))) (/.f64 (.f64 b a) (*.f64 b a)))
(/.f64 (.f64 b (.f64 b (.f64 a (neg.f64 a)))) (/.f64 (.f64 a b) (*.f64 a b)))
(/.f64 (.f64 (.f64 a (.f64 a b)) (neg.f64 b)) (/.f64 (.f64 a b) (*.f64 a b)))
(.f64 (.f64 b (.f64 b (.f64 a a))) (/.f64 (.f64 a (neg.f64 b)) (.f64 a b)))
(.f64 (.f64 a (.f64 a (.f64 (neg.f64 b) b))) (/.f64 (.f64 a b) (.f64 a b)))
(.f64 (.f64 b (.f64 a (.f64 a b))) (/.f64 (.f64 a (neg.f64 b)) (.f64 a b)))
(/.f64 (.f64 b (.f64 a (*.f64 b a))) -1)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(pow.f64 (.f64 b (.f64 b (*.f64 a (neg.f64 a)))) 1)
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(neg.f64 (.f64 b (.f64 a (*.f64 b a))))
(.f64 b (.f64 b (*.f64 a (neg.f64 a))))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 (.f64 b (*.f64 a a)) (neg.f64 b))
(.f64 a (.f64 a (*.f64 (neg.f64 b) b)))
(.f64 (neg.f64 (.f64 a a)) (*.f64 b b))
(+.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(+.f64 0 (.f64 b (.f64 a (neg.f64 a))))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(-.f64 (.f64 b (.f64 a (neg.f64 a))) 0)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(-.f64 0 (neg.f64 (.f64 b (.f64 a (neg.f64 a)))))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 b (.f64 a (neg.f64 a))))) 1)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(/.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(/.f64 (.f64 b (.f64 a (neg.f64 a))) (/.f64 (.f64 b (.f64 a (neg.f64 a))) (.f64 b (.f64 a (neg.f64 a)))))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(/.f64 (.f64 a (.f64 b a)) -1)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(pow.f64 (.f64 b (.f64 a (neg.f64 a))) 1)
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(neg.f64 (neg.f64 (.f64 b (.f64 a (neg.f64 a)))))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))
(neg.f64 (.f64 a (.f64 b a)))
(.f64 b (.f64 a (neg.f64 a)))
(.f64 a (.f64 a (neg.f64 b)))

eval24.0ms (0.7%)

Compiler: Compiled 1809 to 464 computations (74.4% saved)

prune22.0ms (0.7%)

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	142	5	147

Error

0.1b

Counts

147 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	6.0b	(.f64 b (.f64 (neg.f64 a) (*.f64 a b)))
✓	17.4b	(.f64 b (.f64 b (neg.f64 (*.f64 a a))))
✓	15.1b	(.f64 a (.f64 (*.f64 b b) (neg.f64 a)))
✓	0.3b	(neg.f64 (.f64 (.f64 a b) (*.f64 a b)))
✓	5.1b	(neg.f64 (.f64 a (.f64 (*.f64 a b) b)))

Compiler

Compiled 50 to 29 computations (42% saved)

regimes25.0ms (0.8%)

Accuracy

Total -23.3b remaining (-7302%)

Threshold costs -23.3b (-7302%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

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 88 to 40 computations (54.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	46

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 20 to 11 computations (45% saved)

soundness305.0ms (9.3%)

Algorithm

2×	egg-herbie

Rules

1812×	`rational.json-simplify-47`
1132×	`rational.json-simplify-104`
886×	`rational.json-simplify-2`
734×	`rational.json-simplify-49`
722×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	17	23
2	24	23
3	40	23
4	73	23
5	152	23
6	285	23
7	425	23
8	462	23
9	462	23
0	36	780
1	77	732
2	161	732
3	417	708
4	1323	708
5	3777	708
6	6178	708
7	7684	708

Stop Event

1×	node limit
1×	saturated

Compiler

Compiled 185 to 64 computations (65.4% saved)

end20.0ms (0.6%)

Remove: (sort a b)
Compiler: Compiled 38 to 18 computations (52.6% saved)

Details

analyze55.0ms (1.7%)

sample764.0ms (23.4%)

preprocess28.0ms (0.8%)

simplify30.0ms (0.9%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize8.0ms (0.2%)

series5.0ms (0.1%)

rewrite97.0ms (3%)

simplify209.0ms (6.4%)

localize8.0ms (0.2%)

series4.0ms (0.1%)

rewrite120.0ms (3.7%)

simplify258.0ms (7.9%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite129.0ms (4%)

simplify236.0ms (7.2%)

eval18.0ms (0.6%)

prune23.0ms (0.7%)

localize6.0ms (0.2%)

series1.0ms (0%)

rewrite93.0ms (2.9%)

simplify124.0ms (3.8%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite116.0ms (3.5%)

simplify238.0ms (7.3%)

localize8.0ms (0.2%)

series1.0ms (0%)

rewrite112.0ms (3.4%)

simplify152.0ms (4.7%)

eval24.0ms (0.7%)

prune22.0ms (0.7%)

regimes25.0ms (0.8%)

simplify2.0ms (0.1%)

soundness305.0ms (9.3%)

end20.0ms (0.6%)

Profiling