Details

analyze46.0ms (2.2%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample634.0ms (30.1%)

Results

612.0ms	8256×	body	256	valid
10.0ms	132×	body	256	infinite

Bogosity

preprocess15.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.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.1%)

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)

localize5.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.2%)

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.8%)

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

simplify42.0ms (2%)

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

rewrite36.0ms (1.7%)

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

simplify50.0ms (2.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)

prune4.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	26.5b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.2b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
▶	0.2b	(.f64 27 (.f64 y x))
▶	29.2b	(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize12.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series17.0ms (0.8%)

Counts

2 → 48

Calls

12 calls:

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

rewrite50.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

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

Outputs

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

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

simplify57.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

815×	`exp-prod_binary64`
689×	`unswap-sqr_binary64`
600×	`fma-neg_binary64`
475×	`log-prod_binary64`
348×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1389
1	357	1128
2	1387	1023
3	5497	1013

Stop Event

1×	node limit

Counts

112 → 75

Calls

Call 1

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

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

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

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

rewrite36.0ms (1.7%)

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

simplify39.0ms (1.8%)

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.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series15.0ms (0.7%)

Counts

2 → 0

Calls

12 calls:

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

rewrite44.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

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

Outputs

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

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

simplify42.0ms (2%)

Algorithm

1×	egg-herbie

Rules

620×	`distribute-rgt-in_binary64`
594×	`distribute-lft-in_binary64`
553×	`fma-def_binary64`
464×	`unswap-sqr_binary64`
358×	`log-prod_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	135	861
1	296	705
2	1039	549
3	3560	549

Stop Event

1×	node limit

Counts

61 → 76

Calls

Call 1

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

eval41.0ms (2%)

Compiler: Compiled 2026 to 1442 computations (28.8% saved)

prune22.0ms (1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	187	2	189
Fresh	0	0	0
Picked	0	1	1
Done	1	3	4
Total	188	6	194

Error

0.0b

Counts

194 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.5b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.2b	(.f64 (.f64 x 27) y)
▶	23.9b	(.f64 (cbrt.f64 (.f64 (.f64 729 y) y)) (.f64 x (*.f64 3 (cbrt.f64 y))))
▶	0.7b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 27 (.f64 y x))

Compiler

Compiled 54 to 40 computations (25.9% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 16 to 9 computations (43.8% saved)

series2.0ms (0.1%)

Counts

2 → 0

Calls

6 calls:

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

rewrite42.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify43.0ms (2%)

Algorithm

1×	egg-herbie

Rules

627×	`log-prod_binary64`
617×	`fma-neg_binary64`
441×	`fma-def_binary64`
394×	`associate-l_binary64`
347×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	60	296
1	128	233
2	477	170
3	2639	170
4	6605	170

Stop Event

1×	node limit

Counts

26 → 32

Calls

Call 1

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

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

localize18.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (.f64 (.f64 729 y) y)) (.f64 x (*.f64 3 (cbrt.f64 y))))
✓	0.3b	(*.f64 3 (cbrt.f64 y))
✓	0.6b	(cbrt.f64 y)
✓	28.7b	(cbrt.f64 (.f64 (.f64 729 y) y))

Compiler

Compiled 45 to 27 computations (40% saved)

series19.0ms (0.9%)

Counts

4 → 24

Calls

15 calls:

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

rewrite58.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

597×	`log-prod_binary64`
434×	`exp-prod_binary64`
418×	`pow-prod-down_binary64`
364×	`pow-unpow_binary64`
273×	`pow2_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	241	25
2	2796	25

Stop Event

1×	node limit

Counts

4 → 143

Calls

Call 1

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

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

simplify70.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

784×	`log-prod_binary64`
583×	`exp-prod_binary64`
356×	`exp-sum_binary64`
304×	`log-pow_binary64`
258×	`sqr-pow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	321	4294968845
1	676	1500
2	2249	1500
3	6145	1500

Stop Event

1×	node limit

Counts

167 → 184

Calls

Call 1

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

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

eval146.0ms (6.9%)

Compiler: Compiled 3197 to 2197 computations (31.3% saved)

prune100.0ms (4.7%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	214	2	216
Fresh	0	0	0
Picked	0	1	1
Done	1	4	5
Total	215	7	222

Error

Counts

222 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	1.0b	(.f64 (.f64 (cbrt.f64 729) x) (*.f64 3 y))
✓	0.2b	(.f64 (.f64 x 27) y)
▶	0.7b	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	23.9b	(.f64 (cbrt.f64 (.f64 (.f64 729 y) y)) (.f64 x (*.f64 3 (cbrt.f64 y))))
✓	0.7b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 27 (.f64 y x))

Compiler

Compiled 63 to 47 computations (25.4% saved)

localize10.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 20 to 13 computations (35% saved)

series5.0ms (0.3%)

Counts

2 → 0

Calls

6 calls:

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

rewrite44.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

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

Outputs

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

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

simplify43.0ms (2%)

Algorithm

1×	egg-herbie

Rules

661×	`log-prod_binary64`
595×	`exp-sum_binary64`
341×	`unswap-sqr_binary64`
329×	`distribute-rgt-in_binary64`
329×	`fma-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	80	406
1	179	325
2	664	244
3	2150	244
4	5993	238

Stop Event

1×	node limit

Counts

33 → 43

Calls

Call 1

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

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

localize10.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 729) x) (*.f64 3 y))
✓	1.0b	(cbrt.f64 729)

