Details

analyze54.0ms (1.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
53.3%	50%	43.7%	0.1%	6.2%	0%	0%	7
63.3%	59.3%	34.3%	0.1%	6.2%	0%	0%	8
74.1%	67.1%	23.4%	0.1%	9.4%	0%	0%	9
80.2%	72.6%	18%	0.1%	9.4%	0%	0%	10
86.4%	76.9%	12.1%	0.1%	10.9%	0%	0%	11
89.7%	79.8%	9.2%	0.1%	10.9%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample824.0ms (18.2%)

Results

787.0ms	8256×	body	256	valid
15.0ms	145×	body	256	infinite

Bogosity

preprocess19.0ms (0.4%)

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)

simplify9.0ms (0.2%)

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite46.0ms (1%)

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

simplify13.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 → 12

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite43.0ms (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 y) (.f64 x 27)))))) (#(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 log1p.f64 (expm1.f64 (.f64 x (.f64 27 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.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 y) (*.f64 x 27)))))) (#(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 log1p.f64 (expm1.f64 (*.f64 x (*.f64 27 y))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 x (*.f64 27 y))))))))

simplify11.0ms (0.2%)

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 → 12

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

eval5.0ms (0.1%)

Compiler: Compiled 182 to 133 computations (26.9% saved)

prune5.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

26 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.5b	(.f64 (.f64 x 27) y)
▶	0.3b	(.f64 27 (.f64 y x))
✓	0.2b	(.f64 x (.f64 27 y))

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite47.0ms (1%)

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

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

11 → 11

Calls

Call 1

Inputs

Outputs

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series13.0ms (0.3%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
3.0ms	x	@	-inf	(cbrt.f64 (.f64 x (.f64 27 y)))
1.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	x	@	0	(cbrt.f64 (.f64 x (.f64 27 y)))
1.0ms	x	@	inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

eval25.0ms (0.6%)

Compiler: Compiled 961 to 700 computations (27.2% saved)

prune19.0ms (0.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	81	5	86
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	82	8	90

Error

Counts

90 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(.f64 (.f64 x 27) y)
▶	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
▶	15.4b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
▶	1.5b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(.f64 27 (.f64 y x))
▶	15.1b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.2b	(.f64 x (.f64 27 y))
▶	38.7b	(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 729))

Compiler

Compiled 135 to 99 computations (26.7% saved)

localize160.0ms (3.5%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 11 computations (57.7% saved)

series162.0ms (3.6%)

Counts

3 → 0

Calls

18 calls:

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

rewrite80.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

708×	`pow1_binary64`
660×	`add-log-exp_binary64`
660×	`log1p-expm1-u_binary64`
660×	`expm1-log1p-u_binary64`
642×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	27
1	169	22
2	1871	22

Stop Event

1×	node limit

Counts

3 → 56

Calls

Call 1

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

Outputs

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

56 → 56

Calls

Call 1

Inputs

Outputs

localize164.0ms (3.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 16 computations (44.8% saved)

series9.0ms (0.2%)

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

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

simplify208.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

899×	`unswap-sqr_binary64`
707×	`fabs-mul_binary64`
700×	`sqr-pow_binary64`
667×	`cube-prod_binary64`
351×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	720
1	33	720
2	76	720
3	226	720
4	1053	720
5	1648	720
6	1714	720
7	1814	720
8	1934	720
9	2056	720
10	2203	720
11	3663	720
12	3892	720
13	4190	720
14	4525	720
15	4938	720
16	5556	720
17	6327	720
18	6819	720
19	7203	720
20	7631	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 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(.f64 y (.f64 27 x))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(.f64 -27 (.f64 y x))
(.f64 (.f64 -27 y) x)
(.f64 y (.f64 x -27))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.f64 y (.f64 y (*.f64 x x)))
(*.f64 (pow.f64 y 2) (pow.f64 x 2))
(.f64 (.f64 y y) (*.f64 x x))
(.f64 (.f64 y x) (*.f64 y x))
(.f64 x (.f64 x (*.f64 y y)))
(.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.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 y y) (.f64 (.f64 x x) 729))
(.f64 (.f64 x (.f64 x (.f64 y y))) 729)
(.f64 x (.f64 y (.f64 y (.f64 x 729))))
(.f64 y (.f64 y (.f64 x (.f64 x 729))))
(.f64 y (.f64 729 (.f64 y (.f64 x x))))

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series9.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

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

Outputs

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

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

simplify144.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

684×	`fma-def_binary64`
654×	`fabs-mul_binary64`
630×	`cube-prod_binary64`
590×	`sqr-pow_binary64`
450×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	35	276
2	83	276
3	162	276
4	383	276
5	1269	276
6	1635	276
7	2008	276
8	2609	276
9	3063	276
10	3406	276
11	3782	276
12	4168	276
13	4638	276
14	5126	276
15	6449	276
16	7382	276

Stop Event

1×	node limit

Counts

63 → 31

Calls

Call 1

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

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

localize18.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series16.0ms (0.3%)

Counts

3 → 36

Calls

15 calls:

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

rewrite74.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

725×	`pow1_binary64`
670×	`add-log-exp_binary64`
670×	`log1p-expm1-u_binary64`
670×	`expm1-log1p-u_binary64`
655×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
1	161	22
2	1867	22

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Outputs

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

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

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

simplify117.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

575×	`fabs-mul_binary64`
545×	`fma-neg_binary64`
495×	`fma-def_binary64`
411×	`cube-prod_binary64`
393×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	420
1	43	300
2	109	300
3	252	300
4	684	300
5	1079	300
6	1495	300
7	2023	300
8	2875	300
9	3802	300
10	4592	300
11	5552	300
12	6765	300

Stop Event

1×	node limit

Counts

85 → 54

Calls

Call 1

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

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

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 20 computations (41.2% saved)

series19.0ms (0.4%)

Counts

4 → 36

Calls

18 calls:

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

rewrite71.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

862×	`pow1_binary64`
798×	`add-log-exp_binary64`
798×	`log1p-expm1-u_binary64`
798×	`expm1-log1p-u_binary64`
781×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	205	28
2	2266	28

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

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

simplify183.0ms (4%)

Algorithm

1×	egg-herbie

Rules

995×	`sqr-pow_binary64`
733×	`cube-prod_binary64`
651×	`fabs-mul_binary64`
450×	`unswap-sqr_binary64`
379×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	312
1	35	312
2	68	312
3	142	312
4	367	312
5	1146	312
6	1562	312
7	2294	312
8	2444	312
9	2670	312
10	2940	312
11	3341	312
12	3880	312
13	4545	312
14	5368	312
15	5980	312
16	6409	312
17	6796	312
18	7018	312
19	7130	312
20	7973	312

Stop Event

1×	node limit

Counts

98 → 66

Calls

Call 1

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

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

eval83.0ms (1.8%)

Compiler: Compiled 3778 to 2385 computations (36.9% saved)

prune45.0ms (1%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	311	3	314
Fresh	0	0	0
Picked	0	1	1
Done	3	4	7
Total	314	8	322

Error

Counts

322 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
▶	40.1b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 y x) x) y) 729))
▶	15.1b	(.f64 (.f64 27 (*.f64 (sqrt.f64 y) x)) (sqrt.f64 y))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	1.5b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(.f64 27 (.f64 y x))
▶	48.3b	(sqrt.f64 (.f64 (.f64 (.f64 y y) (.f64 x x)) 729))

