Details

analyze54.0ms (1.1%)

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)

sample719.0ms (14.6%)

Results

671.0ms	8256×	body	256	valid
33.0ms	360×	body	256	infinite

Bogosity

preprocess16.0ms (0.3%)

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

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series5.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

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

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

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

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

simplify179.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

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)

prune5.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
✓	10.3b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
▶	29.9b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))
▶	32.2b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)

Compiler

Compiled 32 to 21 computations (34.4% saved)

localize13.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (.f64 x (.f64 y y)) 3)
	10.0b	(.f64 x (.f64 y y))
✓	27.8b	(cbrt.f64 (pow.f64 (.f64 x (.f64 y y)) 3))

Compiler

Compiled 28 to 10 computations (64.3% saved)

series8.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite116.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 60

Calls

Call 1

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

Outputs

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

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

simplify271.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

108 → 64

Calls

Call 1

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

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

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 17 to 7 computations (58.8% saved)

series11.0ms (0.2%)

Counts

2 → 24

Calls

12 calls:

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

rewrite58.0ms (1.2%)

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

simplify174.0ms (3.5%)

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.4%)

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

prune24.0ms (0.5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	110	5	115
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	111	8	119

Error

0.0b

Counts

119 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	10.3b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
▶	22.1b	(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (pow.f64 (cbrt.f64 y) 2) x))
▶	28.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 y x)) 3))
✓	32.2b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	33.7b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	1.0b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
▶	39.2b	(pow.f64 (cbrt.f64 (pow.f64 (*.f64 (sqrt.f64 x) y) 3)) 2)

Compiler

Compiled 138 to 94 computations (31.9% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 33 to 14 computations (57.6% saved)

series18.0ms (0.4%)

Counts

4 → 36

Calls

18 calls:

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

rewrite99.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

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

simplify185.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	276
1	32	276
2	60	276
3	113	276
4	263	276
5	814	276
6	1401	276
7	1586	276
8	1828	276
9	2129	276
10	2543	276
11	3155	276
12	3879	276
13	4780	276
14	5280	276
15	5788	276
16	6220	276
17	6571	276
18	6771	276

Stop Event

1×	node limit

Counts

98 → 66

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

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (.f64 y (.f64 y x)) 3)
✓	0.2b	(.f64 y (.f64 y x))
✓	27.8b	(cbrt.f64 (pow.f64 (.f64 y (.f64 y x)) 3))

Compiler

Compiled 28 to 10 computations (64.3% saved)

series5.0ms (0.1%)

Counts

3 → 72

Calls

18 calls:

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

rewrite77.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

656×	`pow1_binary64`
614×	`add-log-exp_binary64`
614×	`log1p-expm1-u_binary64`
614×	`expm1-log1p-u_binary64`
597×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	170	24
2	1782	24

Stop Event

1×	node limit

Counts

3 → 73

Calls

Call 1

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

Outputs

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

simplify124.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

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

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

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

Compiler

Compiled 24 to 6 computations (75% saved)

series11.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite63.0ms (1.3%)

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

simplify76.0ms (1.5%)

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

localize25.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 16 computations (52.9% saved)

series21.0ms (0.4%)

Counts

3 → 36

Calls

18 calls:

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

rewrite92.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

730×	`pow1_binary64`
684×	`add-log-exp_binary64`
683×	`log1p-expm1-u_binary64`
683×	`expm1-log1p-u_binary64`
664×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	214	22
2	2103	22

Stop Event

1×	node limit

Counts

3 → 77

Calls

Call 1

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

Outputs

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

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

simplify119.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