Compiler

Compiled 23 to 17 computations (26.1% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite45.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

788×	`pow1_binary64`
733×	`add-log-exp_binary64`
733×	`log1p-expm1-u_binary64`
733×	`expm1-log1p-u_binary64`
717×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	15
1	182	8
2	2072	8

Stop Event

1×	node limit

Counts

2 → 14

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x . 9)))))

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

simplify56.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

549×	`log-prod_binary64`
548×	`associate-l_binary64`
521×	`exp-sum_binary64`
492×	`associate-r_binary64`
252×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	458
1	112	419
2	452	380
3	2927	380
4	6288	380

Stop Event

1×	node limit

Counts

38 → 21

Calls

Call 1

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

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

eval21.0ms (1%)

Compiler: Compiled 641 to 471 computations (26.5% saved)

prune10.0ms (0.5%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	64	7	71

Error

Counts

71 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.0b	(.f64 (.f64 (cbrt.f64 729) x) (*.f64 3 y))
✓	0.2b	(.f64 (.f64 x 27) y)
	0.3b	(.f64 (.f64 9 x) (*.f64 3 y))
✓	0.7b	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	0.7b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 27 (.f64 y x))

Compiler

Compiled 57 to 43 computations (24.6% saved)

regimes45.0ms (2.1%)

Accuracy

Total -46.8b remaining (-22208.1%)

Threshold costs -46.8b (-22208.1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

24.0ms	y
6.0ms	(*.f64 x 27)
5.0ms	x
5.0ms	(.f64 (.f64 x 27) 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 92 to 63 computations (31.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness8.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 14 to 10 computations (28.6% saved)

end12.0ms (0.6%)

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

Details

analyze46.0ms (2.2%)

sample634.0ms (30.1%)

preprocess15.0ms (0.7%)

simplify7.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series4.0ms (0.2%)

rewrite37.0ms (1.8%)

simplify42.0ms (2%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite36.0ms (1.7%)

simplify50.0ms (2.4%)

eval4.0ms (0.2%)

prune4.0ms (0.2%)

localize12.0ms (0.6%)

series17.0ms (0.8%)

rewrite50.0ms (2.4%)

simplify57.0ms (2.7%)

localize7.0ms (0.3%)

series1.0ms (0.1%)

rewrite36.0ms (1.7%)

simplify39.0ms (1.8%)

localize12.0ms (0.6%)

series15.0ms (0.7%)

rewrite44.0ms (2.1%)

simplify42.0ms (2%)

eval41.0ms (2%)

prune22.0ms (1%)

localize7.0ms (0.3%)

series2.0ms (0.1%)

rewrite42.0ms (2%)

simplify43.0ms (2%)

localize18.0ms (0.9%)

series19.0ms (0.9%)

rewrite58.0ms (2.8%)

simplify70.0ms (3.3%)

eval146.0ms (6.9%)

prune100.0ms (4.7%)

localize10.0ms (0.5%)

series5.0ms (0.3%)

rewrite44.0ms (2.1%)

simplify43.0ms (2%)

localize10.0ms (0.5%)

series3.0ms (0.1%)

rewrite45.0ms (2.2%)

simplify56.0ms (2.7%)

eval21.0ms (1%)

prune10.0ms (0.5%)

regimes45.0ms (2.1%)

simplify2.0ms (0.1%)

soundness8.0ms (0.4%)

end12.0ms (0.6%)

Profiling