Details

analyze55.0ms (2.8%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	21.9%	9.5%	7
73.4%	17.2%	9.5%	8
76.5%	11.7%	11.8%	9
79.2%	9%	11.8%	10
81%	6%	13%	11
82.4%	4.6%	13%	12
83.4%	3.1%	13.6%	13
84.1%	2.3%	13.6%	14

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample831.0ms (42%)

Results

675.0ms	8256×	body	128	valid
141.0ms	1692×	body	128	invalid

Compiler

Compiled 22 to 14 computations (36.4% saved)

preprocess18.0ms (0.9%)

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)

simplify15.0ms (0.7%)

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

prune3.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

15.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	21.7b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
▶	15.9b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 58 to 33 computations (43.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series16.0ms (0.8%)

Counts

2 → 48

Calls

12 calls:

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

rewrite34.0ms (1.7%)

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 → 26

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 cbrt.f64 (.f64 (pow.f64 (.f64 a a) 3) (pow.f64 b 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 b 3) (pow.f64 (.f64 a a) 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 cbrt.f64 (.f64 (pow.f64 b 3) (pow.f64 (.f64 (.f64 a a) b) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 (.f64 a 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)))))))

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 cbrt.f64 (*.f64 (pow.f64 (*.f64 a a) 3) (pow.f64 b 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 b 3) (pow.f64 (*.f64 a a) 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 cbrt.f64 (*.f64 (pow.f64 b 3) (pow.f64 (*.f64 (*.f64 a a) b) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (*.f64 (*.f64 a 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)))))))

simplify96.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

2154×	`associate-l_binary64`
764×	`sqr-pow_binary64`
304×	`unswap-sqr_binary64`
257×	`pow-sqr_binary64`
187×	`cube-prod_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

74 → 30

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

prune23.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	25	5	30
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	25	7	32

Error

0.1b

Counts

32 → 7

Alt Table

Status	Error	Program
	25.8b	(neg.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 a b) 2) 3)))
▶	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
	0.9b	(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
	19.8b	(neg.f64 (.f64 (pow.f64 (.f64 a (sqrt.f64 b)) 2) b))
	4.7b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
	21.7b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
✓	15.9b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 427 to 262 computations (38.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.3%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	b	@	-inf	(pow.f64 (*.f64 a b) 2)
1.0ms	a	@	-inf	(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)

rewrite26.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

512×	`pow1_binary64`
471×	`add-log-exp_binary64`
471×	`log1p-expm1-u_binary64`
471×	`expm1-log1p-u_binary64`
458×	`add-exp-log_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)))))))

simplify67.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

719×	`associate-l_binary64`
564×	`sqr-pow_binary64`
505×	`associate-r_binary64`
482×	`*-commutative_binary64`
263×	`cube-prod_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

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

prune20.0ms (1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	22	2	24
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	23	8	31

Error

0.0b

Counts

31 → 8

Alt Table

Status	Error	Program
	6.8b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	4.7b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
▶	0.9b	(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
	19.8b	(neg.f64 (.f64 (pow.f64 (.f64 a (sqrt.f64 b)) 2) b))
	0.9b	(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))))
	21.7b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
✓	15.9b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))

Compiler

Compiled 394 to 211 computations (46.4% saved)

localize8.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.3b	(pow.f64 (*.f64 a b) 2)
✓	0.5b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3)
✓	20.1b	(cbrt.f64 (pow.f64 (*.f64 a b) 2))

series27.0ms (1.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite35.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

657×	`pow1_binary64`
616×	`add-log-exp_binary64`
615×	`log1p-expm1-u_binary64`
615×	`expm1-log1p-u_binary64`
80×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	192	16
2	1887	16

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

Outputs

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

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

simplify6.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

Calls

Call 1

Inputs

Outputs

prune63.0ms (3.2%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	71	11	82

Error

0.0b

Counts

82 → 11

Alt Table

Status	Error	Program
	6.8b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	4.7b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
	17.7b	(neg.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 4))) 3))
	21.7b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
	1.8b	(neg.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 a b)) 2)) 3) 3))
✓	15.9b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
✓	0.9b	(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
	19.8b	(neg.f64 (.f64 (pow.f64 (.f64 a (sqrt.f64 b)) 2) b))
▶	0.9b	(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))))
	17.8b	(neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a b) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a b) 4)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 a b)) 2))))

Compiler

Compiled 1159 to 664 computations (42.7% saved)

localize7.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b)))
✓	0.3b	(.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 a b)) 2)
✓	9.1b	(cbrt.f64 (*.f64 a b))

series199.0ms (10.1%)

Counts

4 → 24

Calls

24 calls:

Time	Variable		Point	Expression
50.0ms	b	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b)))
50.0ms	a	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b)))
19.0ms	a	@	-inf	(pow.f64 (cbrt.f64 (*.f64 a b)) 2)
17.0ms	b	@	-inf	(pow.f64 (cbrt.f64 (*.f64 a b)) 2)
10.0ms	a	@	-inf	(.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))

rewrite41.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

720×	`pow1_binary64`
667×	`log1p-expm1-u_binary64`
667×	`expm1-log1p-u_binary64`
88×	`associate-r_binary64`
86×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	37
1	185	31
2	2097	31

Stop Event

1×	node limit

Counts

4 → 77

Calls

Call 1

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

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

simplify69.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

719×	`associate-l_binary64`
564×	`sqr-pow_binary64`
505×	`associate-r_binary64`
482×	`*-commutative_binary64`
263×	`cube-prod_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

