Details

analyze79.0ms (2.2%)

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
50%	43.7%	6.3%	7
59.3%	34.3%	6.3%	8
67.1%	23.4%	9.5%	9
72.6%	18%	9.5%	10
76.9%	12.1%	11%	11
79.8%	9.2%	11%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample903.0ms (25.3%)

Results

857.0ms	8256×	body	256	valid
11.0ms	154×	body	256	invalid

preprocess17.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

5×	`*-commutative_binary64`
4×	`associate-l_binary64`
2×	`associate-r_binary64`
1×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	14	14
2	20	14
3	20	14
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	17	7
3	19	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite40.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

554×	`pow1_binary64`
511×	`add-log-exp_binary64`
511×	`log1p-expm1-u_binary64`
511×	`expm1-log1p-u_binary64`
501×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1392	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	10	168
2	17	168
3	19	168

Stop Event

1×

saturated

Counts

35 → 13

Calls

Call 1

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

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

localize3.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.6b	(.f64 x (.f64 27 y))
✓	0.6b	(.f64 x (.f64 27 y))

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite58.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`pow1_binary64`
512×	`add-log-exp_binary64`
512×	`log1p-expm1-u_binary64`
512×	`expm1-log1p-u_binary64`
502×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1394	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	10	168
2	17	168
3	19	168

Stop Event

1×

saturated

Counts

35 → 13

Calls

Call 1

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

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

eval5.0ms (0.2%)