Compiler

Compiled 79 to 55 computations (30.4% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (.f64 y y) (.f64 x x)) 729)
✓	19.2b	(sqrt.f64 (.f64 (.f64 (.f64 y y) (.f64 x x)) 729))
✓	19.7b	(.f64 (.f64 y y) (*.f64 x x))

Compiler

Compiled 37 to 11 computations (70.3% saved)

series5.0ms (0.1%)

Counts

3 → 72

Calls

18 calls:

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

rewrite82.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

817×	`pow1_binary64`
759×	`add-log-exp_binary64`
759×	`log1p-expm1-u_binary64`
759×	`expm1-log1p-u_binary64`
737×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	188	24
2	2223	24

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

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

Outputs

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

simplify282.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

899×	`unswap-sqr_binary64`
707×	`fabs-mul_binary64`
700×	`sqr-pow_binary64`
667×	`cube-prod_binary64`
349×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	720
1	33	720
2	76	720
3	223	720
4	1059	720
5	1656	720
6	1722	720
7	1822	720
8	1942	720
9	2064	720
10	2211	720
11	3671	720
12	3900	720
13	4196	720
14	4527	720
15	4946	720
16	5561	720
17	6341	720
18	6837	720
19	7219	720
20	7647	720

Stop Event

1×	node limit

Counts

123 → 58

Calls

Call 1

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

localize24.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 y x) x)
✓	0.3b	(.f64 (.f64 (.f64 (.f64 y x) x) y) 729)
✓	4.2b	(.f64 (.f64 (*.f64 y x) x) y)
✓	19.2b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 y x) x) y) 729))

Compiler

Compiled 39 to 11 computations (71.8% saved)

series14.0ms (0.3%)

Counts

4 → 96

Calls

24 calls:

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

rewrite103.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

817×	`pow1_binary64`
757×	`add-log-exp_binary64`
757×	`log1p-expm1-u_binary64`
757×	`expm1-log1p-u_binary64`
740×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 64

Calls

Call 1

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

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

simplify456.0ms (10.1%)

Algorithm

1×	egg-herbie

Rules

