Details

analyze119.0ms (3.2%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.0s (27.4%)

Results

985.0ms	8256×	body	256	valid
11.0ms	127×	body	256	invalid

preprocess38.0ms (1%)

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)

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

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

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

35 → 12

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite46.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

35 → 12

Calls

Call 1

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

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

eval5.0ms (0.1%)

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

prune5.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

26 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize36.0ms (1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series15.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite64.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 63

Calls

Call 1

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

Outputs

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

eval23.0ms (0.6%)

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

prune16.0ms (0.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

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

Error

Counts

90 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 27 (.f64 y x))
▶	1.2b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
▶	1.6b	(.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)))
▶	1.5b	(pow.f64 (.f64 (.f64 3 (cbrt.f64 y)) (cbrt.f64 x)) 3)
✓	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	19.6b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 96 to 73 computations (24% saved)

localize14.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series31.0ms (0.8%)

Counts

3 → 36

Calls

15 calls:

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

rewrite61.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Outputs

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

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

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

simplify112.0ms (3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

85 → 54

Calls

Call 1

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

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

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 20 computations (41.2% saved)

series47.0ms (1.3%)

Counts

4 → 36

Calls

18 calls:

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

rewrite67.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 62

Calls

Call 1

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

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

simplify180.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	312
1	35	312
2	68	312
3	141	312
4	364	312
5	1174	312
6	1592	312
7	2324	312
8	2474	312
9	2696	312
10	2966	312
11	3363	312
12	3902	312
13	4563	312
14	5382	312
15	5990	312
16	6421	312
17	6810	312
18	7034	312
19	7148	312
20	7991	312

Stop Event

1×	node limit

Counts

98 → 66

Calls

Call 1

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

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

localize69.0ms (1.9%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 86 to 63 computations (26.7% saved)

series102.0ms (2.8%)

Counts

3 → 48

Calls

18 calls:

Time	Variable		Point	Expression
44.0ms	x	@	0	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
19.0ms	y	@	0	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
16.0ms	x	@	inf	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
9.0ms	y	@	inf	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
3.0ms	x	@	-inf	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))

rewrite71.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

868×	`pow1_binary64`
803×	`add-log-exp_binary64`
803×	`log1p-expm1-u_binary64`
803×	`expm1-log1p-u_binary64`
783×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	223	37
2	2372	37

Stop Event

1×	node limit

Counts

3 → 60

Calls

Call 1

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

Outputs

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

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

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

simplify187.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

649×	`fma-def_binary64`
581×	`unswap-sqr_binary64`
420×	`fma-neg_binary64`
273×	`*-commutative_binary64`
220×	`associate-/l*_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	62	1104
1	167	1088
2	416	1016
3	1340	1016
4	4502	944

Stop Event

1×	node limit

Counts

108 → 74

Calls

Call 1

Inputs
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))

Outputs
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) (cbrt.f64 3))
(*.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) (cbrt.f64 3))
(*.f64 (cbrt.f64 3) (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (pow.f64 (.f64 1 (cbrt.f64 -27)) 1/3) (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))))
(*.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) (cbrt.f64 (cbrt.f64 -27)))
(*.f64 (cbrt.f64 (cbrt.f64 -27)) (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 y)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 y)))) 2) (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (log.f64 y) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (*.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 x)))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(*.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2))
(.f64 (pow.f64 (cbrt.f64 3) 2) (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)))
(.f64 (pow.f64 (cbrt.f64 3) 2) (pow.f64 (pow.f64 (.f64 x y) 1/18) 4))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))
(.f64 (pow.f64 (.f64 1 (pow.f64 (cbrt.f64 -27) 2)) 1/3) (pow.f64 (exp.f64 (.f64 1/9 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 x)))) 2))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 y))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(*.f64 (pow.f64 (pow.f64 (exp.f64 1/9) (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)) (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (exp.f64 (.f64 (-.f64 (log.f64 y) (log.f64 (/.f64 -1 x))) 2/9)))
(.f64 (cbrt.f64 (pow.f64 (cbrt.f64 -27) 2)) (pow.f64 (pow.f64 (.f64 -1 (*.f64 x y)) 1/18) 4))

localize148.0ms (4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 29 to 15 computations (48.3% saved)

series8.0ms (0.2%)

Counts

3 → 0

Calls

15 calls:

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

rewrite79.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

793×	`pow1_binary64`
738×	`add-log-exp_binary64`
738×	`log1p-expm1-u_binary64`
738×	`expm1-log1p-u_binary64`
715×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	187	19
2	2110	19

Stop Event

1×	node limit

Counts

3 → 57

Calls

Call 1

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

Outputs

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

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

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

simplify146.0ms (4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

57 → 57

Calls

Call 1

Inputs

Outputs

eval367.0ms (10%)

Compiler: Compiled 8542 to 6283 computations (26.4% saved)

prune72.0ms (2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	411	1	412
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	412	8	420

Error

Counts

420 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 27 (.f64 y x))
✓	1.2b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	19.6b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
▶	19.6b	(.f64 (.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2)) (sqrt.f64 (.f64 27 y)))
✓	1.5b	(pow.f64 (.f64 (.f64 3 (cbrt.f64 y)) (cbrt.f64 x)) 3)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 84 to 64 computations (23.8% saved)

localize29.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(sqrt.f64 (*.f64 27 y))
✓	0.2b	(.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2))
✓	0.2b	(.f64 (.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2)) (sqrt.f64 (.f64 27 y)))
✓	0.4b	(pow.f64 (pow.f64 (*.f64 27 y) 1/4) 2)

Compiler

Compiled 49 to 38 computations (22.4% saved)

series89.0ms (2.4%)

Counts

3 → 48

Calls

15 calls:

Time	Variable		Point	Expression
51.0ms	y	@	inf	(pow.f64 (pow.f64 (*.f64 27 y) 1/4) 2)
16.0ms	y	@	0	(pow.f64 (pow.f64 (*.f64 27 y) 1/4) 2)
16.0ms	y	@	-inf	(pow.f64 (pow.f64 (*.f64 27 y) 1/4) 2)
1.0ms	x	@	0	(.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2))
1.0ms	y	@	inf	(.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2))

rewrite65.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

972×	`pow1_binary64`
904×	`add-log-exp_binary64`
904×	`log1p-expm1-u_binary64`
904×	`expm1-log1p-u_binary64`
107×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	258	22
2	2587	22

Stop Event

1×	node limit

Counts

3 → 56

Calls

Call 1

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

Outputs

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

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

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

simplify65.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

560×	`fma-neg_binary64`
512×	`unswap-sqr_binary64`
465×	`div-sub_binary64`
337×	`fma-def_binary64`
296×	`exp-sum_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	42	612
1	112	492
2	280	456
3	692	372
4	2090	348
5	5977	348

