Details

analyze79.0ms (1.5%)

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
37.5%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.3s (25.8%)

Results

1.3s	8256×	body	256	valid
34.0ms	337×	body	256	invalid

preprocess29.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

3×	`*-commutative_binary64`
2×	`associate-r_binary64`
2×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	14	14
2	16	14
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 (.f64 x y) y)
(.f64 (.f64 y x) x)

Outputs
(.f64 (.f64 x y) y)
(.f64 x (.f64 y y))
(.f64 (.f64 y x) x)
(.f64 y (.f64 x x))

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify16.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`associate-r_binary64`
1×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	9	7
2	10	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 x y) y)

Outputs
(.f64 (.f64 x y) y)
(.f64 x (.f64 y y))

eval1.0ms (0%)

Compiler: Compiled 12 to 6 computations (50% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x y) y)
▶	13.8b	(.f64 x (.f64 y y))

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	13.3b	(.f64 x (.f64 y y))

Compiler

Compiled 12 to 4 computations (66.7% saved)

series8.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite54.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

458×	`pow1_binary64`
435×	`add-sqr-sqrt_binary64`
429×	`*-un-lft-identity_binary64`
421×	`add-log-exp_binary64`
421×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1207	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 x (.f64 y y))

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

Outputs

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

simplify197.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x y) y)

Compiler

Compiled 12 to 4 computations (66.7% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite56.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

471×	`pow1_binary64`
447×	`add-sqr-sqrt_binary64`
442×	`*-un-lft-identity_binary64`
431×	`add-log-exp_binary64`
431×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1193	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 x y) y)

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

Outputs

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

simplify200.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

eval7.0ms (0.1%)

Compiler: Compiled 188 to 71 computations (62.2% saved)

prune9.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	24	4	28

Error

0.1b

Counts

28 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	13.8b	(.f64 x (.f64 y y))
▶	32.9b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	0.2b	(.f64 (.f64 x y) y)
▶	33.9b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))

Compiler

Compiled 32 to 21 computations (34.4% saved)

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (.f64 x (.f64 y y)) 3)
	13.3b	(.f64 x (.f64 y y))
✓	32.0b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))

Compiler

Compiled 28 to 10 computations (64.3% saved)

series14.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
4.0ms	x	@	-inf	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
2.0ms	x	@	-inf	(pow.f64 (.f64 x (.f64 y y)) 3)
1.0ms	x	@	0	(pow.f64 (.f64 x (.f64 y y)) 3)
1.0ms	y	@	-inf	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
1.0ms	y	@	0	(pow.f64 (.f64 x (.f64 y y)) 3)

rewrite76.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

637×	`pow1_binary64`
597×	`add-log-exp_binary64`
597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
578×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	170	17
2	1778	17

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

Inputs
(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
(pow.f64 (.f64 x (.f64 y y)) 3)

Outputs

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

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

simplify111.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

711×	`unswap-sqr_binary64`
470×	`fma-def_binary64`
460×	`associate-l_binary64`
441×	`sqr-pow_binary64`
376×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	436
1	41	436
2	119	436
3	384	436
4	1841	436
5	3477	436
6	4037	436
7	4827	436
8	6146	436
9	7131	436

Stop Event

1×	node limit

Counts

108 → 64

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 y y) (*.f64 x (cbrt.f64 -1))))
(.f64 (.f64 y y) (neg.f64 (*.f64 x (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 y y) (*.f64 x (cbrt.f64 -1))))
(.f64 (.f64 y y) (neg.f64 (*.f64 x (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 y y) (*.f64 x (cbrt.f64 -1))))
(.f64 (.f64 y y) (neg.f64 (*.f64 x (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 y y) (*.f64 x (cbrt.f64 -1))))
(.f64 (.f64 y y) (neg.f64 (*.f64 x (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))
(*.f64 (pow.f64 y 6) (pow.f64 x 3))

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sqrt.f64 x) y)
✓	0.2b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)

Compiler

Compiled 17 to 7 computations (58.8% saved)

series10.0ms (0.2%)

Counts

2 → 24

Calls

12 calls:

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

rewrite57.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

584×	`pow1_binary64`
539×	`add-log-exp_binary64`
539×	`log1p-expm1-u_binary64`
539×	`expm1-log1p-u_binary64`
523×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	145	13
2	1600	13

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

Inputs
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(*.f64 (sqrt.f64 x) y)

Outputs

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

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

simplify189.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1101×	`sqr-pow_binary64`
565×	`cube-prod_binary64`
560×	`fabs-mul_binary64`
528×	`pow-sqr_binary64`
513×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	156
1	15	156
2	26	156
3	52	156
4	127	156
5	386	156
6	1460	156
7	2351	156
8	2515	156
9	2728	156
10	2948	156
11	3251	156
12	3653	156
13	4146	156
14	4714	156
15	5406	156
16	6241	156
17	6631	156
18	6921	156
19	7195	156
20	7267	156
21	7301	156

Stop Event

1×	node limit

Counts

59 → 38

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))
(*.f64 y (sqrt.f64 x))

