Details

analyze51.0ms (0.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
50%	43.7%	43.7%	0.1%	12.5%	0%	0%	7
60.7%	53.1%	34.3%	0.1%	12.5%	0%	0%	8
71.2%	57.8%	23.4%	0.1%	18.7%	0%	0%	9
77.9%	63.2%	18%	0.1%	18.7%	0%	0%	10
84.5%	66%	12.1%	0.1%	21.9%	0%	0%	11
88.3%	68.9%	9.2%	0.1%	21.9%	0%	0%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample1.3s (21.6%)

Results

1.2s	8256×	body	256	valid
37.0ms	330×	body	256	infinite

Bogosity

preprocess97.0ms (1.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)

simplify7.0ms (0.1%)

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

eval0.0ms (0%)

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

prune1.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
▶	13.9b	(.f64 x (.f64 y y))
▶	0.2b	(.f64 (.f64 x y) y)

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.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))
0.0ms	x	@	-inf	(.f64 x (.f64 y y))

rewrite169.0ms (2.9%)

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

simplify185.0ms (3.1%)

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

localize5.0ms (0.1%)

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)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	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)
0.0ms	y	@	-inf	(.f64 (.f64 x y) y)

rewrite52.0ms (0.9%)

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

simplify189.0ms (3.2%)

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

eval5.0ms (0.1%)

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

prune6.0ms (0.1%)

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
▶	14.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
▶	33.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	13.9b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)

Compiler

Compiled 32 to 21 computations (34.4% saved)

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
	13.5b	(.f64 x (.f64 y y))
✓	18.0b	(cbrt.f64 (.f64 x (.f64 y y)))

Compiler

Compiled 27 to 8 computations (70.4% saved)

series11.0ms (0.2%)

Counts

2 → 0

Calls

12 calls:

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

rewrite60.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

628×	`pow1_binary64`
588×	`add-log-exp_binary64`
588×	`log1p-expm1-u_binary64`
588×	`expm1-log1p-u_binary64`
571×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	168	16
2	1710	16

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

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

Outputs

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

57 → 57

Calls

Call 1

Inputs

Outputs

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

series48.0ms (0.8%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
39.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	y	@	-inf	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)

rewrite53.0ms (0.9%)

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

simplify173.0ms (2.9%)

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

eval20.0ms (0.3%)

Compiler: Compiled 1142 to 395 computations (65.4% saved)

prune21.0ms (0.4%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	102	6	108
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	103	9	112

Error

0.0b

Counts

112 → 9

Alt Table

Click to see full alt table

Status	Error	Program
	47.9b	(.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 (.f64 (sqrt.f64 x) y))) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
✓	33.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	26.5b	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (*.f64 y y)))
✓	13.9b	(.f64 x (.f64 y y))
▶	0.9b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	0.2b	(.f64 (.f64 x y) y)
▶	32.5b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	14.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
▶	14.5b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))

Compiler

Compiled 178 to 104 computations (41.6% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 y (.f64 y x))
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	18.0b	(cbrt.f64 (.f64 y (.f64 y x)))

Compiler

Compiled 27 to 8 computations (70.4% saved)

series8.0ms (0.1%)

Counts

3 → 24

Calls

18 calls:

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

rewrite102.0ms (1.7%)

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

simplify181.0ms (3.1%)

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

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 24 to 6 computations (75% saved)

series7.0ms (0.1%)

Counts

2 → 36

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
1.0ms	x	@	0	(.f64 (.f64 x y) (sqrt.f64 y))
1.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))

rewrite64.0ms (1.1%)

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 x y) (sqrt.f64 y))
(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (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 (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))))))))

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

simplify72.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1130×	`fma-def_binary64`
349×	`distribute-rgt-neg-in_binary64`
339×	`associate-l_binary64`
310×	`distribute-lft-neg-in_binary64`
300×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	15	276
1	39	276
2	103	252
3	315	252
4	1542	252
5	3970	252
6	5788	252
7	7499	252