Stop Event

1×	node limit

Counts

104 → 65

Calls

Call 1

Inputs
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))

Outputs
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (*.f64 1/4 (+.f64 (log.f64 27) (log.f64 y)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (log.f64 27) (.f64 -1 (log.f64 (/.f64 1 y)))))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(pow.f64 (exp.f64 (.f64 1/4 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 -27)))) 2)
(pow.f64 (pow.f64 (exp.f64 1/4) (+.f64 (log.f64 27) (log.f64 y))) 2)
(pow.f64 (*.f64 (pow.f64 y 1/4) (pow.f64 27 1/4)) 2)
(sqrt.f64 (*.f64 y 27))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 -1 (.f64 y (*.f64 (pow.f64 (sqrt.f64 -27) 2) x)))
(.f64 (pow.f64 (sqrt.f64 27) 2) (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 y (.f64 27 x))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))
(.f64 (sqrt.f64 y) (.f64 (sqrt.f64 27) x))
(.f64 (sqrt.f64 27) (.f64 x (sqrt.f64 y)))
(.f64 x (sqrt.f64 (.f64 y 27)))

eval29.0ms (0.8%)

Compiler: Compiled 1286 to 1010 computations (21.5% saved)

prune15.0ms (0.4%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	87	8	95

Error

Counts

95 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 27 (.f64 y x))
✓	1.2b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	19.6b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	19.6b	(.f64 (.f64 x (pow.f64 (pow.f64 (.f64 27 y) 1/4) 2)) (sqrt.f64 (.f64 27 y)))
✓	1.5b	(pow.f64 (.f64 (.f64 3 (cbrt.f64 y)) (cbrt.f64 x)) 3)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 84 to 64 computations (23.8% saved)

regimes34.0ms (0.9%)

Accuracy

Total -20.5b remaining (-9392.7%)

Threshold costs -20.5b (-9392.7%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 119 to 86 computations (27.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

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

end29.0ms (0.8%)

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

Details

analyze119.0ms (3.2%)

sample1.0s (27.4%)

preprocess38.0ms (1%)

simplify7.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite45.0ms (1.2%)

simplify13.0ms (0.3%)

localize5.0ms (0.1%)

series2.0ms (0.1%)

rewrite46.0ms (1.3%)

simplify11.0ms (0.3%)

eval5.0ms (0.1%)

prune5.0ms (0.1%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite45.0ms (1.2%)

simplify8.0ms (0.2%)

localize36.0ms (1%)

series15.0ms (0.4%)

rewrite64.0ms (1.8%)

simplify8.0ms (0.2%)

eval23.0ms (0.6%)

prune16.0ms (0.4%)

localize14.0ms (0.4%)

series31.0ms (0.8%)

rewrite61.0ms (1.7%)

simplify112.0ms (3%)

localize14.0ms (0.4%)

series47.0ms (1.3%)

rewrite67.0ms (1.8%)

simplify180.0ms (4.9%)

localize69.0ms (1.9%)

series102.0ms (2.8%)

rewrite71.0ms (1.9%)

simplify187.0ms (5.1%)

localize148.0ms (4%)

series8.0ms (0.2%)

rewrite79.0ms (2.1%)

simplify146.0ms (4%)

eval367.0ms (10%)

prune72.0ms (2%)

localize29.0ms (0.8%)

series89.0ms (2.4%)

rewrite65.0ms (1.8%)

simplify65.0ms (1.8%)

eval29.0ms (0.8%)

prune15.0ms (0.4%)

regimes34.0ms (0.9%)

simplify4.0ms (0.1%)

soundness7.0ms (0.2%)

end29.0ms (0.8%)

Profiling