Stop Event

1×	node limit

Counts

101 → 79

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

prune82.0ms (4.2%)

Pruning

12 alts after pruning (8 fresh and 4 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	103	12	115

Error

0.0b

Counts

115 → 12

Alt Table

Status	Error	Program
	6.8b	(neg.f64 (.f64 a (.f64 b (*.f64 a b))))
	4.7b	(neg.f64 (.f64 (.f64 a (*.f64 a b)) b))
	17.7b	(neg.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 4))) 3))
	21.7b	(.f64 (.f64 a a) (*.f64 b (neg.f64 b)))
	1.8b	(neg.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 a b)) 2)) 3) 3))
✓	15.9b	(neg.f64 (.f64 (.f64 (*.f64 a a) b) b))
✓	0.3b	(neg.f64 (pow.f64 (*.f64 a b) 2))
✓	0.9b	(neg.f64 (pow.f64 (cbrt.f64 (pow.f64 (*.f64 a b) 2)) 3))
	19.8b	(neg.f64 (.f64 (pow.f64 (.f64 a (sqrt.f64 b)) 2) b))
✓	0.9b	(neg.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 a b)) 2) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))))
	0.8b	(neg.f64 (.f64 (.f64 (cbrt.f64 a) (.f64 (cbrt.f64 b) (cbrt.f64 (.f64 a b)))) (.f64 (cbrt.f64 (.f64 a b)) (*.f64 a b))))
	17.8b	(neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a b) 4)) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a b) 4)))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 a b)) 2))))

Compiler

Compiled 2019 to 842 computations (58.3% saved)

regimes94.0ms (4.8%)

Accuracy

Total 0.3b remaining (89.2%)

Threshold costs 0.3b (89.2%)

Counts

22 → 1

Compiler

Compiled 1673 to 1073 computations (35.9% 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))

end126.0ms (6.4%)

Stop Event

1×

fuel

Remove

(sort a b)

Compiler

Compiled 193 to 130 computations (32.6% saved)

Details

analyze55.0ms (2.8%)

sample831.0ms (42%)

preprocess18.0ms (0.9%)

simplify15.0ms (0.7%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series16.0ms (0.8%)

rewrite34.0ms (1.7%)

simplify96.0ms (4.9%)

prune23.0ms (1.1%)

localize4.0ms (0.2%)

series6.0ms (0.3%)

rewrite26.0ms (1.3%)

simplify67.0ms (3.4%)

prune20.0ms (1%)

localize8.0ms (0.4%)

series27.0ms (1.4%)

rewrite35.0ms (1.8%)

simplify6.0ms (0.3%)

prune63.0ms (3.2%)

localize7.0ms (0.4%)

series199.0ms (10.1%)

rewrite41.0ms (2.1%)

simplify69.0ms (3.5%)

prune82.0ms (4.2%)

regimes94.0ms (4.8%)

simplify2.0ms (0.1%)

end126.0ms (6.4%)

Profiling