Compiler: Compiled 192 to 138 computations (28.1% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	23	5	28

Error

0.0b

Counts

28 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.5b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	1.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.7b	(.f64 x (.f64 27 y))
▶	0.2b	(.f64 27 (.f64 y x))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite53.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

555×	`pow1_binary64`
512×	`add-log-exp_binary64`
512×	`log1p-expm1-u_binary64`
512×	`expm1-log1p-u_binary64`
502×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	121	7
2	1394	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize6.0ms (0.2%)

Local error

Found 6 expressions with local error:

New	Error	Program
	8.2b	(cbrt.f64 (.f64 x (.f64 27 y)))
	0.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
	0.6b	(.f64 x (.f64 27 y))
	0.6b	(.f64 x (.f64 27 y))
✓	0.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	8.2b	(cbrt.f64 (.f64 x (.f64 27 y)))

series13.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite50.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

710×	`pow1_binary64`
665×	`add-log-exp_binary64`
665×	`log1p-expm1-u_binary64`
665×	`expm1-log1p-u_binary64`
650×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	186	16
2	1859	16

Stop Event

1×	node limit

Counts

2 → 63

Calls

Call 1

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

Outputs

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

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

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

localize5.0ms (0.1%)

Local error

Found 6 expressions with local error:

New	Error	Program
	7.6b	(sqrt.f64 (.f64 x (.f64 27 y)))
	0.6b	(.f64 x (.f64 27 y))
	0.2b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.2b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
	0.6b	(.f64 x (.f64 27 y))
✓	7.6b	(sqrt.f64 (.f64 x (.f64 27 y)))

series14.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite152.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

708×	`pow1_binary64`
657×	`add-log-exp_binary64`
657×	`log1p-expm1-u_binary64`
657×	`expm1-log1p-u_binary64`
643×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	16
1	187	16
2	1842	16

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

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

Outputs

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

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

61 → 61

Calls

Call 1

Inputs

Outputs

eval45.0ms (1.3%)

Compiler: Compiled 1773 to 1289 computations (27.3% saved)

prune26.0ms (0.7%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	157	4	161
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	157	9	166

Error

Counts

166 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	40.0b	(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 729))
✓	30.5b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	1.6b	(.f64 (cbrt.f64 x) (.f64 (.f64 3 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2)))
▶	1.7b	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2))
✓	1.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.7b	(.f64 x (.f64 27 y))
▶	15.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.2b	(.f64 27 (.f64 y x))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 97 to 73 computations (24.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series9.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite48.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`pow1_binary64`
680×	`add-log-exp_binary64`
680×	`log1p-expm1-u_binary64`
680×	`expm1-log1p-u_binary64`
665×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	162	16
2	1893	16

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

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

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

simplify117.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

684×	`fma-def_binary64`
662×	`fabs-mul_binary64`
632×	`cube-prod_binary64`
617×	`sqr-pow_binary64`
458×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	35	276
2	84	276
3	163	276
4	388	276
5	1278	276
6	1645	276
7	2018	276
8	2619	276
9	3070	276
10	3418	276
11	3778	276
12	4155	276
13	4615	276
14	5102	276
15	6413	276
16	7335	276

Stop Event

1×	node limit

Counts

63 → 32

Calls

Call 1

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

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

localize7.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

series14.0ms (0.4%)

Counts

2 → 24

Calls

12 calls:

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

rewrite50.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

762×	`pow1_binary64`
707×	`add-log-exp_binary64`
707×	`log1p-expm1-u_binary64`
707×	`expm1-log1p-u_binary64`
692×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	205	19
2	2028	19

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

Outputs

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

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

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	10	168
2	17	168
3	19	168

Stop Event

1×

saturated

Counts

56 → 34

Calls

Call 1

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

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

localize127.0ms (3.6%)

Local error

Found 8 expressions with local error:

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

series4.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite132.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

396×	`pow1_binary64`
379×	`add-sqr-sqrt_binary64`
371×	`*-un-lft-identity_binary64`
365×	`add-log-exp_binary64`
365×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	93	6
2	1020	6

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

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

Outputs

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

simplify22.0ms (0.6%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

56 → 56

Calls

Call 1

Inputs

Outputs

localize6.0ms (0.2%)

Local error

Found 6 expressions with local error:

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

series10.0ms (0.3%)

Counts

3 → 72

Calls

18 calls:

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

rewrite166.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

758×	`pow1_binary64`
704×	`add-log-exp_binary64`
704×	`log1p-expm1-u_binary64`
704×	`expm1-log1p-u_binary64`
686×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	29
1	188	24
2	2047	24

Stop Event

1×	node limit

Counts

3 → 58

Calls

Call 1

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

Outputs

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

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

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

simplify222.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

788×	`fabs-mul_binary64`
743×	`unswap-sqr_binary64`
743×	`cube-prod_binary64`
720×	`sqr-pow_binary64`
361×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	720
1	33	720
2	76	720
3	227	720
4	1040	720
5	1640	720
6	1706	720
7	1806	720
8	1926	720
9	2048	720
10	2195	720
11	3343	720
12	3572	720
13	3870	720
14	4207	720
15	4624	720
16	5238	720
17	5974	720
18	6462	720
19	6846	720
20	7276	720
21	7680	720

Stop Event

1×	node limit

Counts

130 → 65

Calls

Call 1

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

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

eval138.0ms (3.9%)

Compiler: Compiled 4693 to 3192 computations (32% saved)

prune98.0ms (2.7%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	293	2	295
Fresh	0	0	0
Picked	1	0	1
Done	2	6	8
Total	296	8	304

Error

Counts

304 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	42.3b	(sqrt.f64 (.f64 (.f64 y (.f64 x (.f64 y x))) 729))
✓	1.6b	(.f64 (cbrt.f64 x) (.f64 (.f64 3 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2)))
▶	45.7b	(sqrt.f64 (.f64 (.f64 y (.f64 y (.f64 x x))) 729))
✓	0.7b	(.f64 x (.f64 27 y))
✓	15.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.2b	(.f64 27 (.f64 y x))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 84 to 60 computations (28.6% saved)

localize6.0ms (0.2%)

Local error

Found 8 expressions with local error:

New	Error	Program
	20.1b	(sqrt.f64 (.f64 (.f64 y (.f64 y (.f64 x x))) 729))
	8.1b	(.f64 y (.f64 x x))
	4.3b	(.f64 y (.f64 y (*.f64 x x)))
	0.2b	(.f64 (.f64 y (.f64 y (.f64 x x))) 729)
✓	0.2b	(.f64 (.f64 y (.f64 y (.f64 x x))) 729)
✓	4.3b	(.f64 y (.f64 y (*.f64 x x)))
✓	8.1b	(.f64 y (.f64 x x))
✓	20.1b	(sqrt.f64 (.f64 (.f64 y (.f64 y (.f64 x x))) 729))

series7.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

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

rewrite91.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

823×	`pow1_binary64`
764×	`add-log-exp_binary64`
764×	`log1p-expm1-u_binary64`
764×	`expm1-log1p-u_binary64`
745×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	45
1	186	31
2	2202	31

Stop Event

1×	node limit

Counts

4 → 64

Calls

Call 1

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

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

simplify291.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

1251×	`unswap-sqr_binary64`
934×	`sqr-pow_binary64`
472×	`fabs-mul_binary64`
440×	`cube-prod_binary64`
367×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	888
1	35	888
2	78	888
3	223	888
4	1095	888
5	1787	888
6	1853	888
7	1953	888
8	2073	888
9	2195	888
10	2342	888
11	2506	888
12	2695	888
13	2908	888
14	3138	888
15	3382	888
16	3647	888
17	3926	888
18	4226	888
19	4540	888
20	4610	888
21	6558	888
22	6803	888
23	7057	888
24	7175	888
25	7969	888

Stop Event

1×	node limit

Counts

160 → 73

Calls

Call 1

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

Outputs
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 27 (.f64 y x))
(.f64 x (.f64 27 y))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 y x) -27)
(.f64 x (.f64 y -27))
(.f64 y (.f64 x -27))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 y (pow.f64 x 2))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 x x) (*.f64 y y))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 y (.f64 x (*.f64 y x)))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))
(.f64 729 (.f64 (pow.f64 y 2) (pow.f64 x 2)))
(.f64 (.f64 729 (.f64 y y)) (.f64 x x))
(.f64 (.f64 x x) (.f64 (.f64 y y) 729))
(.f64 y (.f64 y (.f64 (.f64 729 x) x)))
(.f64 (.f64 y x) (.f64 (.f64 y x) 729))
(.f64 (.f64 y y) (.f64 x (.f64 x 729)))
(.f64 (.f64 y x) (.f64 x (.f64 y 729)))
(.f64 (.f64 x (.f64 y y)) (.f64 x 729))

