Details

analyze44.0ms (1.5%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample795.0ms (27.2%)

Results

737.0ms	8256×	body	256	valid
46.0ms	140×	body	256	infinite

Bogosity

preprocess15.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	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))

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize6.0ms (0.2%)

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

rewrite37.0ms (1.3%)

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

simplify44.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

600×	`distribute-rgt-in_binary64`
597×	`log-prod_binary64`
587×	`distribute-lft-in_binary64`
457×	`associate-l_binary64`
434×	`exp-sum_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	245
1	83	245
2	339	245
3	2546	245
4	7261	245

Stop Event

1×	node limit

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

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

localize5.0ms (0.2%)

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)

series1.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite35.0ms (1.2%)

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

simplify41.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

600×	`distribute-rgt-in_binary64`
597×	`log-prod_binary64`
587×	`distribute-lft-in_binary64`
452×	`associate-l_binary64`
434×	`exp-sum_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	245
1	84	245
2	337	245
3	2530	245
4	7257	245

Stop Event

1×	node limit

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

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

eval4.0ms (0.2%)

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

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

26 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series1.0ms (0.1%)

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

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

simplify38.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1066×	`log-prod_binary64`
480×	`exp-sum_binary64`
434×	`distribute-rgt-in_binary64`
421×	`distribute-lft-in_binary64`
310×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	143
1	90	110
2	290	77
3	1842	77
4	5805	77

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (.f64 27 (.f64 y x))) 1)
(pow.f64 (.f64 27 (.f64 y x)) 1)
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 3) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2)
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 729))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 y x)))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 y x))))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 y x))))
(exp.f64 (log.f64 (.f64 27 (.f64 y x))))

Outputs
(-.f64 (+.f64 1 (.f64 27 (.f64 y x))) 1)
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(pow.f64 (.f64 27 (.f64 y x)) 1)
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(pow.f64 (pow.f64 (.f64 27 (.f64 y x)) 3) 1/3)
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(pow.f64 (sqrt.f64 (.f64 27 (.f64 y x))) 2)
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(sqrt.f64 (.f64 (pow.f64 (.f64 y x) 2) 729))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(log.f64 (pow.f64 (exp.f64 27) (*.f64 y x)))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(expm1.f64 (log1p.f64 (.f64 27 (.f64 y x))))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(log1p.f64 (expm1.f64 (.f64 27 (.f64 y x))))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))
(exp.f64 (log.f64 (.f64 27 (.f64 y x))))
(+.f64 1 (-.f64 (.f64 27 (.f64 y x)) 1))
(+.f64 (.f64 27 (.f64 y x)) 0)
(.f64 27 (.f64 y x))

localize12.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series12.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-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)))

rewrite48.0ms (1.6%)

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

simplify45.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