Stop Event

1×

unsound

Counts

58 → 27

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

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 35 to 8 computations (77.1% saved)

series18.0ms (0.3%)

Counts

4 → 36

Calls

18 calls:

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

rewrite74.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	28
1	178	28
2	2077	28

Stop Event

1×	node limit

Counts

4 → 69

Calls

Call 1

Inputs
(cbrt.f64 (*.f64 y y))
(cbrt.f64 y)
(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
(.f64 (.f64 x y) (cbrt.f64 (*.f64 y 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 (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 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 y y))) (cbrt.f64 (cbrt.f64 y)))))) (#(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 (cbrt.f64 (cbrt.f64 (.f64 y y)))))))) (#(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 (.f64 y y) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 y y)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 y) 1)))) (#(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 (cbrt.f64 (*.f64 y y)))))) (#(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 (.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 (cbrt.f64 (.f64 y 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 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 (cbrt.f64 (.f64 y y)) (.f64 y x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x))) 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 y) x) (cbrt.f64 (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x)) 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 (cbrt.f64 (.f64 y y)) (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 y x))))))))

simplify127.0ms (2.2%)

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	279	304
4	766	304
5	1243	304
6	1878	304
7	3116	304
8	4020	304
9	4836	304
10	5551	304
11	6464	304
12	7914	304

Stop Event

1×	node limit

Counts

105 → 75

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

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 y 2) (*.f64 (cbrt.f64 -1) x)))
(neg.f64 (.f64 (.f64 (*.f64 y y) (cbrt.f64 -1)) x))
(.f64 (.f64 x (cbrt.f64 -1)) (neg.f64 (*.f64 y y)))
(.f64 (.f64 (*.f64 y y) x) (neg.f64 (cbrt.f64 -1)))
(.f64 (.f64 y y) (*.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.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 x (cbrt.f64 -1)) (neg.f64 (*.f64 y y)))
(.f64 (.f64 (*.f64 y y) x) (neg.f64 (cbrt.f64 -1)))
(.f64 (.f64 y y) (*.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.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 x (cbrt.f64 -1)) (neg.f64 (*.f64 y y)))
(.f64 (.f64 (*.f64 y y) x) (neg.f64 (cbrt.f64 -1)))
(.f64 (.f64 y y) (*.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.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 x (cbrt.f64 -1)) (neg.f64 (*.f64 y y)))
(.f64 (.f64 (*.f64 y y) x) (neg.f64 (cbrt.f64 -1)))
(.f64 (.f64 y y) (*.f64 x (neg.f64 (cbrt.f64 -1))))
(.f64 y (.f64 y (*.f64 x (neg.f64 (cbrt.f64 -1)))))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 5)) 1/3) x)
(*.f64 x (cbrt.f64 (pow.f64 y 5)))

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 4))) (cbrt.f64 (*.f64 y y)))
✓	5.7b	(*.f64 x (cbrt.f64 (pow.f64 y 4)))
	25.3b	(cbrt.f64 (*.f64 y y))
✓	31.9b	(cbrt.f64 (pow.f64 y 4))

Compiler

Compiled 36 to 19 computations (47.2% saved)

series8.0ms (0.1%)

Counts

3 → 36

Calls

15 calls:

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

rewrite76.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

779×	`pow1_binary64`
722×	`add-log-exp_binary64`
722×	`log1p-expm1-u_binary64`
722×	`expm1-log1p-u_binary64`
701×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	200	22
2	2216	22

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

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

Outputs

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

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