localize6.0ms (0.2%)

Local error

Found 8 expressions with local error:

New	Error	Program
	20.1b	(sqrt.f64 (.f64 (.f64 y (.f64 x (.f64 y x))) 729))
	4.3b	(.f64 y (.f64 x (*.f64 y x)))
	0.2b	(.f64 x (.f64 y x))
	0.2b	(.f64 (.f64 y (.f64 x (.f64 y x))) 729)
✓	0.2b	(.f64 (.f64 y (.f64 x (.f64 y x))) 729)
✓	0.2b	(.f64 x (.f64 y x))
✓	4.3b	(.f64 y (.f64 x (*.f64 y x)))
✓	20.1b	(sqrt.f64 (.f64 (.f64 y (.f64 x (.f64 y x))) 729))

series6.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

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

rewrite60.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

812×	`pow1_binary64`
752×	`add-log-exp_binary64`
752×	`log1p-expm1-u_binary64`
752×	`expm1-log1p-u_binary64`
735×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	45
1	185	31
2	2149	31

Stop Event

1×	node limit

Counts

4 → 64

Calls

Call 1

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

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

simplify231.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

1251×	`unswap-sqr_binary64`
934×	`sqr-pow_binary64`
485×	`fabs-mul_binary64`
440×	`cube-prod_binary64`
383×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	888
1	35	888
2	78	888
3	225	888
4	1095	888
5	1804	888
6	1870	888
7	1970	888
8	2090	888
9	2212	888
10	2359	888
11	2523	888
12	2712	888
13	2925	888
14	3155	888
15	3399	888
16	3664	888
17	3943	888
18	4243	888
19	4557	888
20	4627	888
21	6575	888
22	6820	888
23	7066	888
24	7181	888