676×	`unswap-sqr_binary64`
666×	`fma-def_binary64`
658×	`log-prod_binary64`
581×	`cube-prod_binary64`
563×	`fabs-mul_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	133	882
1	317	714
2	1038	546
3	3952	537

Stop Event

1×	node limit

Counts

63 → 74

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (cbrt.f64 (.f64 x (.f64 27 y)))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 1 (cbrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (.f64 3 (cbrt.f64 y)) (cbrt.f64 x))
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 (cbrt.f64 x) (.f64 3 (cbrt.f64 y)))
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 (.f64 3 (cbrt.f64 y)) (cbrt.f64 x))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 2))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2) 1/3))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) (pow.f64 (.f64 x (*.f64 27 y)) 1/6))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (cbrt.f64 (.f64 x 27)) (cbrt.f64 y))
(.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27)))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) 1/3) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (pow.f64 1 1/3) (cbrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 1/3) (pow.f64 (sqrt.f64 (.f64 x (*.f64 27 y))) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x (.f64 27 y)))) (cbrt.f64 (sqrt.f64 (.f64 x (*.f64 27 y)))))
(pow.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 1/6) 4)
(.f64 (pow.f64 (.f64 x 27) 1/3) (cbrt.f64 y))
(.f64 (cbrt.f64 y) (cbrt.f64 (.f64 x 27)))
(pow.f64 (.f64 x (.f64 27 y)) 1/3)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 3)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) 2)
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(log.f64 (exp.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(expm1.f64 (log1p.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(log1p.f64 (expm1.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(exp.f64 (log.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1))
(+.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 0)
(cbrt.f64 (.f64 x (.f64 27 y)))
(-.f64 (+.f64 1 (.f64 x (.f64 27 y))) 1)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 x (.f64 27 y))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 27 (.f64 y x))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 y (.f64 x 27))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 27 y) x)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 x (*.f64 27 y)) 1)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 1 (.f64 x (*.f64 27 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (pow.f64 (.f64 3 (cbrt.f64 y)) 2) (.f64 (.f64 3 (cbrt.f64 y)) x))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (cbrt.f64 x) (.f64 (.f64 3 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2)))
(.f64 (cbrt.f64 y) (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (*.f64 3 (cbrt.f64 x))))
(.f64 3 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (*.f64 (cbrt.f64 y) (cbrt.f64 x))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.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)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (sqrt.f64 (.f64 27 y)) (.f64 (sqrt.f64 (.f64 27 y)) x))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 27 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (sqrt.f64 (.f64 x (.f64 27 y))) (sqrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.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)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 x 27) y)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2) 3) (cbrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.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))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 x y) 27)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 x (pow.f64 (.f64 3 (cbrt.f64 y)) 2)) (.f64 3 (cbrt.f64 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (*.f64 27 y) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (*.f64 27 y) (sqrt.f64 x)) (sqrt.f64 x))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) 1) (cbrt.f64 (.f64 x (.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 x)) (*.f64 3 (cbrt.f64 y)))
(.f64 (cbrt.f64 x) (.f64 (.f64 3 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2)))
(.f64 (cbrt.f64 y) (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (*.f64 3 (cbrt.f64 x))))
(.f64 3 (.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (*.f64 (cbrt.f64 y) (cbrt.f64 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)))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.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))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (*.f64 x 27) 1) y)
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 27 y)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 27 y) 3)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(cbrt.f64 (.f64 (pow.f64 (.f64 27 y) 3) (pow.f64 x 3)))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(log1p.f64 (expm1.f64 (.f64 x (.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))
(exp.f64 (log.f64 (.f64 x (.f64 27 y))))
(+.f64 1 (-.f64 (.f64 x (.f64 27 y)) 1))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 x (.f64 27 y))

eval28.0ms (1%)

Compiler: Compiled 1107 to 801 computations (27.6% saved)

prune16.0ms (0.5%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	97	3	100
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	97	7	104

Error

0.0b

Counts

104 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
▶	1.4b	(.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.1b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	0.2b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 89 to 67 computations (24.7% saved)

localize14.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 18 computations (43.8% saved)

series17.0ms (0.6%)

Counts

4 → 36

Calls

18 calls:

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

rewrite57.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

866×	`pow1_binary64`
802×	`add-log-exp_binary64`
802×	`log1p-expm1-u_binary64`
802×	`expm1-log1p-u_binary64`
785×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	205	25
2	2270	25

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

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

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

simplify61.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

862×	`fma-def_binary64`
627×	`log-prod_binary64`
532×	`fma-neg_binary64`
388×	`exp-prod_binary64`
329×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	881
1	286	788
2	1241	696
3	3705	693
4	7415	693

Stop Event

1×	node limit

Counts

99 → 78

Calls

Call 1

Inputs
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(-.f64 (+.f64 1 (cbrt.f64 x)) 1)
(*.f64 (cbrt.f64 x) 1)
(*.f64 1 (cbrt.f64 x))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))
(*.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))
(*.f64 (pow.f64 x 1/6) (pow.f64 x 1/6))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)))
(*.f64 (pow.f64 1 1/3) (cbrt.f64 x))
(*.f64 (pow.f64 (sqrt.f64 x) 1/3) (pow.f64 (sqrt.f64 x) 1/3))
(pow.f64 x 1/3)
(pow.f64 (cbrt.f64 x) 1)
(pow.f64 (pow.f64 (cbrt.f64 x) 2) 1/2)
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)
(pow.f64 (pow.f64 x 1/6) 2)
(sqrt.f64 (pow.f64 (cbrt.f64 x) 2))
(fabs.f64 (cbrt.f64 x))
(log.f64 (exp.f64 (cbrt.f64 x)))
(expm1.f64 (log1p.f64 (cbrt.f64 x)))
(log1p.f64 (expm1.f64 (cbrt.f64 x)))
(exp.f64 (log.f64 (cbrt.f64 x)))
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 x) 2)) 1)
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
(*.f64 (pow.f64 (cbrt.f64 x) 2) 1)
(*.f64 1 (pow.f64 (cbrt.f64 x) 2))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 x (cbrt.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))
(*.f64 (sqrt.f64 x) (pow.f64 x 1/6))
(.f64 (pow.f64 x 1/6) (.f64 (pow.f64 x 1/6) (cbrt.f64 x)))
(.f64 (.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x)))
(sqrt.f64 (*.f64 x (cbrt.f64 x)))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 2)))
(cbrt.f64 (*.f64 x x))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 x) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 x) 2)))
(exp.f64 (*.f64 2 (log.f64 (cbrt.f64 x))))
(-.f64 (+.f64 1 (.f64 (cbrt.f64 x) (.f64 27 y))) 1)
(pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 1)
(pow.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3) 1/3)
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (.f64 27 y))) 3)
(pow.f64 (sqrt.f64 (.f64 (cbrt.f64 x) (.f64 27 y))) 2)
(sqrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 2))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 x)) (*.f64 27 y)))
(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3))
(cbrt.f64 (.f64 x (pow.f64 (.f64 27 y) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 27 y) 3) x))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(exp.f64 (log.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(-.f64 (+.f64 1 (.f64 x (.f64 27 y))) 1)
(pow.f64 (.f64 x (.f64 27 y)) 1)
(pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 3) 1/3)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 27 y)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 27 y) 3)))
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3)))
(cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3) (.f64 x x)))
(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
(log1p.f64 (expm1.f64 (.f64 x (.f64 27 y))))
(exp.f64 (log.f64 (.f64 x (.f64 27 y))))

Outputs
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 (pow.f64 (*.f64 1 x) 1/3) y))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 x y))
(-.f64 (+.f64 1 (cbrt.f64 x)) 1)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 (cbrt.f64 x) 1)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 1 (cbrt.f64 x))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 (pow.f64 x 1/6) (pow.f64 x 1/6))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(.f64 (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)))
(.f64 (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))) (fabs.f64 (cbrt.f64 (cbrt.f64 x))))
(.f64 (cbrt.f64 (cbrt.f64 x)) (sqrt.f64 (cbrt.f64 (.f64 x (cbrt.f64 x)))))
(*.f64 (pow.f64 1 1/3) (cbrt.f64 x))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(*.f64 (pow.f64 (sqrt.f64 x) 1/3) (pow.f64 (sqrt.f64 x) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
(pow.f64 (pow.f64 (sqrt.f64 x) 1/6) 4)
(pow.f64 x 1/3)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(pow.f64 (cbrt.f64 x) 1)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(pow.f64 (pow.f64 (cbrt.f64 x) 2) 1/2)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(pow.f64 (pow.f64 x 1/6) 2)
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(sqrt.f64 (pow.f64 (cbrt.f64 x) 2))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(fabs.f64 (cbrt.f64 x))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(log.f64 (exp.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(expm1.f64 (log1p.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(log1p.f64 (expm1.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(exp.f64 (log.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (cbrt.f64 x) 1))
(+.f64 (cbrt.f64 x) 0)
(cbrt.f64 x)
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 x) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(*.f64 (pow.f64 (cbrt.f64 x) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(*.f64 1 (pow.f64 (cbrt.f64 x) 2))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 x (cbrt.f64 x))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (cbrt.f64 (.f64 x (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (.f64 x (cbrt.f64 x))))
(*.f64 (sqrt.f64 x) (pow.f64 x 1/6))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (pow.f64 x 1/6) (.f64 (pow.f64 x 1/6) (cbrt.f64 x)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(.f64 (.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2)) (cbrt.f64 (cbrt.f64 x)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(sqrt.f64 (*.f64 x (cbrt.f64 x)))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 x) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(cbrt.f64 (*.f64 x x))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 x) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 x) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(exp.f64 (*.f64 2 (log.f64 (cbrt.f64 x))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 x) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 x) 2) 0)
(pow.f64 (cbrt.f64 x) 2)
(-.f64 (+.f64 1 (.f64 (cbrt.f64 x) (.f64 27 y))) 1)
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 1)
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(pow.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3) 1/3)
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (.f64 27 y))) 3)
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(pow.f64 (sqrt.f64 (.f64 (cbrt.f64 x) (.f64 27 y))) 2)
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(sqrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 2))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 x)) (*.f64 27 y)))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(cbrt.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(cbrt.f64 (.f64 x (pow.f64 (.f64 27 y) 3)))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(cbrt.f64 (.f64 (pow.f64 (.f64 27 y) 3) x))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(exp.f64 (log.f64 (.f64 (cbrt.f64 x) (.f64 27 y))))
(.f64 27 (.f64 y (cbrt.f64 x)))
(.f64 y (.f64 27 (cbrt.f64 x)))
(-.f64 (+.f64 1 (.f64 x (.f64 27 y))) 1)
(.f64 27 (.f64 x y))
(pow.f64 (.f64 x (.f64 27 y)) 1)
(.f64 27 (.f64 x y))
(pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 3) 1/3)
(.f64 27 (.f64 x y))
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
(.f64 27 (.f64 x y))
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 27 (.f64 x y))
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(.f64 27 (.f64 x y))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 27 y)))
(.f64 27 (.f64 x y))
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))
(.f64 27 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 x 3) (pow.f64 (.f64 27 y) 3)))
(.f64 27 (.f64 x y))
(cbrt.f64 (.f64 (.f64 x x) (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3)))
(.f64 27 (.f64 x y))
(cbrt.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 x) (.f64 27 y)) 3) (.f64 x x)))
(.f64 27 (.f64 x y))
(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
(.f64 27 (.f64 x y))
(log1p.f64 (expm1.f64 (.f64 x (.f64 27 y))))
(.f64 27 (.f64 x y))
(exp.f64 (log.f64 (.f64 x (.f64 27 y))))
(.f64 27 (.f64 x y))

localize38.0ms (1.3%)

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))))
	11.6b	(cbrt.f64 (.f64 x (.f64 27 y)))

Compiler

Compiled 86 to 63 computations (26.7% saved)

series77.0ms (2.6%)

Counts

3 → 48

Calls

18 calls:

Time	Variable		Point	Expression
26.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))))
10.0ms	x	@	inf	(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
8.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))))

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

simplify62.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

700×	`fma-def_binary64`
426×	`exp-prod_binary64`
371×	`distribute-rgt-in_binary64`
337×	`fma-neg_binary64`
329×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	179	2232
1	396	2066
2	1247	1845
3	3472	1835

Stop Event

1×	node limit

Counts

108 → 115

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))
(-.f64 (+.f64 1 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))) 1)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 1)
(.f64 1 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(.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))
(.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))))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/6) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 1/6))
(.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (.f64 27 y))))
(.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)))
(.f64 (pow.f64 1 1/3) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(.f64 (pow.f64 (cbrt.f64 x) 1/3) (pow.f64 (cbrt.f64 (.f64 27 y)) 1/3))
(.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))
(pow.f64 (.f64 x (.f64 27 y)) 1/9)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/3)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 1)
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2) 1/2)
(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))) 3)
(pow.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/6) 2)
(sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2))
(fabs.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(log.f64 (exp.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(expm1.f64 (log1p.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(log1p.f64 (expm1.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(exp.f64 (log.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)) 1)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 2) 1)
(.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 2))
(.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)))
(.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))))))
(.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))
(.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))))))
(.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 1/6))
(.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))))))
(sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 4))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(cbrt.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(exp.f64 (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))))
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)) 1)
(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 x (*.f64 27 y))))
(.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))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2) 1)
(.f64 1 (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2))
(.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))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 (.f64 x (*.f64 27 y)))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 27 y)) 2))
(.f64 (sqrt.f64 (.f64 x (.f64 27 y))) (pow.f64 (.f64 x (*.f64 27 y)) 1/6))
(.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)))))
(.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)))))
(.f64 (.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 x)) (cbrt.f64 (*.f64 27 y)))
(.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)))))
(.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))
(.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))
(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 4))
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(exp.f64 (.f64 2 (log.f64 (cbrt.f64 (.f64 x (*.f64 27 y))))))

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 (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 (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 (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 (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 (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 (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 (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 (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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 (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 (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 (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 (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 (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 (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 (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 (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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 x) (log.f64 (/.f64 -1 y)))))
(.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 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (pow.f64 (exp.f64 1/9) (+.f64 (log.f64 y) (log.f64 x))) 2) (pow.f64 (cbrt.f64 3) 2))
(.f64 (exp.f64 (.f64 (+.f64 (log.f64 y) (log.f64 x)) 2/9)) (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 (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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(.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 x) (log.f64 (/.f64 -1 y))) 2/9)))
(-.f64 (+.f64 1 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.f64 1 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.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))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.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))))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/6) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 1/6))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (.f64 27 y))))
(.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (.f64 y 27))))
(.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)))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 4))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 y 27))))) 2)))
(.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 4))) (fabs.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 y (*.f64 x 27)))))))
(.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))) (sqrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (*.f64 x 27)))) 4))))
(.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))) (sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y))))) 4)))
(.f64 (pow.f64 1 1/3) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(.f64 (pow.f64 (cbrt.f64 x) 1/3) (pow.f64 (cbrt.f64 (.f64 27 y)) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (.f64 y 27))))
(.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (.f64 27 y))))
(.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))
(.f64 (cbrt.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6)) (cbrt.f64 (pow.f64 (.f64 x (*.f64 y 27)) 1/6)))
(.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 x 27)) 1/6)) (cbrt.f64 (pow.f64 (.f64 y (*.f64 x 27)) 1/6)))
(pow.f64 (pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) 1/6) 4)
(pow.f64 (.f64 x (.f64 27 y)) 1/9)
(.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/18) (pow.f64 (.f64 x (*.f64 y 27)) 1/18))
(.f64 (pow.f64 (.f64 y (.f64 x 27)) 1/18) (pow.f64 (.f64 y (*.f64 x 27)) 1/18))
(.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/18) (pow.f64 (.f64 x (*.f64 27 y)) 1/18))
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/3)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 1)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2) 1/2)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(pow.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))) 3)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(pow.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/6) 2)
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(fabs.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(log.f64 (exp.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(expm1.f64 (log1p.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(log1p.f64 (expm1.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(exp.f64 (log.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))))
(+.f64 1 (-.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 1))
(+.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 0)
(cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27))))
(cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y))))
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.f64 1 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))) 2))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.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)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.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))))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.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))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.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))))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 1/6))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 1/6) (pow.f64 (.f64 x (*.f64 y 27)) 1/6))
(.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 1/6) (pow.f64 (.f64 y (*.f64 x 27)) 1/6))
(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 1/6) (pow.f64 (.f64 x (*.f64 27 y)) 1/6))
(.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))))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(sqrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 4))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(cbrt.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(exp.f64 (.f64 2 (log.f64 (cbrt.f64 (cbrt.f64 (.f64 x (*.f64 27 y)))))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 y 27)))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2) 0)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 x 27)))) 2)
(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
(-.f64 (+.f64 1 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 x (*.f64 27 y))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.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))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2) 1)
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 1 (pow.f64 (cbrt.f64 (.f64 x (*.f64 27 y))) 2))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.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))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 27 y)) (cbrt.f64 (.f64 x (*.f64 27 y)))))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 x (.f64 y 27))) (cbrt.f64 (*.f64 y 27))))
(.f64 (cbrt.f64 (.f64 y (.f64 x 27))) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 y 27))))
(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 27 y))))
(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 27 y)) 2))
(.f64 (pow.f64 (cbrt.f64 x) 2) (pow.f64 (cbrt.f64 (.f64 y 27)) 2))
(.f64 (sqrt.f64 (.f64 x (.f64 27 y))) (pow.f64 (.f64 x (*.f64 27 y)) 1/6))
(.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6) (sqrt.f64 (.f64 x (*.f64 y 27))))
(.f64 (pow.f64 (.f64 y (.f64 x 27)) 1/6) (sqrt.f64 (.f64 y (*.f64 x 27))))
(.f64 (pow.f64 (.f64 x (.f64 27 y)) 1/6) (sqrt.f64 (.f64 x (*.f64 27 y))))
(.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)))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.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)))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 (.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 x)) (cbrt.f64 (*.f64 27 y)))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 x (.f64 y 27))) (cbrt.f64 (*.f64 y 27))))
(.f64 (cbrt.f64 (.f64 y (.f64 x 27))) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 y 27))))
(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 27 y))))
(.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)))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.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))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(.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))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(sqrt.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 4))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(log.f64 (exp.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(cbrt.f64 (pow.f64 (.f64 x (.f64 y 27)) 2))
(cbrt.f64 (pow.f64 (.f64 y (.f64 x 27)) 2))
(expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(log1p.f64 (expm1.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)
(exp.f64 (.f64 2 (log.f64 (cbrt.f64 (.f64 x (*.f64 27 y))))))
(+.f64 1 (-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 y 27))) 2) 1))
(+.f64 (pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2) 0)
(pow.f64 (cbrt.f64 (.f64 y (.f64 x 27))) 2)
(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2)

localize18.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 43 to 30 computations (30.2% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite42.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

760×	`pow1_binary64`
709×	`add-log-exp_binary64`
708×	`log1p-expm1-u_binary64`
708×	`expm1-log1p-u_binary64`
693×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	7
1	208	7
2	2056	7

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

simplify51.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

773×	`log-prod_binary64`
618×	`distribute-rgt-in_binary64`
605×	`distribute-lft-in_binary64`
575×	`associate-l_binary64`
485×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	259
1	100	259
2	399	259
3	2845	259
4	7909	259

Stop Event

1×	node limit

Counts

37 → 14

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

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

eval217.0ms (7.4%)

Compiler: Compiled 11725 to 8770 computations (25.2% saved)

prune88.0ms (3%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	487	2	489
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	488	8	496

Error

Counts

496 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (.f64 (cbrt.f64 (*.f64 x 27)) (cbrt.f64 y)))
✓	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
✓	1.1b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
▶	1.0b	(.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 x (.f64 y 27))) (cbrt.f64 (.f64 y 27)))) (cbrt.f64 (.f64 x (.f64 27 y))))
✓	0.2b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 102 to 76 computations (25.5% saved)

localize35.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 85 to 56 computations (34.1% saved)

series3.0ms (0.1%)

Counts

2 → 0

Calls

9 calls:

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

rewrite46.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

700×	`pow1_binary64`
648×	`add-log-exp_binary64`
648×	`log1p-expm1-u_binary64`
648×	`expm1-log1p-u_binary64`
631×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	158	15
2	1788	15

Stop Event

1×	node limit

Counts

2 → 46

Calls

Call 1

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

Outputs

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

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

simplify278.0ms (9.5%)

Algorithm

1×	egg-herbie

Rules

391×	`exp-sum_binary64`
353×	`fma-def_binary64`
322×	`*-commutative_binary64`
321×	`fma-neg_binary64`
314×	`log-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	626
1	202	542
2	565	458
3	1864	443
4	5109	443