((#(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 (*.f64 y y) (pow.f64 (*.f64 (*.f64 y (cbrt.f64 y)) x) 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))))))))

simplify227.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

1253×	`sqr-pow_binary64`
566×	`cube-prod_binary64`
500×	`pow-sqr_binary64`
499×	`fabs-mul_binary64`
408×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	276
1	30	276
2	58	276
3	124	276
4	342	276
5	1122	276
6	1938	276
7	2092	276
8	2302	276
9	2562	276
10	2926	276
11	3415	276
12	4038	276
13	4797	276
14	5269	276
15	5590	276
16	5858	276
17	6034	276
18	6128	276
19	6861	276
20	7973	276

Stop Event

1×	node limit

Counts

84 → 52

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 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 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(*.f64 (cbrt.f64 (pow.f64 y 4)) x)
(*.f64 x (cbrt.f64 (pow.f64 y 4)))
(*.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 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))

localize27.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 x) 2)
✓	0.7b	(cbrt.f64 x)
✓	5.3b	(.f64 (cbrt.f64 x) (.f64 y y))
✓	8.2b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))

Compiler

Compiled 31 to 11 computations (64.5% saved)

series23.0ms (0.4%)

Counts

4 → 36

Calls

18 calls:

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

rewrite85.0ms (1.4%)

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

simplify209.0ms (3.5%)

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

eval120.0ms (2%)

Compiler: Compiled 4082 to 1521 computations (62.7% saved)

prune127.0ms (2.2%)

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	325	5	330
Fresh	1	0	1
Picked	1	0	1
Done	1	6	7
Total	328	11	339

Error

0.0b

Counts

339 → 11

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.2b	(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
▶	9.1b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y (*.f64 y (cbrt.f64 x))))
✓	32.5b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	33.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	35.4b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
▶	28.9b	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 5))) (cbrt.f64 y))
✓	13.9b	(.f64 x (.f64 y y))
✓	0.9b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
✓	0.2b	(.f64 (.f64 x y) y)
✓	14.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))

Compiler

