Details

analyze59.0ms (1.8%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample935.0ms (29.2%)

Results

909.0ms	8256×	body	256	valid
14.0ms	155×	body	256	invalid

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(.f64 (.f64 x 27) y)
▶	0.5b	(.f64 x (.f64 27 y))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite43.0ms (1.4%)

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

simplify16.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

35 → 13

Calls

Call 1

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

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

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite42.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify13.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	168
1	10	168
2	17	168
3	19	168

Stop Event

1×

saturated

Counts

35 → 13

Calls

Call 1

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

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

eval7.0ms (0.2%)

Compiler: Compiled 192 to 138 computations (28.1% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	23	5	28

Error

0.0b

Counts

28 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

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

rewrite41.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

simplify6.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

11 → 11

Calls

Call 1

Inputs

Outputs

localize17.0ms (0.5%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series16.0ms (0.5%)

Counts

2 → 0

Calls

12 calls:

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

rewrite55.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 63

Calls

Call 1

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

Outputs

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

localize14.0ms (0.4%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series16.0ms (0.5%)

Counts

2 → 0

Calls

12 calls:

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

rewrite63.0ms (2%)

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

61 → 61

Calls

Call 1

Inputs

Outputs

eval70.0ms (2.2%)

Compiler: Compiled 1773 to 1289 computations (27.3% saved)

prune138.0ms (4.3%)

Pruning

10 alts after pruning (5 fresh and 5 done)

	Pruned	Kept	Total
New	156	5	161
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	156	10	166

Error

0.0b

Counts

166 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	48.4b	(.f64 (.f64 (*.f64 27 y) (sqrt.f64 x)) (sqrt.f64 x))
✓	1.3b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.5b	(.f64 (.f64 x 27) y)
▶	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
▶	14.9b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	30.0b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.5b	(.f64 x (.f64 27 y))
▶	24.3b	(.f64 (.f64 (.f64 x 27) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))

Compiler

Compiled 157 to 113 computations (28% saved)

localize11.0ms (0.4%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 26 to 11 computations (57.7% saved)

series13.0ms (0.4%)

Counts

3 → 0

Calls

18 calls:

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

rewrite57.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 56

Calls

Call 1

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

Outputs

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

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

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

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

56 → 56

Calls

Call 1

Inputs

Outputs

localize42.0ms (1.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series11.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite78.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

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

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

simplify107.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

684×	`fma-def_binary64`
678×	`fabs-mul_binary64`
632×	`cube-prod_binary64`
617×	`sqr-pow_binary64`
489×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	35	276
2	84	276
3	163	276
4	393	276
5	1334	276
6	1692	276
7	2065	276
8	2666	276
9	3119	276
10	3471	276
11	3827	276
12	4207	276
13	4676	276
14	5165	276
15	6476	276
16	7400	276

Stop Event

1×	node limit

Counts

63 → 32

Calls

Call 1

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

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

localize11.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series7.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite73.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

739×	`pow1_binary64`
683×	`add-log-exp_binary64`
683×	`log1p-expm1-u_binary64`
683×	`expm1-log1p-u_binary64`
667×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

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

simplify102.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-def_binary64`
607×	`*-commutative_binary64`
606×	`sqr-pow_binary64`
527×	`fabs-mul_binary64`
498×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	34	276
2	83	276
3	165	276
4	406	276
5	1427	276
6	1857	276
7	2212	276
8	3344	276
9	3812	276
10	4167	276
11	4540	276
12	4938	276
13	5336	276
14	5818	276
15	7262	276

Stop Event

1×	node limit

Counts

63 → 32

Calls

Call 1

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

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

localize17.0ms (0.5%)

Local error

Found 8 expressions with local error:

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

Compiler

Compiled 36 to 15 computations (58.3% saved)

series43.0ms (1.3%)

Counts

4 → 36

Calls

18 calls:

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

rewrite57.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

852×	`pow1_binary64`
788×	`add-log-exp_binary64`
788×	`log1p-expm1-u_binary64`
788×	`expm1-log1p-u_binary64`
768×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	28
1	199	28
2	2246	28

Stop Event

1×	node limit

Counts

4 → 69

Calls

Call 1

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

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

simplify104.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1011×	`cube-prod_binary64`
958×	`fabs-mul_binary64`
662×	`sqr-pow_binary64`
492×	`unswap-sqr_binary64`
440×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	332
1	48	332
2	101	332
3	222	332
4	602	332
5	746	332
6	909	332
7	1245	332
8	1896	332
9	2056	332
10	2284	332
11	2587	332
12	3021	332
13	3643	332
14	4450	332
15	5466	332
16	6352	332
17	7215	332

Stop Event

1×	node limit

Counts

105 → 75

Calls

Call 1

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

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

localize13.0ms (0.4%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series14.0ms (0.4%)

Counts

3 → 36

Calls

15 calls:

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

rewrite52.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Outputs

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

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

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

simplify90.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

581×	`fabs-mul_binary64`
545×	`fma-neg_binary64`
500×	`distribute-rgt-neg-in_binary64`
495×	`fma-def_binary64`
414×	`cube-prod_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	19	420
1	43	300
2	109	300
3	255	300
4	691	300
5	1097	300
6	1513	300
7	2041	300
8	2889	300
9	3810	300
10	4594	300
11	5531	300
12	6639	300

Stop Event

1×	node limit

Counts

85 → 54

Calls

Call 1

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

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

eval82.0ms (2.6%)

Compiler: Compiled 3257 to 1978 computations (39.3% saved)

prune49.0ms (1.5%)

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	269	2	271
Fresh	0	0	0
Picked	0	1	1
Done	3	6	9
Total	272	9	281

Error

0.0b

Counts

281 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
▶	37.8b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 (sqrt.f64 y) x) 27) 3)) (sqrt.f64 y))
✓	30.0b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	1.3b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.3b	(.f64 27 (.f64 y x))
▶	48.4b	(.f64 (.f64 y (*.f64 27 (sqrt.f64 x))) (sqrt.f64 x))
✓	0.5b	(.f64 x (.f64 27 y))

Compiler

Compiled 89 to 66 computations (25.8% saved)

localize11.0ms (0.4%)

Local error

Found 6 expressions with local error:

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

Compiler

Compiled 26 to 13 computations (50% saved)

series6.0ms (0.2%)

Counts

3 → 36

Calls

15 calls:

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

rewrite61.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 37

Calls

Call 1

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

Outputs

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

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

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

simplify103.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-def_binary64`
607×	`*-commutative_binary64`
606×	`sqr-pow_binary64`
527×	`fabs-mul_binary64`
498×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	34	276
2	83	276
3	165	276
4	406	276
5	1427	276
6	1857	276
7	2212	276
8	3344	276
9	3812	276
10	4167	276
11	4540	276
12	4938	276
13	5336	276
14	5818	276
15	7262	276

Stop Event

1×	node limit

Counts

73 → 42

Calls

Call 1

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

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

localize20.0ms (0.6%)

Local error

Found 8 expressions with local error:

New	Error	Program
	0.2b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 (sqrt.f64 y) x) 27) 3)) (sqrt.f64 y))
	0.2b	(pow.f64 (.f64 (.f64 (sqrt.f64 y) x) 27) 3)
	0.2b	(.f64 (.f64 (sqrt.f64 y) x) 27)
	0.2b	(*.f64 (sqrt.f64 y) x)
✓	0.2b	(.f64 (.f64 (sqrt.f64 y) x) 27)
✓	0.2b	(pow.f64 (.f64 (.f64 (sqrt.f64 y) x) 27) 3)
✓	0.2b	(.f64 (cbrt.f64 (pow.f64 (.f64 (*.f64 (sqrt.f64 y) x) 27) 3)) (sqrt.f64 y))
✓	27.3b	(cbrt.f64 (pow.f64 (.f64 (.f64 (sqrt.f64 y) x) 27) 3))

Compiler

Compiled 47 to 23 computations (51.1% saved)

series35.0ms (1.1%)

Counts

4 → 60

Calls

24 calls:

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

rewrite67.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

891×	`pow1_binary64`
832×	`add-log-exp_binary64`
832×	`log1p-expm1-u_binary64`
832×	`expm1-log1p-u_binary64`
811×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	229	37
2	2374	37

Stop Event

1×	node limit

Counts

4 → 84

Calls

Call 1

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

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

simplify92.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1097×	`fma-def_binary64`
471×	`associate-l_binary64`
460×	`unsub-neg_binary64`
369×	`cube-prod_binary64`
360×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	33	652
1	91	652
2	262	628
3	611	628
4	1820	628
5	3492	628
6	6106	628
7	7265	628
8	7891	628

Stop Event

1×	node limit

Counts

144 → 85

Calls

Call 1

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

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

eval44.0ms (1.4%)

Compiler: Compiled 1608 to 889 computations (44.7% saved)

prune32.0ms (1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	0	0	0
Picked	1	0	1
Done	1	7	8
Total	128	8	136

Error

0.0b

Counts

136 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.5b	(.f64 (.f64 x 27) y)
✓	48.4b	(.f64 (.f64 y (*.f64 27 (sqrt.f64 x))) (sqrt.f64 x))
	0.8b	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 y x)) 3) 3)
✓	1.3b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.5b	(.f64 x (.f64 27 y))

Compiler

Compiled 73 to 54 computations (26% saved)

regimes34.0ms (1.1%)

Accuracy

Total -48.3b remaining (-15128.9%)

Threshold costs -48.3b (-15128.9%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 77 to 51 computations (33.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Stop Event

1×

saturated

Calls

Call 1

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

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

end20.0ms (0.6%)

Stop Event

1×

fuel

Remove

(sort x y)

Compiler

Compiled 40 to 28 computations (30% saved)

Details

analyze59.0ms (1.8%)

sample935.0ms (29.2%)

preprocess21.0ms (0.7%)

simplify8.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.3%)

series4.0ms (0.1%)

rewrite43.0ms (1.4%)

simplify16.0ms (0.5%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite42.0ms (1.3%)

simplify13.0ms (0.4%)

eval7.0ms (0.2%)

prune6.0ms (0.2%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite41.0ms (1.3%)

simplify6.0ms (0.2%)

localize17.0ms (0.5%)

series16.0ms (0.5%)

rewrite55.0ms (1.7%)

simplify7.0ms (0.2%)

localize14.0ms (0.4%)

series16.0ms (0.5%)

rewrite63.0ms (2%)

simplify7.0ms (0.2%)

eval70.0ms (2.2%)

prune138.0ms (4.3%)

localize11.0ms (0.4%)

series13.0ms (0.4%)

rewrite57.0ms (1.8%)

simplify7.0ms (0.2%)

localize42.0ms (1.3%)

series11.0ms (0.3%)

rewrite78.0ms (2.4%)

simplify107.0ms (3.4%)

localize11.0ms (0.4%)

series7.0ms (0.2%)

rewrite73.0ms (2.3%)

simplify102.0ms (3.2%)

localize17.0ms (0.5%)

series43.0ms (1.3%)

rewrite57.0ms (1.8%)

simplify104.0ms (3.3%)

localize13.0ms (0.4%)

series14.0ms (0.4%)

rewrite52.0ms (1.6%)

simplify90.0ms (2.8%)

eval82.0ms (2.6%)

prune49.0ms (1.5%)

localize11.0ms (0.4%)

series6.0ms (0.2%)

rewrite61.0ms (1.9%)

simplify103.0ms (3.2%)

localize20.0ms (0.6%)

series35.0ms (1.1%)

rewrite67.0ms (2.1%)

simplify92.0ms (2.9%)

eval44.0ms (1.4%)

prune32.0ms (1%)

regimes34.0ms (1.1%)

simplify3.0ms (0.1%)

end20.0ms (0.6%)

Profiling