eval45.0ms (0.9%)

Compiler: Compiled 1179 to 485 computations (58.9% saved)

prune40.0ms (0.8%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	112	7	119

Error

0.0b

Counts

119 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	13.8b	(.f64 x (.f64 y y))
✓	32.9b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	0.2b	(.f64 (.f64 x y) y)
▶	14.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))
✓	33.9b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
▶	35.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	1.0b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))

Compiler

Compiled 69 to 43 computations (37.7% saved)

localize15.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x y) (sqrt.f64 y))
✓	0.1b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))

Compiler

Compiled 24 to 6 computations (75% saved)

series16.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite91.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
596×	`add-log-exp_binary64`
596×	`log1p-expm1-u_binary64`
596×	`expm1-log1p-u_binary64`
581×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	16
1	141	14
2	1695	14

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (.f64 x y) (sqrt.f64 y))

Outputs

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

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

simplify85.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1130×	`fma-def_binary64`
350×	`distribute-rgt-neg-in_binary64`
339×	`associate-l_binary64`
309×	`distribute-lft-neg-in_binary64`
308×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	276
1	39	276
2	103	252
3	315	252
4	1540	252
5	3988	252
6	5811	252
7	7523	252

Stop Event

1×

unsound

Counts

58 → 27

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (sqrt.f64 (pow.f64 y 3)))
(*.f64 x (pow.f64 y 3/2))

localize26.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
✓	0.5b	(pow.f64 (cbrt.f64 y) 2)
✓	0.6b	(cbrt.f64 y)

Compiler

Compiled 33 to 14 computations (57.6% saved)

series36.0ms (0.7%)

Counts

4 → 36

Calls

18 calls:

Time	Variable		Point	Expression
8.0ms	x	@	0	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
6.0ms	x	@	0	(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
4.0ms	y	@	-inf	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
3.0ms	y	@	0	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
1.0ms	y	@	0	(cbrt.f64 y)

rewrite98.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

791×	`pow1_binary64`
729×	`add-log-exp_binary64`
729×	`log1p-expm1-u_binary64`
729×	`expm1-log1p-u_binary64`
711×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	184	28
2	2098	28

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

Inputs
(cbrt.f64 y)
(pow.f64 (cbrt.f64 y) 2)
(.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2))
(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))

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

simplify226.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1156×	`sqr-pow_binary64`
699×	`cube-prod_binary64`
680×	`fabs-mul_binary64`
601×	`pow-sqr_binary64`
368×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	276
1	32	276
2	60	276
3	114	276
4	259	276
5	825	276
6	1411	276
7	1596	276
8	1838	276
9	2139	276
10	2553	276
11	3163	276
12	3886	276
13	4781	276
14	5285	276
15	5791	276
16	6225	276
17	6576	276
18	6768	276

Stop Event

1×	node limit

Counts

98 → 66

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(.f64 y (.f64 y x))

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 x) 2)
✓	0.5b	(cbrt.f64 x)
✓	2.9b	(.f64 (cbrt.f64 x) (.f64 y y))
✓	10.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))

Compiler

Compiled 31 to 11 computations (64.5% saved)

series12.0ms (0.2%)

Counts

4 → 36

Calls

18 calls:

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

rewrite145.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

759×	`pow1_binary64`
700×	`add-log-exp_binary64`
700×	`log1p-expm1-u_binary64`
700×	`expm1-log1p-u_binary64`
681×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	183	25
2	2054	25

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

Inputs
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))
(.f64 (cbrt.f64 x) (.f64 y y))
(cbrt.f64 x)
(pow.f64 (cbrt.f64 x) 2)

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

simplify184.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