501×	`fma-def_binary64`
493×	`neg-mul-1_binary64`
447×	`unswap-sqr_binary64`
390×	`associate-l_binary64`
343×	`unsub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	21	360
1	56	360
2	136	336
3	389	336
4	1620	336
5	2778	336
6	3406	336
7	4185	336
8	5631	336
9	7556	336

Stop Event

1×	node limit

Counts

113 → 84

Calls

Call 1

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

localize57.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 y) 2)
	0.6b	(cbrt.f64 y)
✓	2.5b	(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (pow.f64 (cbrt.f64 y) 2) x))
✓	26.6b	(cbrt.f64 (pow.f64 y 4))

Compiler

Compiled 36 to 22 computations (38.9% saved)

series7.0ms (0.1%)

Counts

2 → 24

Calls

9 calls:

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

rewrite107.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

846×	`pow1_binary64`
782×	`add-log-exp_binary64`
782×	`log1p-expm1-u_binary64`
782×	`expm1-log1p-u_binary64`
760×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	222	13
2	2434	13

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

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

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

simplify218.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1006×	`sqr-pow_binary64`
711×	`unswap-sqr_binary64`
683×	`fabs-mul_binary64`
671×	`cube-prod_binary64`
454×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	200
1	24	200
2	56	200
3	172	200
4	717	200
5	1127	200
6	2313	200
7	2425	200
8	2584	200
9	2763	200
10	2984	200
11	3282	200
12	3682	200
13	4146	200
14	4764	200
15	5567	200
16	6183	200
17	6631	200
18	7037	200
19	7275	200
20	7317	200

Stop Event

1×	node limit

Counts

60 → 40

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

eval143.0ms (2.9%)

Compiler: Compiled 4211 to 1932 computations (54.1% saved)

prune66.0ms (1.3%)

Pruning

14 alts after pruning (8 fresh and 6 done)

	Pruned	Kept	Total
New	346	8	354
Fresh	0	0	0
Picked	1	0	1
Done	1	6	7
Total	348	14	362

Error

0.0b

Counts

362 → 14

Alt Table

Click to see full alt table

Status	Error	Program
▶	28.9b	(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
	22.1b	(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (cbrt.f64 (*.f64 y y)) x))
	2.9b	(.f64 (.f64 (.f64 x y) (sqrt.f64 (.f64 y (cbrt.f64 y)))) (cbrt.f64 y))
▶	3.2b	(.f64 (.f64 (cbrt.f64 y) y) (*.f64 (pow.f64 (cbrt.f64 y) 2) x))
✓	28.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 y x)) 3))
✓	32.2b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
	22.9b	(pow.f64 (sqrt.f64 (.f64 y (.f64 y x))) 2)
✓	1.0b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
▶	0.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 2) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	10.3b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
✓	33.7b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	41.8b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 x (.f64 y y)) (sqrt.f64 x)) y)) 2)
▶	36.5b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))

Compiler

Compiled 262 to 161 computations (38.5% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 37 to 11 computations (70.3% saved)

series18.0ms (0.4%)

Counts

4 → 24

Calls

24 calls:

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

rewrite75.0ms (1.5%)

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

simplify188.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

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

localize15.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 23 to 13 computations (43.5% saved)

series9.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite61.0ms (1.2%)

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

simplify105.0ms (2.1%)

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

localize8.0ms (0.2%)

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

Compiler

Compiled 28 to 6 computations (78.6% saved)

series13.0ms (0.3%)

Counts

3 → 24

Calls

18 calls:

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

rewrite85.0ms (1.7%)

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

simplify104.0ms (2.1%)

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

localize26.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 14 computations (56.3% saved)

series13.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite59.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

770×	`pow1_binary64`
712×	`add-log-exp_binary64`
712×	`log1p-expm1-u_binary64`
712×	`expm1-log1p-u_binary64`
694×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	184	16
2	2159	16

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

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

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

simplify172.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

987×	`sqr-pow_binary64`
736×	`fabs-mul_binary64`
732×	`cube-prod_binary64`
550×	`pow-sqr_binary64`
450×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	276
1	27	276
2	56	276
3	106	276
4	264	276
5	819	276
6	1158	276
7	1890	276
8	2040	276
9	2247	276
10	2512	276
11	2908	276
12	3437	276
13	4092	276
14	4913	276
15	5523	276
16	5958	276
17	6345	276
18	6569	276
19	6683	276
20	7526	276

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

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

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(pow.f64 (cbrt.f64 (.f64 (.f64 (.f64 x (.f64 y y)) (sqrt.f64 x)) y)) 2)
✓	1.1b	(.f64 (.f64 x (*.f64 y y)) (sqrt.f64 x))
	10.0b	(.f64 x (.f64 y y))
✓	15.7b	(cbrt.f64 (.f64 (.f64 (.f64 x (.f64 y y)) (sqrt.f64 x)) y))

Compiler

Compiled 57 to 11 computations (80.7% saved)

series10.0ms (0.2%)

Counts

3 → 36

Calls

18 calls:

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

rewrite71.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

881×	`pow1_binary64`
816×	`add-log-exp_binary64`
816×	`log1p-expm1-u_binary64`
816×	`expm1-log1p-u_binary64`
792×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	49
1	226	23
2	2681	23

Stop Event

1×	node limit

Counts

3 → 77

Calls

Call 1

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

Outputs

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

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

simplify138.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

525×	`*-commutative_binary64`
479×	`fma-neg_binary64`
446×	`fma-def_binary64`
353×	`associate-l_binary64`
321×	`sqr-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	360
1	50	360
2	119	336
3	344	336
4	1436	336
5	2438	336
6	2915	336
7	3474	336
8	4293	336
9	4866	336
10	5484	336
11	6797	336
12	7883	336

Stop Event

1×	node limit

Counts

113 → 85

Calls

Call 1

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

eval87.0ms (1.8%)