Stop Event

1×	node limit

Counts

46 → 65

Calls

Call 1

Inputs
(-.f64 (+.f64 1 (.f64 (cbrt.f64 (.f64 x y)) 3)) 1)
(.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3) 1)
(.f64 (.f64 (cbrt.f64 y) 3) (cbrt.f64 x))
(.f64 1 (.f64 (cbrt.f64 (*.f64 x y)) 3))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 y) 3))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)) 2))
(.f64 (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) 2) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)))
(.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6) (pow.f64 (.f64 x (*.f64 y 27)) 1/6))
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (pow.f64 1 1/3) (.f64 (cbrt.f64 (*.f64 x y)) 3))
(.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 2) 1/3) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)))
(.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 y 27))) 1/3) (pow.f64 (sqrt.f64 (.f64 x (*.f64 y 27))) 1/3))
(.f64 (pow.f64 (.f64 x y) 1/3) 3)
(.f64 (.f64 (cbrt.f64 x) 1) (*.f64 (cbrt.f64 y) 3))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729)))) (cbrt.f64 (*.f64 (cbrt.f64 y) 3)))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 y)) 3)
(.f64 (.f64 (cbrt.f64 x) (pow.f64 (.f64 y 27) 1/6)) (pow.f64 (.f64 y 27) 1/6))
(pow.f64 (.f64 x (.f64 y 27)) 1/3)
(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1)
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6) 2)
(sqrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 2))
(log.f64 (exp.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(exp.f64 (log.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(-.f64 (+.f64 1 (*.f64 (cbrt.f64 y) 3)) 1)
(.f64 (.f64 (cbrt.f64 y) 3) 1)
(.f64 1 (.f64 (cbrt.f64 y) 3))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 y) 3)) (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (.f64 (cbrt.f64 y) 3)))
(*.f64 (cbrt.f64 y) 3)
(*.f64 3 (cbrt.f64 y))
(.f64 (pow.f64 (.f64 y 27) 1/6) (pow.f64 (*.f64 y 27) 1/6))
(.f64 (pow.f64 1 1/3) (.f64 (cbrt.f64 y) 3))
(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 y y) 729)) 1/3) (cbrt.f64 (.f64 (cbrt.f64 y) 3)))
(.f64 (pow.f64 (sqrt.f64 (.f64 y 27)) 1/3) (pow.f64 (sqrt.f64 (*.f64 y 27)) 1/3))
(pow.f64 (*.f64 y 27) 1/3)
(pow.f64 (*.f64 (cbrt.f64 y) 3) 1)
(pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) 3)) 3)
(pow.f64 (pow.f64 (*.f64 y 27) 1/6) 2)
(sqrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729)))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) 3))
(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 y) 3)))
(log1p.f64 (expm1.f64 (*.f64 (cbrt.f64 y) 3)))
(exp.f64 (log.f64 (*.f64 (cbrt.f64 y) 3)))

