Details

analyze55.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	43.7%	6.3%	7
59.3%	34.3%	6.3%	8
67.1%	23.4%	9.5%	9
72.6%	18%	9.5%	10
76.9%	12.1%	11%	11
79.8%	9.2%	11%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.2s (30.4%)

Results

1.2s	8256×	body	256	valid
14.0ms	169×	body	256	invalid

preprocess18.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify8.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.3b	(.f64 x (.f64 27 y))
▶	0.5b	(.f64 (.f64 x 27) y)

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.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	x	@	-inf	(.f64 x (.f64 27 y))

rewrite48.0ms (1.2%)

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

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

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

rewrite59.0ms (1.5%)

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

simplify38.0ms (1%)

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)

prune6.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	21	3	24
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	21	5	26

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize19.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 x (.f64 27 y)) 3)
	0.3b	(.f64 x (.f64 27 y))
✓	30.5b	(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))

Compiler

Compiled 29 to 20 computations (31% saved)

series54.0ms (1.4%)

Counts

2 → 48

Calls

12 calls:

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

rewrite89.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

720×	`pow1_binary64`
675×	`add-log-exp_binary64`
675×	`log1p-expm1-u_binary64`
675×	`expm1-log1p-u_binary64`
658×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	188	17
2	1926	17

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

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

Outputs

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

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

simplify145.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1127×	`fma-def_binary64`
1056×	`unswap-sqr_binary64`
517×	`associate-l_binary64`
393×	`*-commutative_binary64`
387×	`sqr-pow_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	18	544
1	47	544
2	138	544
3	451	544
4	1697	472
5	2231	472
6	2355	472
7	2489	472
8	2922	472
9	3780	472
10	4337	472
11	6026	472
12	6284	472
13	6561	472
14	7924	472

Stop Event

1×	node limit

Counts

112 → 69

Calls

Call 1

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

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

localize5.0ms (0.1%)

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

rewrite141.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

simplify12.0ms (0.3%)

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

localize24.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series20.0ms (0.5%)

Counts

2 → 0

Calls

12 calls:

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

rewrite118.0ms (3.1%)

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

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

eval93.0ms (2.4%)

Compiler: Compiled 1858 to 1350 computations (27.3% saved)

prune30.0ms (0.8%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	163	4	167
Fresh	0	0	0
Picked	1	0	1
Done	0	4	4
Total	164	8	172

Error

0.0b

Counts

172 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	36.3b	(cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 x (.f64 27 y)) 2) (*.f64 x 27)) y))
▶	1.4b	(.f64 (pow.f64 (.f64 3 (cbrt.f64 y)) 2) (.f64 (.f64 3 (cbrt.f64 y)) x))
✓	0.3b	(.f64 27 (.f64 y x))
▶	0.8b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	31.6b	(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))
✓	0.3b	(.f64 x (.f64 27 y))
▶	22.4b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))

Compiler

Compiled 81 to 59 computations (27.2% saved)

localize65.0ms (1.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 x (.f64 27 y)) 2)
✓	1.7b	(.f64 (pow.f64 (.f64 x (.f64 27 y)) 2) (.f64 x 27))
✓	4.5b	(.f64 (.f64 (pow.f64 (.f64 x (.f64 27 y)) 2) (*.f64 x 27)) y)
✓	30.5b	(cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 x (.f64 27 y)) 2) (*.f64 x 27)) y))

Compiler

Compiled 62 to 43 computations (30.6% saved)

series116.0ms (3%)

Counts

4 → 96

Calls

24 calls:

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

rewrite94.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

566×	`log-prod_binary64`
536×	`prod-exp_binary64`
415×	`pow-prod-down_binary64`
402×	`exp-prod_binary64`
346×	`pow-unpow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	52
1	251	43
2	2665	43

Stop Event

1×	node limit

Counts

4 → 207

Calls

Call 1

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

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

simplify160.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1055×	`unswap-sqr_binary64`
492×	`neg-sub0_binary64`
485×	`neg-mul-1_binary64`
354×	`*-commutative_binary64`
341×	`sqr-pow_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	1168
1	70	1168
2	213	1168
3	847	1096
4	1539	1096
5	1735	1096
6	2019	1096
7	2317	1096
8	2894	1096
9	3224	1096
10	5097	1096
11	5495	1096
12	6903	1096

Stop Event

1×	node limit

Counts

303 → 217

Calls

Call 1

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

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	1.0b	(cbrt.f64 19683)

Compiler

Compiled 16 to 9 computations (43.8% saved)

series7.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

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

rewrite57.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

632×	`pow1_binary64`
586×	`add-log-exp_binary64`
586×	`log1p-expm1-u_binary64`
586×	`expm1-log1p-u_binary64`
572×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	139	12
2	1601	12

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

26 → 26

Calls

Call 1

Inputs

Outputs

localize29.0ms (0.7%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series7.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite63.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

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

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

simplify166.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	35	276
2	84	276
3	165	276
4	396	276
5	1369	276
6	1725	276
7	2098	276
8	2699	276
9	3151	276
10	3499	276
11	3865	276
12	4253	276
13	4724	276
14	5215	276
15	6536	276
16	7477	276

Stop Event

1×	node limit

Counts

63 → 32

Calls

Call 1

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

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

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 37 to 22 computations (40.5% saved)

series12.0ms (0.3%)

Counts

4 → 24

Calls

15 calls:

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

rewrite73.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

870×	`pow1_binary64`
805×	`add-log-exp_binary64`
804×	`log1p-expm1-u_binary64`
804×	`expm1-log1p-u_binary64`
785×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	208	30
2	2314	30

Stop Event

1×	node limit

Counts

4 → 66

Calls

Call 1

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

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

90 → 67

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

eval143.0ms (3.7%)

Compiler: Compiled 5344 to 3794 computations (29% saved)

prune85.0ms (2.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	371	2	373
Fresh	0	0	0
Picked	1	0	1
Done	3	4	7
Total	375	6	381

Error

Counts

381 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.8b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.5b	(.f64 (.f64 x 27) y)
▶	0.8b	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))
▶	46.7b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y))

Compiler

Compiled 56 to 40 computations (28.6% saved)

localize24.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.7b	(.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (.f64 x 27))
✓	4.5b	(.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y)
✓	18.1b	(.f64 (.f64 (.f64 x x) 729) (.f64 y y))
✓	30.5b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y))

Compiler

Compiled 73 to 34 computations (53.4% saved)

series9.0ms (0.2%)

Counts

4 → 96

Calls

24 calls:

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

rewrite73.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

691×	`log-prod_binary64`
566×	`pow-prod-down_binary64`
445×	`pow-unpow_binary64`
302×	`pow2_binary64`
213×	`pow1/3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	78
1	268	40
2	3284	40