924×	`unswap-sqr_binary64`
794×	`sqr-pow_binary64`
731×	`cube-prod_binary64`
648×	`fabs-mul_binary64`
399×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	276
1	27	276
2	60	276
3	151	276
4	580	276
5	1069	276
6	2476	276
7	2579	276
8	2734	276
9	2911	276
10	3112	276
11	3379	276
12	3720	276
13	4126	276
14	4653	276
15	5322	276
16	6167	276
17	6607	276
18	7043	276
19	7441	276
20	7753	276
21	7935	276

Stop Event

1×	node limit

Counts

99 → 67

Calls

Call 1

Inputs
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))

Outputs
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 (.f64 y y) x)
(.f64 y (.f64 y x))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))
(.f64 (pow.f64 (.f64 1 x) 1/3) (pow.f64 y 2))
(.f64 (.f64 y y) (cbrt.f64 x))
(.f64 y (.f64 y (cbrt.f64 x)))

eval43.0ms (0.8%)

Compiler: Compiled 2526 to 1103 computations (56.3% saved)

prune42.0ms (0.8%)

Pruning

14 alts after pruning (9 fresh and 5 done)

	Pruned	Kept	Total
New	191	9	200
Fresh	0	0	0
Picked	1	0	1
Done	1	5	6
Total	193	14	207

Error

0.0b

Counts

207 → 14

Alt Table

Click to see full alt table

Status	Error	Program
	27.8b	(.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (.f64 y y)))
▶	14.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
▶	1.0b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
	1.3b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 3))
✓	13.8b	(.f64 x (.f64 y y))
	11.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y (*.f64 y (cbrt.f64 x))))
✓	32.9b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	38.5b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
▶	5.6b	(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))
✓	0.2b	(.f64 (.f64 x y) y)
✓	33.9b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
✓	35.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	14.5b	(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (*.f64 y y))) 3))
	1.3b	(.f64 (.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (cbrt.f64 (cbrt.f64 y))))

Compiler

Compiled 293 to 187 computations (36.2% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 y x))
✓	0.6b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	15.2b	(cbrt.f64 (.f64 y (.f64 y x)))

Compiler

Compiled 27 to 8 computations (70.4% saved)

series11.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
1.0ms	y	@	inf	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
1.0ms	x	@	-inf	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
1.0ms	y	@	0	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
1.0ms	x	@	inf	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)

rewrite61.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

648×	`pow1_binary64`
606×	`add-log-exp_binary64`
606×	`log1p-expm1-u_binary64`
606×	`expm1-log1p-u_binary64`
591×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	168	23
2	1720	23

Stop Event

1×	node limit

Counts

3 → 75

Calls

Call 1

Inputs
(cbrt.f64 (.f64 y (.f64 y x)))
(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
(.f64 y (.f64 y x))

Outputs

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

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

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

simplify186.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
551×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	332	168
6	1258	168
7	2133	168
8	2297	168
9	2481	168
10	2689	168
11	2985	168
12	3378	168
13	3859	168
14	4425	168
15	5113	168
16	5948	168
17	6336	168
18	6624	168
19	6900	168
20	6970	168
21	7006	168
22	7947	168

Stop Event

1×	node limit

Counts

99 → 67

Calls

Call 1

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

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

localize18.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
✓	4.5b	(*.f64 x (pow.f64 y 3/2))

Compiler

Compiled 23 to 13 computations (43.5% saved)

series8.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	x	@	inf	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
1.0ms	x	@	0	(*.f64 x (pow.f64 y 3/2))
1.0ms	y	@	-inf	(*.f64 x (pow.f64 y 3/2))
0.0ms	x	@	inf	(*.f64 x (pow.f64 y 3/2))
0.0ms	y	@	inf	(*.f64 x (pow.f64 y 3/2))

rewrite55.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

707×	`pow1_binary64`
659×	`add-log-exp_binary64`
659×	`log1p-expm1-u_binary64`
659×	`expm1-log1p-u_binary64`
642×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	167	14
2	1985	14

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(*.f64 x (pow.f64 y 3/2))
(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))

Outputs

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

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

simplify104.0ms (2%)

Algorithm

1×	egg-herbie

Rules

517×	`fabs-mul_binary64`
497×	`distribute-rgt-neg-in_binary64`
486×	`distribute-lft-neg-in_binary64`
390×	`sqr-pow_binary64`
384×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	276
1	34	276
2	72	252
3	198	252
4	749	252
5	1277	252
6	1620	252
7	2097	252
8	2669	252
9	3541	252
10	4554	252
11	6035	252