1251×	`unswap-sqr_binary64`
927×	`sqr-pow_binary64`
474×	`fabs-mul_binary64`
440×	`cube-prod_binary64`
376×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	888
1	35	888
2	78	888
3	225	888
4	1102	888
5	1805	888
6	1871	888
7	1971	888
8	2091	888
9	2213	888
10	2360	888
11	2524	888
12	2713	888
13	2928	888
14	3158	888
15	3402	888
16	3667	888
17	3946	888
18	4246	888
19	4560	888
20	4630	888
21	6578	888
22	6823	888
23	7041	888
24	7153	888
25	7985	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 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)))
(*.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))

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

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 10 computations (61.5% saved)

series8.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

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

rewrite70.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

750×	`pow1_binary64`
693×	`add-log-exp_binary64`
693×	`log1p-expm1-u_binary64`
693×	`expm1-log1p-u_binary64`
677×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	163	22
2	1924	22

Stop Event

1×	node limit

Counts

3 → 37

Calls

Call 1

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

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

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

simplify127.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

759×	`sqr-pow_binary64`
656×	`fma-def_binary64`
620×	`fabs-mul_binary64`
597×	`cube-prod_binary64`
420×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	168
1	28	168
2	71	168
3	149	168
4	372	168
5	1216	168
6	1545	168
7	1886	168
8	2450	168
9	2835	168
10	3147	168
11	3445	168
12	3789	168
13	4202	168
14	4690	168
15	6015	168
16	6958	168

Stop Event

1×	node limit

Counts

61 → 40

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

eval51.0ms (1.1%)

Compiler: Compiled 1745 to 1083 computations (37.9% saved)

prune26.0ms (0.6%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	171	0	171
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	171	8	179

Error

Counts

179 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
✓	40.1b	(sqrt.f64 (.f64 (.f64 (.f64 (.f64 y x) x) y) 729))
✓	15.1b	(.f64 (.f64 27 (*.f64 (sqrt.f64 y) x)) (sqrt.f64 y))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	1.5b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	0.3b	(.f64 27 (.f64 y x))
✓	48.3b	(sqrt.f64 (.f64 (.f64 (.f64 y y) (.f64 x x)) 729))

Compiler

Compiled 79 to 55 computations (30.4% saved)

regimes73.0ms (1.6%)

Accuracy

Total -53.4b remaining (-27328.7%)

Threshold costs -53.4b (-27328.7%)

Counts

12 → 1

Calls

Call 1

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

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

Calls

5 calls:

40.0ms	y
8.0ms	(*.f64 x 27)
7.0ms	(*.f64 x 27)
7.0ms	(.f64 (.f64 x 27) y)
7.0ms	x

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)`
0.2b	1	`(*.f64 x 27)`

Compiler

Compiled 124 to 79 computations (36.3% saved)

simplify4.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×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness8.0ms (0.2%)

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

end39.0ms (0.9%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

Details

analyze54.0ms (1.2%)

sample824.0ms (18.2%)

preprocess19.0ms (0.4%)

simplify9.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series4.0ms (0.1%)

rewrite46.0ms (1%)

simplify13.0ms (0.3%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite43.0ms (1%)

simplify11.0ms (0.2%)

eval5.0ms (0.1%)

prune5.0ms (0.1%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite47.0ms (1%)

simplify7.0ms (0.2%)

localize14.0ms (0.3%)

series13.0ms (0.3%)

rewrite62.0ms (1.4%)

simplify8.0ms (0.2%)

eval25.0ms (0.6%)

prune19.0ms (0.4%)

localize160.0ms (3.5%)

series162.0ms (3.6%)

rewrite80.0ms (1.8%)

simplify8.0ms (0.2%)

localize164.0ms (3.6%)

series9.0ms (0.2%)

rewrite214.0ms (4.7%)

simplify208.0ms (4.6%)

localize10.0ms (0.2%)

series9.0ms (0.2%)

rewrite57.0ms (1.3%)

simplify144.0ms (3.2%)

localize18.0ms (0.4%)

series16.0ms (0.3%)

rewrite74.0ms (1.6%)

simplify117.0ms (2.6%)

localize18.0ms (0.4%)

series19.0ms (0.4%)

rewrite71.0ms (1.6%)

simplify183.0ms (4%)

eval83.0ms (1.8%)

prune45.0ms (1%)

localize14.0ms (0.3%)

series5.0ms (0.1%)

rewrite82.0ms (1.8%)

simplify282.0ms (6.2%)

localize24.0ms (0.5%)

series14.0ms (0.3%)

rewrite103.0ms (2.3%)

simplify456.0ms (10.1%)

localize20.0ms (0.4%)

series8.0ms (0.2%)

rewrite70.0ms (1.6%)

simplify127.0ms (2.8%)

eval51.0ms (1.1%)

prune26.0ms (0.6%)

regimes73.0ms (1.6%)

simplify4.0ms (0.1%)

soundness8.0ms (0.2%)

end39.0ms (0.9%)

Profiling