Stop Event

1×	node limit

Counts

4 → 102

Calls

Call 1

Inputs
(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y))
(.f64 (.f64 (.f64 x x) 729) (.f64 y y))
(.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y)
(.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (.f64 x 27))

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

simplify189.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1055×	`unswap-sqr_binary64`
492×	`neg-sub0_binary64`
485×	`neg-mul-1_binary64`
354×	`*-commutative_binary64`
341×	`sqr-pow_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	1168
1	70	1168
2	213	1168
3	850	1096
4	1541	1096
5	1737	1096
6	2021	1096
7	2319	1096
8	2896	1096
9	3226	1096
10	5099	1096
11	5499	1096
12	6907	1096

Stop Event

1×	node limit

Counts

198 → 112

Calls

Call 1

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

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

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	1.0b	(cbrt.f64 387420489)

Compiler

Compiled 20 to 13 computations (35% saved)

series8.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

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

rewrite56.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

704×	`pow1_binary64`
656×	`add-log-exp_binary64`
656×	`log1p-expm1-u_binary64`
656×	`expm1-log1p-u_binary64`
639×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	160	13
2	1823	13

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

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

Outputs

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

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

33 → 33

Calls

Call 1

Inputs

Outputs

eval44.0ms (1.1%)

Compiler: Compiled 1744 to 1257 computations (27.9% saved)

prune24.0ms (0.6%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	145	0	145
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	145	6	151

Error

Counts

151 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.8b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	0.8b	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))
✓	46.7b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x x) 729) (.f64 y y)) (*.f64 x 27)) y))

Compiler

Compiled 56 to 40 computations (28.6% saved)

regimes80.0ms (2.1%)

Accuracy

Total -53.4b remaining (-19880.8%)

Threshold costs -53.4b (-19880.8%)

Counts

11 → 1

Calls

Call 1

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

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

Calls

5 calls:

41.0ms	(*.f64 x 27)
13.0ms	(*.f64 x 27)
7.0ms	y
7.0ms	x
7.0ms	(.f64 (.f64 x 27) y)

Results

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

Compiler

Compiled 121 to 81 computations (33.1% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 7 to 5 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)

end15.0ms (0.4%)

Remove: (sort x y)
Compiler: Compiled 21 to 15 computations (28.6% saved)

Details

analyze55.0ms (1.4%)

sample1.2s (30.4%)

preprocess18.0ms (0.5%)

simplify8.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite48.0ms (1.2%)

simplify10.0ms (0.2%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite59.0ms (1.5%)

simplify38.0ms (1%)

eval5.0ms (0.1%)

prune6.0ms (0.1%)

localize19.0ms (0.5%)

series54.0ms (1.4%)

rewrite89.0ms (2.3%)

simplify145.0ms (3.7%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite141.0ms (3.6%)

simplify12.0ms (0.3%)

localize24.0ms (0.6%)

series20.0ms (0.5%)

rewrite118.0ms (3.1%)

simplify11.0ms (0.3%)

eval93.0ms (2.4%)

prune30.0ms (0.8%)

localize65.0ms (1.7%)

series116.0ms (3%)

rewrite94.0ms (2.4%)

simplify160.0ms (4.1%)

localize8.0ms (0.2%)

series7.0ms (0.2%)

rewrite57.0ms (1.5%)

simplify7.0ms (0.2%)

localize29.0ms (0.7%)

series7.0ms (0.2%)

rewrite63.0ms (1.6%)

simplify166.0ms (4.3%)

localize17.0ms (0.4%)

series12.0ms (0.3%)

rewrite73.0ms (1.9%)

simplify11.0ms (0.3%)

eval143.0ms (3.7%)

prune85.0ms (2.2%)

localize24.0ms (0.6%)

series9.0ms (0.2%)

rewrite73.0ms (1.9%)

simplify189.0ms (4.9%)

localize11.0ms (0.3%)

series8.0ms (0.2%)

rewrite56.0ms (1.5%)

simplify7.0ms (0.2%)

eval44.0ms (1.1%)

prune24.0ms (0.6%)

regimes80.0ms (2.1%)

simplify3.0ms (0.1%)

soundness8.0ms (0.2%)

end15.0ms (0.4%)

Profiling