Stop Event

1×	node limit

Counts

62 → 31

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))

Outputs
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (sqrt.f64 (pow.f64 y 3)) x)
(*.f64 x (pow.f64 y 3/2))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 -1) 2) (.f64 (pow.f64 y 2) x))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
✓	0.3b	(.f64 (.f64 x y) (cbrt.f64 (*.f64 y y)))
	0.6b	(cbrt.f64 y)
✓	24.8b	(cbrt.f64 (*.f64 y y))

Compiler

Compiled 35 to 8 computations (77.1% saved)

series8.0ms (0.1%)

Counts

3 → 36

Calls

15 calls:

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

rewrite70.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

780×	`pow1_binary64`
718×	`add-log-exp_binary64`
718×	`log1p-expm1-u_binary64`
718×	`expm1-log1p-u_binary64`
697×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	178	25
2	2077	25

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 y y))
(.f64 (.f64 x y) (cbrt.f64 (*.f64 y y)))
(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))

Outputs

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

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

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

simplify132.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

672×	`fma-neg_binary64`
474×	`unswap-sqr_binary64`
455×	`fma-def_binary64`
451×	`distribute-rgt-neg-in_binary64`
450×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	304
1	45	304
2	110	304
3	276	304
4	761	304
5	1236	304
6	1871	304
7	3109	304
8	4013	304
9	4834	304
10	5547	304
11	6460	304
12	7909	304

Stop Event

1×	node limit

Counts

84 → 54

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 (*.f64 y y) (cbrt.f64 -1)) x))
(.f64 (.f64 y (*.f64 y (cbrt.f64 -1))) (neg.f64 x))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 (*.f64 y y) (cbrt.f64 -1)) x))
(.f64 (.f64 y (*.f64 y (cbrt.f64 -1))) (neg.f64 x))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 (*.f64 y y) (cbrt.f64 -1)) x))
(.f64 (.f64 y (*.f64 y (cbrt.f64 -1))) (neg.f64 x))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))
(.f64 -1 (.f64 (pow.f64 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 (*.f64 y y) (cbrt.f64 -1)) x))
(.f64 (.f64 y (*.f64 y (cbrt.f64 -1))) (neg.f64 x))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (neg.f64 (*.f64 y x))))
(.f64 y (.f64 (cbrt.f64 -1) (*.f64 x (neg.f64 y))))

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))
✓	0.3b	(.f64 (.f64 x y) (sqrt.f64 (*.f64 y (cbrt.f64 y))))
	0.6b	(cbrt.f64 y)
✓	10.7b	(sqrt.f64 (*.f64 y (cbrt.f64 y)))

Compiler

Compiled 39 to 8 computations (79.5% saved)

series57.0ms (1.1%)

Counts

3 → 36

Calls

15 calls:

Time	Variable		Point	Expression
48.0ms	y	@	0	(sqrt.f64 (*.f64 y (cbrt.f64 y)))
2.0ms	x	@	0	(.f64 (.f64 x y) (sqrt.f64 (*.f64 y (cbrt.f64 y))))
1.0ms	y	@	-inf	(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))
1.0ms	y	@	-inf	(sqrt.f64 (*.f64 y (cbrt.f64 y)))
1.0ms	y	@	-inf	(.f64 (.f64 x y) (sqrt.f64 (*.f64 y (cbrt.f64 y))))

rewrite61.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

805×	`pow1_binary64`
744×	`add-log-exp_binary64`
744×	`log1p-expm1-u_binary64`
744×	`expm1-log1p-u_binary64`
724×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	41
1	181	25
2	2297	25

Stop Event

1×	node limit

Counts

3 → 50

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 y (cbrt.f64 y)))
(.f64 (.f64 x y) (sqrt.f64 (*.f64 y (cbrt.f64 y))))
(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))

Outputs

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

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

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

simplify93.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1035×	`fma-def_binary64`
399×	`neg-sub0_binary64`
384×	`neg-mul-1_binary64`
356×	`distribute-lft-neg-out_binary64`
348×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	276
1	47	276
2	121	276
3	344	276
4	1549	276
5	3423	276
6	5562	276
7	7191	276

Stop Event

1×	node limit

Counts

86 → 55

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))

Outputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 5)) x)
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (*.f64 (pow.f64 y 2) x)))
(.f64 x (.f64 y y))
(.f64 y (.f64 y x))

localize35.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 x)
	2.9b	(.f64 (cbrt.f64 x) (.f64 y y))