Outputs
(-.f64 (+.f64 1 (.f64 (cbrt.f64 (.f64 x y)) 3)) 1)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3) 1)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (.f64 (cbrt.f64 y) 3) (cbrt.f64 x))
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 1 (.f64 (cbrt.f64 (*.f64 x y)) 3))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 y) 3))
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)) 2))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) 2) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6) (pow.f64 (.f64 x (*.f64 y 27)) 1/6))
(cbrt.f64 (.f64 x (.f64 y 27)))
(cbrt.f64 (.f64 y (.f64 x 27)))
(.f64 (cbrt.f64 (.f64 x y)) 3)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (pow.f64 1 1/3) (.f64 (cbrt.f64 (*.f64 x y)) 3))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 2) 1/3) (cbrt.f64 (.f64 (cbrt.f64 (*.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 y 27))) 1/3) (pow.f64 (sqrt.f64 (.f64 x (*.f64 y 27))) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x (.f64 y 27)))) (cbrt.f64 (sqrt.f64 (.f64 x (*.f64 y 27)))))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 y (.f64 x 27)))) (cbrt.f64 (sqrt.f64 (.f64 y (*.f64 x 27)))))
(pow.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 y 27))) 1/6) 4)
(.f64 (pow.f64 (.f64 x y) 1/3) 3)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(.f64 (.f64 (cbrt.f64 x) 1) (*.f64 (cbrt.f64 y) 3))
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729)))) (cbrt.f64 (*.f64 (cbrt.f64 y) 3)))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (*.f64 3 (cbrt.f64 y)))))
(.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y 729)))) (cbrt.f64 (*.f64 3 (cbrt.f64 y)))))
(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 y)) 3)
(.f64 3 (.f64 (cbrt.f64 y) (cbrt.f64 x)))
(.f64 (.f64 (cbrt.f64 x) (pow.f64 (.f64 y 27) 1/6)) (pow.f64 (.f64 y 27) 1/6))
(.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y 27)))
(pow.f64 (.f64 x (.f64 y 27)) 1/3)
(cbrt.f64 (.f64 x (.f64 y 27)))
(cbrt.f64 (.f64 y (.f64 x 27)))
(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(pow.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)) 3)
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 y 27)) 1/6) 2)
(cbrt.f64 (.f64 x (.f64 y 27)))
(cbrt.f64 (.f64 y (.f64 x 27)))
(sqrt.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 2))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(log.f64 (exp.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(expm1.f64 (log1p.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(log1p.f64 (expm1.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(exp.f64 (log.f64 (.f64 (cbrt.f64 (.f64 x y)) 3)))
(+.f64 1 (-.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 1))
(+.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 0)
(.f64 (cbrt.f64 (.f64 x y)) 3)
(-.f64 (+.f64 1 (*.f64 (cbrt.f64 y) 3)) 1)
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(.f64 (.f64 (cbrt.f64 y) 3) 1)
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(.f64 1 (.f64 (cbrt.f64 y) 3))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 y) 3)) (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y 729)))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (.f64 (cbrt.f64 y) 3)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y 729)))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(*.f64 (cbrt.f64 y) 3)
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(*.f64 3 (cbrt.f64 y))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(.f64 (pow.f64 (.f64 y 27) 1/6) (pow.f64 (*.f64 y 27) 1/6))
(cbrt.f64 (*.f64 y 27))
(.f64 (pow.f64 1 1/3) (.f64 (cbrt.f64 y) 3))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 y y) 729)) 1/3) (cbrt.f64 (.f64 (cbrt.f64 y) 3)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y (.f64 y 729)))) (cbrt.f64 (.f64 3 (cbrt.f64 y))))
(.f64 (pow.f64 (sqrt.f64 (.f64 y 27)) 1/3) (pow.f64 (sqrt.f64 (*.f64 y 27)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 y 27))) (cbrt.f64 (sqrt.f64 (*.f64 y 27))))
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 y 27)) 1/6) 4)
(pow.f64 (*.f64 y 27) 1/3)
(cbrt.f64 (*.f64 y 27))
(pow.f64 (*.f64 (cbrt.f64 y) 3) 1)
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 y) 3)) 3)
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(pow.f64 (pow.f64 (*.f64 y 27) 1/6) 2)
(cbrt.f64 (*.f64 y 27))
(sqrt.f64 (cbrt.f64 (.f64 (.f64 y y) 729)))
(sqrt.f64 (cbrt.f64 (.f64 y (.f64 y 729))))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 y)) 3))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 y) 3)))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(log1p.f64 (expm1.f64 (*.f64 (cbrt.f64 y) 3)))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))
(exp.f64 (log.f64 (*.f64 (cbrt.f64 y) 3)))
(+.f64 1 (-.f64 (*.f64 3 (cbrt.f64 y)) 1))
(+.f64 (*.f64 3 (cbrt.f64 y)) 0)
(*.f64 3 (cbrt.f64 y))