Compiler: Compiled 4862 to 1913 computations (60.7% saved)

prune59.0ms (1.2%)

Pruning

15 alts after pruning (6 fresh and 9 done)

	Pruned	Kept	Total
New	372	4	376
Fresh	1	2	3
Picked	1	0	1
Done	1	9	10
Total	375	15	390

Error

0.0b

Counts

390 → 15

Alt Table

Click to see full alt table

Status	Error	Program
✓	28.9b	(.f64 (.f64 y (sqrt.f64 (.f64 y x))) (sqrt.f64 (.f64 y x)))
	22.1b	(.f64 (cbrt.f64 (pow.f64 y 4)) (.f64 (cbrt.f64 (*.f64 y y)) x))
✓	3.2b	(.f64 (.f64 (cbrt.f64 y) y) (*.f64 (pow.f64 (cbrt.f64 y) 2) x))
	2.9b	(.f64 (.f64 (cbrt.f64 y) y) (.f64 (sqrt.f64 (.f64 y (cbrt.f64 y))) x))
✓	28.7b	(cbrt.f64 (pow.f64 (.f64 y (.f64 y x)) 3))
✓	32.2b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
	22.9b	(pow.f64 (sqrt.f64 (.f64 y (.f64 y x))) 2)
	12.4b	(.f64 (cbrt.f64 (pow.f64 (.f64 y x) 2)) (.f64 (cbrt.f64 (.f64 y x)) y))
	43.2b	(pow.f64 (cbrt.f64 (.f64 (.f64 y (*.f64 y (pow.f64 x 3/2))) y)) 2)
✓	33.7b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	5.0b	(.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (.f64 y x)) 4)) (.f64 (cbrt.f64 (.f64 y x)) y))
✓	10.3b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
✓	1.0b	(.f64 (.f64 (*.f64 x y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	36.5b	(.f64 (.f64 x (pow.f64 y 3/2)) (sqrt.f64 y))

Compiler

Compiled 174 to 108 computations (37.9% saved)

regimes38.0ms (0.8%)

Accuracy

Total -57.4b remaining (-32658%)

Threshold costs -57.4b (-32658%)

Counts

21 → 1

Calls

Call 1

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

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

Calls

3 calls:

12.0ms	x
11.0ms	y
10.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 225 to 99 computations (56% 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%)

end20.0ms (0.4%)

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

Details

analyze54.0ms (1.1%)

sample719.0ms (14.6%)

preprocess16.0ms (0.3%)

simplify7.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series5.0ms (0.1%)

rewrite43.0ms (0.9%)

simplify181.0ms (3.7%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite44.0ms (0.9%)

simplify179.0ms (3.6%)

eval5.0ms (0.1%)

prune5.0ms (0.1%)

localize13.0ms (0.3%)

series8.0ms (0.2%)

rewrite116.0ms (2.4%)

simplify271.0ms (5.5%)

localize7.0ms (0.1%)

series11.0ms (0.2%)

rewrite58.0ms (1.2%)

simplify174.0ms (3.5%)

eval20.0ms (0.4%)

prune24.0ms (0.5%)

localize15.0ms (0.3%)

series18.0ms (0.4%)

rewrite99.0ms (2%)

simplify185.0ms (3.7%)

localize11.0ms (0.2%)

series5.0ms (0.1%)

rewrite77.0ms (1.6%)

simplify124.0ms (2.5%)

localize9.0ms (0.2%)

series11.0ms (0.2%)

rewrite63.0ms (1.3%)

simplify76.0ms (1.5%)

localize25.0ms (0.5%)

series21.0ms (0.4%)

rewrite92.0ms (1.9%)

simplify119.0ms (2.4%)

localize57.0ms (1.2%)

series7.0ms (0.1%)

rewrite107.0ms (2.2%)

simplify218.0ms (4.4%)

eval143.0ms (2.9%)

prune66.0ms (1.3%)

localize13.0ms (0.3%)

series18.0ms (0.4%)

rewrite75.0ms (1.5%)

simplify188.0ms (3.8%)

localize15.0ms (0.3%)

series9.0ms (0.2%)

rewrite61.0ms (1.2%)

simplify105.0ms (2.1%)

localize8.0ms (0.2%)

series13.0ms (0.3%)

rewrite85.0ms (1.7%)

simplify104.0ms (2.1%)

localize26.0ms (0.5%)

series13.0ms (0.3%)

rewrite59.0ms (1.2%)

simplify172.0ms (3.5%)

localize15.0ms (0.3%)

series10.0ms (0.2%)

rewrite71.0ms (1.4%)

simplify138.0ms (2.8%)

eval87.0ms (1.8%)

prune59.0ms (1.2%)

regimes38.0ms (0.8%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end20.0ms (0.4%)

Profiling