✓	10.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (*.f64 y y))) 3))
✓	23.1b	(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))

Compiler

Compiled 51 to 17 computations (66.7% saved)

series53.0ms (1%)

Counts

2 → 36

Calls

12 calls:

Time	Variable		Point	Expression
27.0ms	x	@	0	(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))
12.0ms	x	@	inf	(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))
4.0ms	x	@	-inf	(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))
1.0ms	y	@	0	(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))
1.0ms	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (*.f64 y y))) 3))

rewrite81.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

906×	`pow1_binary64`
843×	`add-log-exp_binary64`
842×	`log1p-expm1-u_binary64`
842×	`expm1-log1p-u_binary64`
819×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	28
1	249	18
2	2513	18

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

Inputs
(cbrt.f64 (.f64 (cbrt.f64 x) (.f64 y y)))
(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (*.f64 y y))) 3))

Outputs

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

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

simplify224.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

2160×	`unswap-sqr_binary64`
1158×	`sqr-pow_binary64`
419×	`pow-sqr_binary64`
369×	`*-commutative_binary64`
325×	`cube-prod_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	23	420
1	55	420
2	124	420
3	301	420
4	1107	376
5	2121	376
6	2238	376
7	2452	376
8	2831	376
9	3083	376
10	3383	376
11	3747	376
12	4154	376
13	4636	376
14	5167	376
15	5337	376
16	5479	376
17	5569	376
18	5659	376
19	5683	376
20	6204	376

Stop Event

1×	node limit

Counts

72 → 42

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)
(*.f64 (pow.f64 y 2) x)

Outputs
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 (pow.f64 1 4) x) 1/9) (pow.f64 (pow.f64 y 2) 1/3))
(.f64 (.f64 (pow.f64 x 1/18) (pow.f64 x 1/18)) (cbrt.f64 (*.f64 y y)))
(.f64 (pow.f64 x 1/18) (.f64 (pow.f64 x 1/18) (cbrt.f64 (*.f64 y y))))
(.f64 (pow.f64 (pow.f64 x 1/36) 4) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (pow.f64 x 1/72) 8) (cbrt.f64 (.f64 y y)))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 x) 1/18) (pow.f64 (neg.f64 x) 1/18)) (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))) (pow.f64 (neg.f64 x) 1/18)) (pow.f64 (neg.f64 x) 1/18))
(.f64 (pow.f64 (pow.f64 (neg.f64 x) 1/36) 4) (cbrt.f64 (.f64 (*.f64 y y) (cbrt.f64 -1))))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 x) 1/18) (pow.f64 (neg.f64 x) 1/18)) (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))) (pow.f64 (neg.f64 x) 1/18)) (pow.f64 (neg.f64 x) 1/18))
(.f64 (pow.f64 (pow.f64 (neg.f64 x) 1/36) 4) (cbrt.f64 (.f64 (*.f64 y y) (cbrt.f64 -1))))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 x) 1/18) (pow.f64 (neg.f64 x) 1/18)) (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))) (pow.f64 (neg.f64 x) 1/18)) (pow.f64 (neg.f64 x) 1/18))
(.f64 (pow.f64 (pow.f64 (neg.f64 x) 1/36) 4) (cbrt.f64 (.f64 (*.f64 y y) (cbrt.f64 -1))))
(.f64 (pow.f64 (.f64 -1 x) 1/9) (pow.f64 (.f64 1 (.f64 (pow.f64 y 2) (cbrt.f64 -1))) 1/3))
(.f64 (.f64 (pow.f64 (neg.f64 x) 1/18) (pow.f64 (neg.f64 x) 1/18)) (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) (cbrt.f64 -1))) (pow.f64 (neg.f64 x) 1/18)) (pow.f64 (neg.f64 x) 1/18))
(.f64 (pow.f64 (pow.f64 (neg.f64 x) 1/36) 4) (cbrt.f64 (.f64 (*.f64 y y) (cbrt.f64 -1))))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))
(*.f64 (pow.f64 y 2) x)
(.f64 x (.f64 y y))

eval97.0ms (1.9%)

Compiler: Compiled 4889 to 1998 computations (59.1% saved)

prune89.0ms (1.7%)

Pruning

16 alts after pruning (8 fresh and 8 done)

	Pruned	Kept	Total
New	359	5	364
Fresh	1	3	4
Picked	1	0	1
Done	1	8	9
Total	362	16	378

Error

0.0b

Counts

378 → 16

Alt Table

Click to see full alt table

Status	Error	Program
	27.8b	(.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (.f64 y y)))
✓	14.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
	0.9b	(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 2) (cbrt.f64 y)) (cbrt.f64 (*.f64 y x)))
	1.1b	(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	1.0b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
	1.3b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 3))
✓	13.8b	(.f64 x (.f64 y y))
	11.3b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y (*.f64 y (cbrt.f64 x))))
✓	32.9b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	38.5b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
	1.9b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y x)))) 3) 3)
✓	0.2b	(.f64 (.f64 x y) y)
	29.0b	(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	33.9b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
✓	35.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) (cbrt.f64 y)) 3)

Compiler

Compiled 188 to 119 computations (36.7% saved)

regimes45.0ms (0.9%)

Accuracy

Total -59.8b remaining (-29456.8%)

Threshold costs -59.8b (-29456.8%)

Counts

21 → 1

Calls

Call 1

Inputs
(.f64 x (.f64 y y))
(.f64 (.f64 x y) y)
(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
(.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (.f64 y y)))
(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) (cbrt.f64 y)) 3)
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y (*.f64 y (cbrt.f64 x))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))
(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))
(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) y))
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y x)))) 3) 3)
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 2) (cbrt.f64 y)) (cbrt.f64 (*.f64 y x)))
(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 3))
(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (*.f64 y y))) 3))
(.f64 (.f64 (.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (cbrt.f64 (cbrt.f64 y))))

Outputs
(.f64 (.f64 x y) y)

Calls

3 calls:

17.0ms	x
12.0ms	(.f64 (.f64 x y) y)
10.0ms	y

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`(.f64 (.f64 x y) y)`

Compiler

Compiled 237 to 98 computations (58.6% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	10	14

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(.f64 (.f64 x y) y)
(.f64 x (.f64 y y))

Outputs
(.f64 (.f64 x y) y)
(.f64 y (.f64 x y))
(.f64 x (.f64 y y))

Compiler

Compiled 14 to 8 computations (42.9% saved)

soundness0.0ms (0%)

end26.0ms (0.5%)

Compiler: Compiled 12 to 6 computations (50% saved)

Details

analyze79.0ms (1.5%)

sample1.3s (25.8%)

preprocess29.0ms (0.6%)

simplify16.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize11.0ms (0.2%)

series8.0ms (0.1%)

rewrite54.0ms (1%)

simplify197.0ms (3.8%)

localize9.0ms (0.2%)

series3.0ms (0.1%)

rewrite56.0ms (1.1%)

simplify200.0ms (3.8%)

eval7.0ms (0.1%)

prune9.0ms (0.2%)

localize20.0ms (0.4%)

series14.0ms (0.3%)

rewrite76.0ms (1.5%)

simplify111.0ms (2.1%)

localize7.0ms (0.1%)

series10.0ms (0.2%)

rewrite57.0ms (1.1%)

simplify189.0ms (3.7%)

eval45.0ms (0.9%)

prune40.0ms (0.8%)

localize15.0ms (0.3%)

series16.0ms (0.3%)

rewrite91.0ms (1.8%)

simplify85.0ms (1.6%)

localize26.0ms (0.5%)

series36.0ms (0.7%)

rewrite98.0ms (1.9%)

simplify226.0ms (4.3%)

localize14.0ms (0.3%)

series12.0ms (0.2%)

rewrite145.0ms (2.8%)

simplify184.0ms (3.6%)

eval43.0ms (0.8%)

prune42.0ms (0.8%)

localize11.0ms (0.2%)

series11.0ms (0.2%)

rewrite61.0ms (1.2%)

simplify186.0ms (3.6%)

localize18.0ms (0.3%)

series8.0ms (0.2%)

rewrite55.0ms (1.1%)

simplify104.0ms (2%)

localize16.0ms (0.3%)

series8.0ms (0.1%)

rewrite70.0ms (1.3%)

simplify132.0ms (2.5%)

localize18.0ms (0.3%)

series57.0ms (1.1%)

rewrite61.0ms (1.2%)

simplify93.0ms (1.8%)

localize35.0ms (0.7%)

series53.0ms (1%)

rewrite81.0ms (1.6%)

simplify224.0ms (4.3%)

eval97.0ms (1.9%)

prune89.0ms (1.7%)

regimes45.0ms (0.9%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end26.0ms (0.5%)

Profiling