Stop Event

1×	node limit

Counts

160 → 73

Calls

Call 1

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

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

eval39.0ms (1.1%)

Compiler: Compiled 1532 to 956 computations (37.6% saved)

prune23.0ms (0.7%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	146	8	154

Error

Counts

154 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	42.3b	(sqrt.f64 (.f64 (.f64 y (.f64 x (.f64 y x))) 729))
✓	1.6b	(.f64 (cbrt.f64 x) (.f64 (.f64 3 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2)))
✓	45.7b	(sqrt.f64 (.f64 (.f64 y (.f64 y (.f64 x x))) 729))
✓	0.7b	(.f64 x (.f64 27 y))
✓	15.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.2b	(.f64 27 (.f64 y x))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 84 to 60 computations (28.6% saved)

regimes35.0ms (1%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

4 calls:

11.0ms	(*.f64 x 27)
7.0ms	x
7.0ms	(.f64 (.f64 x 27) y)
6.0ms	y

Results

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

Compiler

Compiled 119 to 80 computations (32.8% saved)

regimes8.0ms (0.2%)

Accuracy

Total -0.6b remaining (-246.5%)

Threshold costs -0.6b (-246.5%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	x
3.0ms	y

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Stop Event

1×

saturated

Calls

Call 1

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

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

end20.0ms (0.6%)

Stop Event

1×

done

Remove

(sort x y)

Compiler

Compiled 40 to 28 computations (30% saved)

Details

analyze79.0ms (2.2%)

sample903.0ms (25.3%)

preprocess17.0ms (0.5%)

simplify13.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize3.0ms (0.1%)

series4.0ms (0.1%)

rewrite40.0ms (1.1%)

simplify10.0ms (0.3%)

localize3.0ms (0.1%)

series2.0ms (0%)

rewrite58.0ms (1.6%)

simplify10.0ms (0.3%)

eval5.0ms (0.2%)

prune6.0ms (0.2%)

localize11.0ms (0.3%)

series2.0ms (0.1%)

rewrite53.0ms (1.5%)

simplify6.0ms (0.2%)

localize6.0ms (0.2%)

series13.0ms (0.4%)

rewrite50.0ms (1.4%)

simplify11.0ms (0.3%)

localize5.0ms (0.1%)

series14.0ms (0.4%)

rewrite152.0ms (4.2%)

simplify7.0ms (0.2%)

eval45.0ms (1.3%)

prune26.0ms (0.7%)

localize8.0ms (0.2%)

series9.0ms (0.2%)

rewrite48.0ms (1.3%)

simplify117.0ms (3.3%)

localize7.0ms (0.2%)

series14.0ms (0.4%)

rewrite50.0ms (1.4%)

simplify13.0ms (0.4%)

localize127.0ms (3.6%)

series4.0ms (0.1%)

rewrite132.0ms (3.7%)

simplify22.0ms (0.6%)

localize6.0ms (0.2%)

series10.0ms (0.3%)

rewrite166.0ms (4.7%)

simplify222.0ms (6.2%)

eval138.0ms (3.9%)

prune98.0ms (2.7%)

localize6.0ms (0.2%)

series7.0ms (0.2%)

rewrite91.0ms (2.6%)

simplify291.0ms (8.2%)

localize6.0ms (0.2%)

series6.0ms (0.2%)

rewrite60.0ms (1.7%)

simplify231.0ms (6.5%)

eval39.0ms (1.1%)

prune23.0ms (0.7%)

regimes35.0ms (1%)

regimes8.0ms (0.2%)

simplify2.0ms (0.1%)

end20.0ms (0.6%)

Profiling