Details

analyze54.0ms (2.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	62.4%	12.6%	6
37.5%	43.7%	18.8%	7
46.8%	34.3%	18.8%	8
53.1%	23.4%	23.5%	9
58.5%	18%	23.5%	10
62%	12.1%	25.9%	11
65%	9.2%	25.9%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample765.0ms (41%)

Results

730.0ms	8247×	body	64	valid
23.0ms	269×	body	64	invalid
1.0ms	9×	body	128	valid

preprocess21.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

327×	`fma-def_binary64`
30×	`distribute-rgt-in_binary64`
25×	`sub-neg_binary64`
24×	`distribute-lft-in_binary64`
24×	`unsub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	24
1	35	24
2	100	24
3	147	24
4	215	24
5	309	24
6	354	24
7	413	24
8	668	24
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))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 a (.f64 (*.f64 a b) (neg.f64 b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(neg.f64 (.f64 (.f64 (*.f64 b b) a) a))
(.f64 (.f64 a (*.f64 a b)) (neg.f64 b))
(.f64 a (.f64 (*.f64 a b) (neg.f64 b)))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))

Symmetry

(sort a b)

Compiler

Compiled 10 to 6 computations (40% saved)

simplify11.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

284×	`fma-def_binary64`
31×	`associate-l_binary64`
24×	`distribute-rgt-in_binary64`
24×	`sub-neg_binary64`
19×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	21	12
2	59	12
3	122	12
4	192	12
5	260	12
6	323	12
7	372	12
8	517	12
9	601	12

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

12.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	19.4b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
▶	12.7b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 58 to 33 computations (43.1% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	4.4b	(.f64 (.f64 (*.f64 a a) b) b)
✓	7.8b	(.f64 (.f64 a a) b)

series6.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite38.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`pow1_binary64`
509×	`add-log-exp_binary64`
509×	`log1p-expm1-u_binary64`
509×	`expm1-log1p-u_binary64`
495×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	121	14
2	1480	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

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

Outputs

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

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

simplify99.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

2154×	`associate-l_binary64`
1800×	`associate-r_binary64`
764×	`sqr-pow_binary64`
304×	`unswap-sqr_binary64`
257×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	408
1	18	408
2	39	408
3	108	408
4	483	408
5	1067	408
6	1133	408
7	1233	408
8	1353	408
9	1475	408
10	1622	408
11	1786	408
12	1975	408
13	2188	408
14	2418	408
15	2662	408
16	2927	408
17	3206	408
18	3506	408
19	3820	408

Stop Event

1×	node limit

Counts

70 → 26

Calls

Call 1

Inputs
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.f64 (pow.f64 a 2) b)
(*.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))

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

prune26.0ms (1.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	21	5	26
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	22	6	28

Error

0.1b

Counts

28 → 6

Alt Table

Status	Error	Program
▶	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
	15.2b	(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
	4.6b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
✓	12.7b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
	0.8b	(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
	13.1b	(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 a a) b)) 3) b))

Compiler

Compiled 357 to 217 computations (39.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series4.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite35.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

512×	`pow1_binary64`
489×	`add-sqr-sqrt_binary64`
471×	`add-log-exp_binary64`
471×	`log1p-expm1-u_binary64`
471×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	125	7
2	1379	7

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify156.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

1022×	`sqr-pow_binary64`
719×	`associate-l_binary64`
648×	`cube-prod_binary64`
567×	`fabs-mul_binary64`
505×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	240
1	16	240
2	37	240
3	103	240
4	432	240
5	2343	240
6	2435	240
7	2636	240
8	2834	240
9	3072	240
10	3391	240
11	4063	240
12	4557	240
13	5205	240
14	5943	240
15	6504	240
16	6848	240
17	7176	240
18	7270	240
19	7302	240
20	7955	240

Stop Event

1×	node limit

Counts

46 → 24

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))

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

prune26.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	24	6	30

Error

0.0b

Counts

30 → 6

Alt Table

Status	Error	Program
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
	15.2b	(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
▶	4.6b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
✓	12.7b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
	6.1b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	27.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 a b))))

Compiler

Compiled 346 to 173 computations (50% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series3.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite38.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

567×	`pow1_binary64`
520×	`add-log-exp_binary64`
520×	`log1p-expm1-u_binary64`
520×	`expm1-log1p-u_binary64`
508×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	121	14
2	1522	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify100.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

2170×	`associate-l_binary64`
1807×	`associate-r_binary64`
764×	`sqr-pow_binary64`
304×	`unswap-sqr_binary64`
257×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	408
1	18	408
2	39	408
3	108	408
4	483	408
5	1066	408
6	1132	408
7	1232	408
8	1352	408
9	1474	408
10	1621	408
11	1785	408
12	1974	408
13	2187	408
14	2417	408
15	2661	408
16	2926	408
17	3205	408
18	3505	408
19	3819	408

Stop Event

1×	node limit

Counts

70 → 26

Calls

Call 1

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

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

prune29.0ms (1.5%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	25	7	32

Error

0.0b

Counts

32 → 7

Alt Table

Status	Error	Program
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
	15.2b	(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
✓	4.6b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
✓	12.7b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
	6.1b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	27.2b	(neg.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 a b))))
▶	5.1b	(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (*.f64 a b))) 3) b))

Compiler

Compiled 369 to 207 computations (43.9% saved)

localize11.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f64 a (.f64 a b))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 3)
✓	4.4b	(.f64 (pow.f64 (cbrt.f64 (.f64 a (*.f64 a b))) 3) b)
✓	23.8b	(cbrt.f64 (.f64 a (.f64 a b)))

series15.0ms (0.8%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
4.0ms	b	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 a (*.f64 a b))) 3) b)
2.0ms	b	@	-inf	(pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 3)
1.0ms	b	@	-inf	(cbrt.f64 (.f64 a (.f64 a b)))
1.0ms	a	@	0	(pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 3)
1.0ms	b	@	inf	(pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 3)

rewrite53.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

727×	`pow1_binary64`
679×	`add-log-exp_binary64`
679×	`log1p-expm1-u_binary64`
679×	`expm1-log1p-u_binary64`
663×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	189	23
2	2006	23

Stop Event

1×	node limit

Counts

3 → 74

Calls

Call 1

Inputs
(cbrt.f64 (.f64 a (.f64 a b)))
(.f64 (pow.f64 (cbrt.f64 (.f64 a (*.f64 a b))) 3) b)
(pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 3)

Outputs

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

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

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

simplify157.0ms (8.4%)

Algorithm

1×	egg-herbie

Rules

1022×	`sqr-pow_binary64`
719×	`associate-l_binary64`
648×	`cube-prod_binary64`
567×	`fabs-mul_binary64`
505×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	240
1	16	240
2	37	240
3	103	240
4	432	240
5	2343	240
6	2435	240
7	2636	240
8	2834	240
9	3072	240
10	3391	240
11	4063	240
12	4557	240
13	5205	240
14	5943	240
15	6504	240
16	6848	240
17	7176	240
18	7270	240
19	7302	240
20	7955	240

Stop Event

1×	node limit

Counts

98 → 76

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))

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

prune144.0ms (7.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	85	4	89
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	87	9	96

Error

0.0b

Counts

96 → 9

Alt Table

Status	Error	Program
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
	15.2b	(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
✓	4.6b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
✓	12.7b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
	6.1b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	5.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 a b))) (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2)) b))
	5.1b	(neg.f64 (.f64 (.f64 (.f64 a (pow.f64 (cbrt.f64 (.f64 a b)) 2)) (cbrt.f64 (*.f64 a b))) b))
	21.6b	(neg.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2) (cbrt.f64 (.f64 a (sqrt.f64 b)))) (cbrt.f64 (*.f64 a (sqrt.f64 b)))) b))
	5.3b	(neg.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 a (.f64 a b)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 a (*.f64 a b))))) b))

Compiler

Compiled 1345 to 611 computations (54.6% saved)

regimes42.0ms (2.3%)

Accuracy

Total -48.1b remaining (-16064.4%)

Threshold costs -48.1b (-16064.4%)

Counts

14 → 1

Calls

Call 1

Inputs
(neg.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (.f64 a b))) (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2)) b))
(neg.f64 (.f64 (.f64 (.f64 a (pow.f64 (cbrt.f64 (.f64 a b)) 2)) (cbrt.f64 (*.f64 a b))) b))
(neg.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2) (cbrt.f64 (.f64 a (sqrt.f64 b)))) (cbrt.f64 (*.f64 a (sqrt.f64 b)))) b))
(neg.f64 (.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (.f64 a b))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 a (.f64 a b)))) 2)) (cbrt.f64 (cbrt.f64 (.f64 a (*.f64 a b))))) b))
(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a (*.f64 a b))) 3) b))
(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
(neg.f64 (.f64 (sqrt.f64 (.f64 a b)) (.f64 (sqrt.f64 (.f64 a b)) (*.f64 a b))))
(neg.f64 (pow.f64 (*.f64 a b) 2))
(neg.f64 (.f64 a (.f64 a (*.f64 b b))))
(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 a a) b)) 3) b))
(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

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

Results

8.0ms	0.3b	`a`
9.0ms	0.3b	`b`
6.0ms	0.3b	`(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))`
4.0ms	0.3b	`(.f64 (.f64 (*.f64 a a) b) b)`
5.0ms	0.3b	`(*.f64 a a)`
5.0ms	0.3b	`(*.f64 a a)`

Compiler

Compiled 214 to 94 computations (56.1% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
3	15	9

Stop Event

1×

saturated

Calls

Call 1

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

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

end15.0ms (0.8%)

Stop Event

1×

fuel

Remove

(sort a b)

Compiler

Compiled 32 to 24 computations (25% saved)

Details

analyze54.0ms (2.9%)

sample765.0ms (41%)

preprocess21.0ms (1.1%)

simplify11.0ms (0.6%)

prune2.0ms (0.1%)

localize5.0ms (0.3%)

series6.0ms (0.3%)

rewrite38.0ms (2.1%)

simplify99.0ms (5.3%)

prune26.0ms (1.4%)

localize4.0ms (0.2%)

series4.0ms (0.2%)

rewrite35.0ms (1.9%)

simplify156.0ms (8.3%)

prune26.0ms (1.4%)

localize5.0ms (0.3%)

series3.0ms (0.2%)

rewrite38.0ms (2.1%)

simplify100.0ms (5.4%)

prune29.0ms (1.5%)

localize11.0ms (0.6%)

series15.0ms (0.8%)

rewrite53.0ms (2.8%)

simplify157.0ms (8.4%)

prune144.0ms (7.7%)

regimes42.0ms (2.3%)

simplify2.0ms (0.1%)

end15.0ms (0.8%)

Profiling