Compiled 180 to 109 computations (39.4% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	0.3b	(.f64 (cbrt.f64 (.f64 y x)) y)
✓	0.4b	(pow.f64 (cbrt.f64 (*.f64 y x)) 2)
✓	9.6b	(cbrt.f64 (*.f64 y x))

Compiler

Compiled 37 to 11 computations (70.3% saved)

series19.0ms (0.3%)

Counts

4 → 24

Calls

24 calls:

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

rewrite104.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

778×	`pow1_binary64`
717×	`add-log-exp_binary64`
717×	`log1p-expm1-u_binary64`
717×	`expm1-log1p-u_binary64`
700×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	31
1	183	31
2	2060	31

Stop Event

1×	node limit

Counts

4 → 68

Calls

Call 1

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

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

simplify217.0ms (3.7%)

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

92 → 70

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

localize37.0ms (0.6%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 13 computations (43.5% saved)

series8.0ms (0.1%)

Counts

2 → 36

Calls

12 calls:

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

rewrite86.0ms (1.5%)

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

simplify113.0ms (1.9%)

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

localize46.0ms (0.8%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 6 computations (78.6% saved)

series18.0ms (0.3%)

Counts

3 → 24

Calls

18 calls:

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

rewrite97.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`pow1_binary64`
599×	`add-log-exp_binary64`
599×	`log1p-expm1-u_binary64`
599×	`expm1-log1p-u_binary64`
584×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	22
1	140	22
2	1693	22

Stop Event

1×	node limit

Counts

3 → 44

Calls

Call 1

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

Outputs

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

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

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

simplify140.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1282×	`fma-def_binary64`
358×	`fma-neg_binary64`
347×	`distribute-rgt-neg-in_binary64`
321×	`neg-sub0_binary64`
311×	`distribute-lft-neg-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	168
1	27	168
2	84	168
3	275	168
4	1373	168
5	3438	168
6	5133	168
7	6563	168
8	7082	168

Stop Event

1×	node limit

Counts

68 → 47

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

localize33.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 5))) (cbrt.f64 y))
	0.5b	(cbrt.f64 y)
✓	10.2b	(*.f64 x (cbrt.f64 (pow.f64 y 5)))
✓	26.5b	(cbrt.f64 (pow.f64 y 5))

Compiler

Compiled 29 to 18 computations (37.9% saved)

series11.0ms (0.2%)

Counts

3 → 36

Calls

15 calls:

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

rewrite81.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

809×	`pow1_binary64`
754×	`add-log-exp_binary64`
754×	`log1p-expm1-u_binary64`
754×	`expm1-log1p-u_binary64`
733×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	29
1	182	27
2	2094	27

Stop Event

1×	node limit

Counts

3 → 45

Calls

Call 1

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

Outputs

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

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

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

simplify202.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1949×	`unswap-sqr_binary64`
1204×	`sqr-pow_binary64`
582×	`pow-sqr_binary64`
484×	`cube-prod_binary64`
447×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	308
1	44	308
2	93	308
3	244	308
4	880	308
5	1359	308
6	1479	308
7	1632	308
8	1832	308
9	2055	308
10	2338	308
11	2687	308
12	3097	308
13	3610	308
14	4219	308
15	4487	308
16	4737	308
17	4937	308
18	5103	308
19	5227	308
20	6009	308

Stop Event

1×	node limit

Counts

81 → 51

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) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 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 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (.f64 y y) (*.f64 x (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 y (*.f64 x (pow.f64 (cbrt.f64 -1) 2))))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 y x)))
(.f64 x (.f64 (*.f64 y y) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (.f64 y (*.f64 y x)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (.f64 y y) (*.f64 x (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 y (*.f64 x (pow.f64 (cbrt.f64 -1) 2))))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 y x)))
(.f64 x (.f64 (*.f64 y y) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (.f64 y (*.f64 y x)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (.f64 y y) (*.f64 x (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 y (*.f64 x (pow.f64 (cbrt.f64 -1) 2))))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 y x)))
(.f64 x (.f64 (*.f64 y y) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (.f64 y (*.f64 y x)) (pow.f64 (cbrt.f64 -1) 2))
(.f64 (pow.f64 y 2) (.f64 (pow.f64 (cbrt.f64 -1) 2) x))
(.f64 (.f64 y y) (*.f64 x (pow.f64 (cbrt.f64 -1) 2)))
(.f64 y (.f64 y (*.f64 x (pow.f64 (cbrt.f64 -1) 2))))
(.f64 y (.f64 (pow.f64 (cbrt.f64 -1) 2) (*.f64 y x)))
(.f64 x (.f64 (*.f64 y y) (pow.f64 (cbrt.f64 -1) 2)))
(.f64 (.f64 y (*.f64 y x)) (pow.f64 (cbrt.f64 -1) 2))

localize16.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 11 computations (65.6% saved)

series5.0ms (0.1%)

Counts

2 → 36

Calls

12 calls:

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

rewrite62.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

792×	`pow1_binary64`
730×	`add-log-exp_binary64`
730×	`log1p-expm1-u_binary64`
730×	`expm1-log1p-u_binary64`
712×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	183	13
2	2097	13

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify197.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1121×	`sqr-pow_binary64`
666×	`fabs-mul_binary64`
642×	`cube-prod_binary64`
584×	`pow-sqr_binary64`
478×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	240
1	27	240
2	52	240
3	119	240
4	373	240
5	1645	240
6	1863	240
7	1988	240
8	2137	240
9	2330	240
10	2581	240
11	2916	240
12	3353	240
13	3896	240
14	4593	240
15	5489	240
16	5977	240
17	6393	240
18	6745	240
19	6953	240
20	7053	240

Stop Event

1×	node limit

Counts

62 → 30

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) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(.f64 (pow.f64 (.f64 1 x) 1/3) y)

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) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))
(.f64 (pow.f64 (.f64 1 x) 1/3) y)
(*.f64 y (cbrt.f64 x))

eval110.0ms (1.9%)

Compiler: Compiled 4581 to 1939 computations (57.7% saved)

prune88.0ms (1.5%)

Pruning

13 alts after pruning (3 fresh and 10 done)

	Pruned	Kept	Total
New	347	3	350
Fresh	0	0	0
Picked	0	1	1
Done	1	9	10
Total	348	13	361

Error

0.0b

Counts

361 → 13

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.2b	(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
✓	9.1b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 y (*.f64 y (cbrt.f64 x))))
✓	0.9b	(pow.f64 (cbrt.f64 (.f64 y (.f64 y x))) 3)
	26.4b	(.f64 (cbrt.f64 (.f64 x x)) (.f64 y (.f64 y (cbrt.f64 x))))
✓	14.2b	(.f64 (.f64 (.f64 x y) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
	0.7b	(.f64 (.f64 (cbrt.f64 (.f64 y (.f64 y x))) (cbrt.f64 x)) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	33.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	35.4b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))
✓	28.9b	(.f64 (.f64 x (cbrt.f64 (pow.f64 y 5))) (cbrt.f64 y))
✓	13.9b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
✓	32.5b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	48.3b	(.f64 (.f64 y (.f64 (sqrt.f64 y) (sqrt.f64 x))) (sqrt.f64 (.f64 y x)))

Compiler

Compiled 148 to 91 computations (38.5% saved)

regimes43.0ms (0.7%)

Accuracy

Total -56.8b remaining (-35447.1%)

Threshold costs -56.8b (-35447.1%)

Counts

18 → 1

Calls

Call 1

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

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

Calls

3 calls:

20.0ms	y
11.0ms	x
8.0ms	(.f64 (.f64 x y) y)

Results

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

Compiler

Compiled 196 to 76 computations (61.2% 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%)

end48.0ms (0.8%)

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

Details

analyze51.0ms (0.9%)

sample1.3s (21.6%)

preprocess97.0ms (1.6%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite169.0ms (2.9%)

simplify185.0ms (3.1%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite52.0ms (0.9%)

simplify189.0ms (3.2%)

eval5.0ms (0.1%)

prune6.0ms (0.1%)

localize14.0ms (0.2%)

series11.0ms (0.2%)

rewrite60.0ms (1%)

simplify9.0ms (0.2%)

localize8.0ms (0.1%)

series48.0ms (0.8%)

rewrite53.0ms (0.9%)

simplify173.0ms (2.9%)

eval20.0ms (0.3%)

prune21.0ms (0.4%)

localize11.0ms (0.2%)

series8.0ms (0.1%)

rewrite102.0ms (1.7%)

simplify181.0ms (3.1%)

localize9.0ms (0.2%)

series7.0ms (0.1%)

rewrite64.0ms (1.1%)

simplify72.0ms (1.2%)

localize16.0ms (0.3%)

series18.0ms (0.3%)

rewrite74.0ms (1.3%)

simplify127.0ms (2.2%)

localize20.0ms (0.3%)

series8.0ms (0.1%)

rewrite76.0ms (1.3%)

simplify227.0ms (3.9%)

localize27.0ms (0.5%)

series23.0ms (0.4%)

rewrite85.0ms (1.4%)

simplify209.0ms (3.5%)

eval120.0ms (2%)

prune127.0ms (2.2%)

localize25.0ms (0.4%)

series19.0ms (0.3%)

rewrite104.0ms (1.8%)

simplify217.0ms (3.7%)

localize37.0ms (0.6%)

series8.0ms (0.1%)

rewrite86.0ms (1.5%)

simplify113.0ms (1.9%)

localize46.0ms (0.8%)

series18.0ms (0.3%)

rewrite97.0ms (1.6%)

simplify140.0ms (2.4%)

localize33.0ms (0.6%)

series11.0ms (0.2%)

rewrite81.0ms (1.4%)

simplify202.0ms (3.4%)

localize16.0ms (0.3%)

series5.0ms (0.1%)

rewrite62.0ms (1.1%)

simplify197.0ms (3.3%)

eval110.0ms (1.9%)

prune88.0ms (1.5%)

regimes43.0ms (0.7%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end48.0ms (0.8%)

Profiling