Details

analyze83.0ms (1.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample888.0ms (20.2%)

Results

844.0ms	8256×	body	256	valid
31.0ms	330×	body	256	invalid

preprocess17.0ms (0.4%)

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)

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series7.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite57.0ms (1.3%)

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

simplify180.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

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

rewrite46.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify185.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

eval4.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
✓	0.2b	(.f64 (.f64 x y) y)
▶	30.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	9.8b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
✓	9.2b	(.f64 x (.f64 y y))

Compiler

Compiled 32 to 21 computations (34.4% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
	9.0b	(.f64 x (.f64 y y))
✓	20.6b	(cbrt.f64 (.f64 x (.f64 y y)))

Compiler

Compiled 27 to 8 computations (70.4% saved)

series36.0ms (0.8%)

Counts

2 → 0

Calls

12 calls:

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

rewrite98.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

57 → 57

Calls

Call 1

Inputs

Outputs

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 17 to 7 computations (58.8% saved)

series13.0ms (0.3%)

Counts

2 → 24

Calls

12 calls:

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

rewrite137.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

Outputs

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

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

simplify173.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

59 → 38

Calls

Call 1

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

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

eval20.0ms (0.5%)

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

prune60.0ms (1.4%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	103	9	112

Error

0.0b

Counts

112 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	9.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 2) (cbrt.f64 x)) (cbrt.f64 (*.f64 y y)))
▶	9.8b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 y y)))
✓	0.2b	(.f64 (.f64 x y) y)
✓	30.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
▶	30.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	1.2b	(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) (cbrt.f64 y)) 3)
✓	9.8b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
▶	41.9b	(.f64 (.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 (.f64 (sqrt.f64 x) y))) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
✓	9.2b	(.f64 x (.f64 y y))

Compiler

Compiled 174 to 101 computations (42% saved)

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 30 to 9 computations (70% saved)

series11.0ms (0.3%)

Counts

4 → 0

Calls

21 calls:

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

rewrite111.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

782×	`pow1_binary64`
728×	`add-log-exp_binary64`
728×	`log1p-expm1-u_binary64`
728×	`expm1-log1p-u_binary64`
706×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	30
1	188	25
2	2100	25

Stop Event

1×	node limit

Counts

4 → 83

Calls

Call 1

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

83 → 83

Calls

Call 1

Inputs

Outputs

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 24 to 6 computations (75% saved)

series8.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

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

Outputs

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

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

simplify70.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×

unsound

Counts

58 → 27

Calls

Call 1

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

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

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 31 to 11 computations (64.5% saved)

series31.0ms (0.7%)

Counts

4 → 36

Calls

18 calls:

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

rewrite74.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

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

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

simplify191.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

99 → 67

Calls

Call 1

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

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

localize22.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 y y))) 2) (cbrt.f64 x))
	9.0b	(.f64 x (.f64 y y))
	20.6b	(cbrt.f64 (.f64 x (.f64 y y)))
✓	22.9b	(cbrt.f64 (*.f64 y y))

Compiler

Compiled 60 to 17 computations (71.7% saved)

series9.0ms (0.2%)

Counts

2 → 12

Calls

9 calls:

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

rewrite65.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

871×	`pow1_binary64`
801×	`add-log-exp_binary64`
801×	`log1p-expm1-u_binary64`
801×	`expm1-log1p-u_binary64`
776×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	217	21
2	2352	21

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

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

Outputs

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

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

simplify165.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1190×	`sqr-pow_binary64`
780×	`cube-prod_binary64`
638×	`pow-sqr_binary64`
625×	`fabs-mul_binary64`
412×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	108
1	24	108
2	43	108
3	76	108
4	167	108
5	497	108
6	780	108
7	1442	108
8	1572	108
9	1752	108
10	1980	108
11	2322	108
12	2779	108
13	3368	108
14	4103	108
15	5044	108
16	5545	108
17	5998	108
18	6360	108
19	6630	108
20	6738	108
21	7977	108

Stop Event

1×	node limit

Counts

43 → 33

Calls

Call 1

Inputs
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)
(.f64 (pow.f64 (.f64 1 (pow.f64 y 4)) 1/3) x)

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

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 41 to 7 computations (82.9% saved)

series82.0ms (1.9%)

Counts

3 → 48

Calls

18 calls:

Time	Variable		Point	Expression
36.0ms	x	@	0	(sqrt.f64 (*.f64 (sqrt.f64 x) y))
17.0ms	x	@	inf	(.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
9.0ms	x	@	inf	(sqrt.f64 (*.f64 (sqrt.f64 x) y))
8.0ms	x	@	0	(.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
2.0ms	x	@	-inf	(.f64 (.f64 (sqrt.f64 x) y) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))

rewrite57.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

663×	`pow1_binary64`
610×	`add-log-exp_binary64`
610×	`log1p-expm1-u_binary64`
610×	`expm1-log1p-u_binary64`
592×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	161	24
2	1808	24

Stop Event

1×	node limit

Counts

3 → 47

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

simplify73.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

852×	`fma-def_binary64`
514×	`distribute-rgt-neg-in_binary64`
393×	`distribute-lft-neg-in_binary64`
244×	`*-commutative_binary64`
236×	`cube-prod_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	35	524
1	93	524
2	264	504
3	768	500
4	1627	496
5	2779	496
6	4626	496
7	6674	496

Stop Event

1×

unsound

Counts

95 → 57

Calls

Call 1

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

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

eval84.0ms (1.9%)

Compiler: Compiled 5884 to 1988 computations (66.2% saved)

prune65.0ms (1.5%)

Pruning

11 alts after pruning (5 fresh and 6 done)

	Pruned	Kept	Total
New	386	5	391
Fresh	0	0	0
Picked	1	0	1
Done	2	6	8
Total	389	11	400

Error

0.0b

Counts

400 → 11

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 (.f64 x y) y)
✓	30.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	30.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
▶	11.7b	(.f64 (cbrt.f64 (pow.f64 (.f64 x y) 2)) (.f64 (cbrt.f64 (.f64 x y)) y))
✓	1.2b	(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) (cbrt.f64 y)) 3)
▶	24.2b	(pow.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 x y) 2))) (cbrt.f64 y)) 3)
▶	9.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 2) (cbrt.f64 y)) (cbrt.f64 (*.f64 x y)))
✓	9.8b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
▶	41.9b	(.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
▶	21.7b	(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) y))
✓	9.2b	(.f64 x (.f64 y y))

Compiler

Compiled 202 to 127 computations (37.1% saved)

localize22.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 y)
	9.0b	(.f64 x (.f64 y y))
	9.9b	(cbrt.f64 (*.f64 x y))
	20.6b	(cbrt.f64 (.f64 x (.f64 y y)))

Compiler

Compiled 63 to 18 computations (71.4% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 6 computations (78.6% saved)

series10.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

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

rewrite66.0ms (1.5%)

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

Outputs

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

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

simplify80.0ms (1.8%)

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

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 42 to 15 computations (64.3% saved)

series14.0ms (0.3%)

Counts

3 → 48

Calls

18 calls:

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

rewrite66.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

844×	`pow1_binary64`
778×	`add-log-exp_binary64`
778×	`log1p-expm1-u_binary64`
778×	`expm1-log1p-u_binary64`
756×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	36
1	203	23
2	2353	23

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

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

Outputs

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

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

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

simplify119.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

877×	`fma-def_binary64`
506×	`distribute-rgt-neg-out_binary64`
440×	`distribute-lft-neg-in_binary64`
437×	`distribute-rgt-neg-in_binary64`
420×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	464
1	31	464
2	89	464
3	292	464
4	1270	464
5	2522	464
6	3333	464
7	4391	464
8	5545	464
9	6330	464
10	7234	464

Stop Event

1×	node limit

Counts

111 → 69

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

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

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 11 computations (67.6% saved)

series131.0ms (3%)

Counts

2 → 36

Calls

12 calls:

Time	Variable		Point	Expression
40.0ms	y	@	-inf	(pow.f64 (*.f64 (sqrt.f64 x) y) 3/2)
23.0ms	x	@	0	(.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
21.0ms	y	@	0	(.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
16.0ms	y	@	0	(pow.f64 (*.f64 (sqrt.f64 x) y) 3/2)
15.0ms	y	@	-inf	(.f64 (pow.f64 (.f64 (sqrt.f64 x) y) 3/2) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))

rewrite62.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

770×	`pow1_binary64`
717×	`add-log-exp_binary64`
717×	`log1p-expm1-u_binary64`
717×	`expm1-log1p-u_binary64`
697×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	188	16
2	2223	16

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

Outputs

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

simplify64.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

425×	`fma-neg_binary64`
363×	`exp-sum_binary64`
357×	`distribute-rgt-neg-in_binary64`
340×	`div-sub_binary64`
326×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	380
1	89	360
2	244	320
3	645	284
4	2314	284
5	6282	284

Stop Event

1×	node limit

Counts

71 → 44

Calls

Call 1

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

localize26.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 x y) 2))) (cbrt.f64 y)) 3)
	0.6b	(cbrt.f64 y)
✓	3.4b	(sqrt.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
	27.3b	(cbrt.f64 (pow.f64 (*.f64 x y) 2))

Compiler

Compiled 51 to 27 computations (47.1% saved)

series45.0ms (1%)

Counts

2 → 0

Calls

12 calls:

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

rewrite57.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

955×	`pow1_binary64`
889×	`add-log-exp_binary64`
888×	`log1p-expm1-u_binary64`
888×	`expm1-log1p-u_binary64`
114×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	30
1	251	13
2	2744	13

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

Calls

Call 1

Inputs

Outputs

eval100.0ms (2.3%)

Compiler: Compiled 6618 to 2422 computations (63.4% saved)

prune78.0ms (1.8%)

Pruning

12 alts after pruning (6 fresh and 6 done)

	Pruned	Kept	Total
New	424	6	430
Fresh	0	0	0
Picked	1	0	1
Done	4	6	10
Total	429	12	441

Error

Counts

441 → 12

Alt Table

Click to see full alt table

Status	Error	Program
	23.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 x y) 3/2)) (.f64 (sqrt.f64 (.f64 x y)) y))
✓	9.2b	(.f64 x (.f64 y y))
✓	0.2b	(.f64 (.f64 x y) y)
✓	30.5b	(pow.f64 (*.f64 (sqrt.f64 x) y) 2)
✓	30.2b	(.f64 (.f64 (*.f64 x y) (sqrt.f64 y)) (sqrt.f64 y))
	11.7b	(.f64 (cbrt.f64 (.f64 (.f64 x y) (.f64 x y))) (.f64 (cbrt.f64 (.f64 x y)) y))
	45.9b	(.f64 (.f64 (pow.f64 y 3/2) (pow.f64 x 3/4)) (sqrt.f64 (*.f64 (sqrt.f64 x) y)))
	21.8b	(.f64 (pow.f64 (pow.f64 (.f64 x y) 1/4) 2) (.f64 (sqrt.f64 (.f64 x y)) y))
	12.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 x y) 2)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x y))) 3) y))
	16.6b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 x y) x) y)) (.f64 (cbrt.f64 (.f64 x y)) y))
✓	9.8b	(pow.f64 (cbrt.f64 (.f64 x (.f64 y y))) 3)
✓	21.7b	(.f64 (sqrt.f64 (.f64 x y)) (.f64 (sqrt.f64 (.f64 x y)) y))

Compiler

Compiled 154 to 92 computations (40.3% saved)

regimes93.0ms (2.1%)

Accuracy

Total -51.4b remaining (-29247.3%)

Threshold costs -51.4b (-29247.3%)

Counts

20 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 250 to 94 computations (62.4% saved)

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

end16.0ms (0.4%)

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

Details

analyze83.0ms (1.9%)

sample888.0ms (20.2%)

preprocess17.0ms (0.4%)

simplify11.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.2%)

series7.0ms (0.2%)

rewrite57.0ms (1.3%)

simplify180.0ms (4.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite46.0ms (1%)

simplify185.0ms (4.2%)

eval4.0ms (0.1%)

prune5.0ms (0.1%)

localize12.0ms (0.3%)

series36.0ms (0.8%)

rewrite98.0ms (2.2%)

simplify7.0ms (0.2%)

localize7.0ms (0.2%)

series13.0ms (0.3%)

rewrite137.0ms (3.1%)

simplify173.0ms (3.9%)

eval20.0ms (0.5%)

prune60.0ms (1.4%)

localize12.0ms (0.3%)

series11.0ms (0.3%)

rewrite111.0ms (2.5%)

simplify8.0ms (0.2%)

localize11.0ms (0.2%)

series8.0ms (0.2%)

rewrite56.0ms (1.3%)

simplify70.0ms (1.6%)

localize15.0ms (0.3%)

series31.0ms (0.7%)

rewrite74.0ms (1.7%)

simplify191.0ms (4.3%)

localize22.0ms (0.5%)

series9.0ms (0.2%)

rewrite65.0ms (1.5%)

simplify165.0ms (3.7%)

localize11.0ms (0.3%)

series82.0ms (1.9%)

rewrite57.0ms (1.3%)

simplify73.0ms (1.7%)

eval84.0ms (1.9%)

prune65.0ms (1.5%)

localize22.0ms (0.5%)

localize8.0ms (0.2%)

series10.0ms (0.2%)

rewrite66.0ms (1.5%)

simplify80.0ms (1.8%)

localize17.0ms (0.4%)

series14.0ms (0.3%)

rewrite66.0ms (1.5%)

simplify119.0ms (2.7%)

localize14.0ms (0.3%)

series131.0ms (3%)

rewrite62.0ms (1.4%)

simplify64.0ms (1.5%)

localize26.0ms (0.6%)

series45.0ms (1%)

rewrite57.0ms (1.3%)

simplify7.0ms (0.2%)

eval100.0ms (2.3%)

prune78.0ms (1.8%)

regimes93.0ms (2.1%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end16.0ms (0.4%)

Profiling