localize36.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 60 to 40 computations (33.3% saved)

series2.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite41.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

567×	`pow1_binary64`
525×	`add-log-exp_binary64`
525×	`log1p-expm1-u_binary64`
525×	`expm1-log1p-u_binary64`
511×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	135	9
2	1455	9

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

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

Outputs

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

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

simplify56.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1081×	`fma-neg_binary64`
404×	`fma-def_binary64`
330×	`*-commutative_binary64`
328×	`exp-sum_binary64`
326×	`exp-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	401
1	165	308
2	451	215
3	1649	206
4	4498	206
5	7981	206

Stop Event

1×	node limit

Counts

38 → 49

Calls

Call 1

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

Outputs
(-.f64 (+.f64 1 (*.f64 (cbrt.f64 x) 3)) 1)
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 (.f64 (cbrt.f64 x) 3) 1)
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 1 (.f64 (cbrt.f64 x) 3))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 (cbrt.f64 (.f64 (cbrt.f64 x) 3)) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) 3)) 2))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) 3)) 2) (cbrt.f64 (*.f64 (cbrt.f64 x) 3)))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(*.f64 (cbrt.f64 x) 3)
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(.f64 (pow.f64 (.f64 x 27) 1/6) (pow.f64 (*.f64 x 27) 1/6))
(cbrt.f64 (*.f64 x 27))
(*.f64 3 (cbrt.f64 x))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 (pow.f64 1 1/3) (.f64 (cbrt.f64 x) 3))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(.f64 (pow.f64 (.f64 (pow.f64 (cbrt.f64 x) 2) 9) 1/3) (cbrt.f64 (*.f64 (cbrt.f64 x) 3)))
(.f64 (cbrt.f64 (.f64 (cbrt.f64 x) 3)) (cbrt.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) 9)))
(.f64 (pow.f64 (sqrt.f64 (.f64 x 27)) 1/3) (pow.f64 (sqrt.f64 (*.f64 x 27)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (.f64 x 27))) (cbrt.f64 (sqrt.f64 (*.f64 x 27))))
(pow.f64 (pow.f64 (sqrt.f64 (*.f64 x 27)) 1/6) 4)
(pow.f64 (*.f64 x 27) 1/3)
(cbrt.f64 (*.f64 x 27))
(pow.f64 (*.f64 (cbrt.f64 x) 3) 1)
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) 3)) 3)
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(pow.f64 (pow.f64 (*.f64 x 27) 1/6) 2)
(cbrt.f64 (*.f64 x 27))
(sqrt.f64 (*.f64 (pow.f64 (cbrt.f64 x) 2) 9))
(log.f64 (pow.f64 (exp.f64 (cbrt.f64 x)) 3))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 x) 3)))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(log1p.f64 (expm1.f64 (*.f64 (cbrt.f64 x) 3)))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(exp.f64 (log.f64 (*.f64 (cbrt.f64 x) 3)))
(+.f64 1 (-.f64 (*.f64 (cbrt.f64 x) 3) 1))
(+.f64 (*.f64 (cbrt.f64 x) 3) 0)
(*.f64 (cbrt.f64 x) 3)
(-.f64 (+.f64 1 (cbrt.f64 y)) 1)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (cbrt.f64 y) 1)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 1 (cbrt.f64 y))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (cbrt.f64 (cbrt.f64 y)) (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (cbrt.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (pow.f64 y 1/6) (pow.f64 y 1/6))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (pow.f64 1 1/3) (cbrt.f64 y))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 1/3) (cbrt.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(*.f64 (pow.f64 (sqrt.f64 y) 1/3) (pow.f64 (sqrt.f64 y) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 y)) (cbrt.f64 (sqrt.f64 y)))
(pow.f64 (pow.f64 (sqrt.f64 y) 1/6) 4)
(pow.f64 y 1/3)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(pow.f64 (cbrt.f64 y) 1)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(pow.f64 (cbrt.f64 (cbrt.f64 y)) 3)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(pow.f64 (pow.f64 y 1/6) 2)
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(sqrt.f64 (pow.f64 (cbrt.f64 y) 2))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(log.f64 (exp.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(expm1.f64 (log1p.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(log1p.f64 (expm1.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)
(exp.f64 (log.f64 (cbrt.f64 y)))
(+.f64 (+.f64 1 (cbrt.f64 y)) -1)
(+.f64 (cbrt.f64 y) 0)
(cbrt.f64 y)

eval224.0ms (7.7%)

Compiler: Compiled 5377 to 3672 computations (31.7% saved)

prune43.0ms (1.5%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	235	8	243

Error

Counts

243 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (.f64 (cbrt.f64 (*.f64 x 27)) (cbrt.f64 y)))
✓	1.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
✓	1.1b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	1.0b	(.f64 (.f64 (cbrt.f64 x) (.f64 (cbrt.f64 (.f64 x (.f64 y 27))) (cbrt.f64 (.f64 y 27)))) (cbrt.f64 (.f64 x (.f64 27 y))))
✓	0.2b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 102 to 76 computations (25.5% saved)

regimes28.0ms (1%)

Accuracy

Total -1.6b remaining (-909.6%)

Threshold costs -1.6b (-909.6%)

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

4 calls:

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

Results

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

Compiler

Compiled 132 to 94 computations (28.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Stop Event

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

end32.0ms (1.1%)

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

Details

analyze44.0ms (1.5%)

sample795.0ms (27.2%)

preprocess15.0ms (0.5%)

simplify10.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series4.0ms (0.1%)

rewrite37.0ms (1.3%)

simplify44.0ms (1.5%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite35.0ms (1.2%)

simplify41.0ms (1.4%)

eval4.0ms (0.2%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite36.0ms (1.2%)

simplify38.0ms (1.3%)

localize12.0ms (0.4%)

series12.0ms (0.4%)

rewrite48.0ms (1.6%)

simplify45.0ms (1.6%)

eval28.0ms (1%)

prune16.0ms (0.5%)

localize14.0ms (0.5%)

series17.0ms (0.6%)

rewrite57.0ms (1.9%)

simplify61.0ms (2.1%)

localize38.0ms (1.3%)

series77.0ms (2.6%)

rewrite54.0ms (1.9%)

simplify62.0ms (2.1%)

localize18.0ms (0.6%)

series3.0ms (0.1%)

rewrite42.0ms (1.5%)

simplify51.0ms (1.7%)

eval217.0ms (7.4%)

prune88.0ms (3%)

localize35.0ms (1.2%)

series3.0ms (0.1%)

rewrite46.0ms (1.6%)

simplify278.0ms (9.5%)

localize36.0ms (1.2%)

series2.0ms (0.1%)

rewrite41.0ms (1.4%)

simplify56.0ms (1.9%)

eval224.0ms (7.7%)

prune43.0ms (1.5%)

regimes28.0ms (1%)

simplify2.0ms (0.1%)

soundness7.0ms (0.2%)

end32.0ms (1.1%)

Profiling