Details

analyze55.0ms (1.4%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.0s (27.2%)

Results

997.0ms	8256×	body	256	valid
13.0ms	152×	body	256	infinite

Bogosity

preprocess29.0ms (0.8%)

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)

simplify13.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series8.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite64.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify19.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 → 12

Calls

Call 1

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

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

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite63.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify18.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 → 12

Calls

Call 1

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

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

eval14.0ms (0.4%)

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

prune13.0ms (0.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	20	4	24
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	20	6	26

Error

0.0b

Counts

26 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 (.f64 x 27) y)
▶	28.5b	(exp.f64 (log.f64 (.f64 x (.f64 27 y))))
▶	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	26.3b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	0.3b	(.f64 27 (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))

Compiler

Compiled 50 to 38 computations (24% saved)

localize25.0ms (0.7%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.3b	(.f64 x (.f64 27 y))
✓	2.5b	(exp.f64 (log.f64 (.f64 x (.f64 27 y))))
✓	7.4b	(log.f64 (.f64 x (.f64 27 y)))

Compiler

Compiled 26 to 17 computations (34.6% saved)

series150.0ms (4%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
47.0ms	x	@	0	(log.f64 (.f64 x (.f64 27 y)))
37.0ms	x	@	-inf	(log.f64 (.f64 x (.f64 27 y)))
24.0ms	y	@	0	(log.f64 (.f64 x (.f64 27 y)))
15.0ms	y	@	-inf	(log.f64 (.f64 x (.f64 27 y)))
12.0ms	x	@	inf	(log.f64 (.f64 x (.f64 27 y)))

rewrite58.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

640×	`pow1_binary64`
590×	`add-log-exp_binary64`
590×	`log1p-expm1-u_binary64`
590×	`expm1-log1p-u_binary64`
578×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	16
1	146	16
2	1603	16

Stop Event

1×	node limit

Counts

2 → 59

Calls

Call 1

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

Outputs

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

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

simplify90.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

552×	`fma-neg_binary64`
408×	`fma-def_binary64`
134×	`distribute-rgt-in_binary64`
129×	`sub-neg_binary64`
128×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	37	464
1	78	456
2	119	456
3	310	456
4	808	456
5	1288	456
6	1818	456
7	2241	456
8	2461	456
9	2480	456

Stop Event

1×

saturated

Counts

107 → 65

Calls

Call 1

Inputs
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 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 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (log.f64 y) (log.f64 (*.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (*.f64 y -27)))
(-.f64 (log.f64 (*.f64 y -27)) (log.f64 (/.f64 -1 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 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)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

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

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

localize15.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series35.0ms (0.9%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
25.0ms	x	@	0	(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)
1.0ms	y	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.0ms	x	@	inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

63 → 63

Calls

Call 1

Inputs

Outputs

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series13.0ms (0.3%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
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)
1.0ms	x	@	0	(sqrt.f64 (.f64 x (.f64 27 y)))
1.0ms	y	@	-inf	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)

rewrite61.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

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

Outputs

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

61 → 61

Calls

Call 1

Inputs

Outputs

eval63.0ms (1.6%)

Compiler: Compiled 2564 to 1858 computations (27.5% saved)

prune46.0ms (1.2%)

Pruning

10 alts after pruning (4 fresh and 6 done)

	Pruned	Kept	Total
New	232	4	236
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	232	10	242

Error

Counts

242 → 10

Alt Table

Click to see full alt table

Status	Error	Program
▶	18.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.3b	(.f64 (.f64 x 27) y)
▶	18.7b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
▶	24.1b	(.f64 (.f64 x (cbrt.f64 (.f64 729 (.f64 y y)))) (*.f64 (cbrt.f64 y) 3))
▶	1.2b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	28.5b	(exp.f64 (log.f64 (.f64 x (.f64 27 y))))
✓	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	26.3b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))

Compiler

Compiled 102 to 75 computations (26.5% saved)

localize18.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 47 to 24 computations (48.9% saved)

series17.0ms (0.5%)

Counts

4 → 24

Calls

15 calls:

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

rewrite91.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

560×	`log-prod_binary64`
504×	`prod-exp_binary64`
401×	`exp-prod_binary64`
394×	`pow-prod-down_binary64`
325×	`pow-unpow_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	242	25
2	2815	25

Stop Event

1×	node limit

Counts

4 → 150

Calls

Call 1

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

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

simplify25.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

146×	`associate-l_binary64`
89×	`associate-r_binary64`
64×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	308
1	31	308
2	89	308
3	234	308
4	374	308
5	374	308

Stop Event

1×

saturated

Counts

174 → 154

Calls

Call 1

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

Outputs
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
(.f64 (.f64 3 y) (*.f64 (cbrt.f64 729) x))
(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
(.f64 -3 (.f64 y (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 729) x))))
(.f64 (.f64 -3 y) (.f64 (.f64 (cbrt.f64 -1) (cbrt.f64 729)) x))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 729) (.f64 x (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (.f64 x (.f64 (cbrt.f64 729) -3))))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 729) x))))
(.f64 (.f64 -3 y) (.f64 (.f64 (cbrt.f64 -1) (cbrt.f64 729)) x))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 729) (.f64 x (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (.f64 x (.f64 (cbrt.f64 729) -3))))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 729) x))))
(.f64 (.f64 -3 y) (.f64 (.f64 (cbrt.f64 -1) (cbrt.f64 729)) x))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 729) (.f64 x (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (.f64 x (.f64 (cbrt.f64 729) -3))))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 -1) (.f64 (cbrt.f64 729) x))))
(.f64 (.f64 -3 y) (.f64 (.f64 (cbrt.f64 -1) (cbrt.f64 729)) x))
(.f64 -3 (.f64 y (.f64 (cbrt.f64 729) (.f64 x (cbrt.f64 -1)))))
(.f64 y (.f64 (cbrt.f64 -1) (.f64 x (.f64 (cbrt.f64 729) -3))))

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series11.0ms (0.3%)

Counts

3 → 36

Calls

15 calls:

Time	Variable		Point	Expression
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	y	@	0	(.f64 x (sqrt.f64 (.f64 27 y)))
1.0ms	x	@	0	(.f64 x (sqrt.f64 (.f64 27 y)))

rewrite68.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Outputs

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

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

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

simplify116.0ms (3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

85 → 54

Calls

Call 1

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

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

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 25 to 13 computations (48% saved)

series7.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite60.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

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

simplify142.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	276
1	35	276
2	83	276
3	162	276
4	383	276
5	1269	276
6	1635	276
7	2008	276
8	2609	276
9	3063	276
10	3406	276
11	3782	276
12	4168	276
13	4638	276
14	5126	276
15	6449	276
16	7382	276

Stop Event

1×	node limit

Counts

63 → 31

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

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 20 computations (41.2% saved)

series12.0ms (0.3%)

Counts

3 → 36

Calls

15 calls:

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

rewrite61.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 42

Calls

Call 1

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

Outputs

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

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

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

simplify187.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	312
1	35	312
2	68	312
3	142	312
4	367	312
5	1146	312
6	1562	312
7	2294	312
8	2444	312
9	2670	312
10	2940	312
11	3341	312
12	3880	312
13	4545	312
14	5368	312
15	5980	312
16	6409	312
17	6796	312
18	7018	312
19	7130	312
20	7973	312

Stop Event

1×	node limit

Counts

78 → 46

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

eval124.0ms (3.3%)

Compiler: Compiled 5309 to 3444 computations (35.1% saved)

prune102.0ms (2.7%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	373	2	375
Fresh	0	0	0
Picked	0	1	1
Done	4	5	9
Total	377	8	385

Error

Counts

385 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 (.f64 x 27) y)
✓	1.2b	(.f64 (.f64 (*.f64 x 27) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))
✓	1.2b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
▶	0.9b	(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
▶	1.0b	(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
✓	26.3b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))

Compiler

Compiled 74 to 56 computations (24.3% saved)

localize24.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

series8.0ms (0.2%)

Counts

3 → 0

Calls

12 calls:

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

rewrite85.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

790×	`pow1_binary64`
735×	`add-log-exp_binary64`
735×	`log1p-expm1-u_binary64`
735×	`expm1-log1p-u_binary64`
719×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	182	18
2	2077	18

Stop Event

1×	node limit

Counts

3 → 25

Calls

Call 1

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

Outputs

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

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

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

25 → 25

Calls

Call 1

Inputs

Outputs

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 25 to 19 computations (24% saved)

series4.0ms (0.1%)

Counts

2 → 36

Calls

9 calls:

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

rewrite59.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

786×	`pow1_binary64`
731×	`add-log-exp_binary64`
731×	`log1p-expm1-u_binary64`
731×	`expm1-log1p-u_binary64`
714×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	182	11
2	2079	11

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify18.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

26×	`associate-l_binary64`
16×	`associate-r_binary64`
13×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	396
1	20	396
2	44	396
3	76	396
4	78	396

Stop Event

1×

saturated

Counts

62 → 29

Calls

Call 1

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

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

eval13.0ms (0.3%)

Compiler: Compiled 488 to 358 computations (26.6% saved)

prune12.0ms (0.3%)

Pruning

9 alts after pruning (3 fresh and 6 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	0	1	1
Done	2	5	7
Total	54	9	63

Error

Counts

63 → 9

Alt Table

Click to see full alt table

Status	Error	Program
	26.1b	(.f64 (-.f64 (+.f64 1 (.f64 y 27)) 1) x)
✓	0.3b	(.f64 (.f64 x 27) y)
✓	26.3b	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
	0.3b	(.f64 3 (.f64 y (*.f64 9 x)))
	0.3b	(.f64 (.f64 (*.f64 3 y) 9) x)
✓	0.9b	(.f64 (.f64 (*.f64 3 y) (cbrt.f64 729)) x)
✓	1.0b	(.f64 3 (.f64 y (*.f64 (cbrt.f64 729) x)))
✓	0.3b	(.f64 27 (.f64 y x))
✓	0.3b	(.f64 x (.f64 27 y))

Compiler

Compiled 80 to 62 computations (22.5% saved)

regimes193.0ms (5.1%)

Accuracy

Total -52.8b remaining (-20186.7%)

Threshold costs -52.8b (-20186.7%)

Counts

15 → 1

Calls

Call 1

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

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

Calls

5 calls:

151.0ms	x
10.0ms	(*.f64 x 27)
9.0ms	y
9.0ms	(*.f64 x 27)
8.0ms	(.f64 (.f64 x 27) y)

Results

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

Compiler

Compiled 146 to 102 computations (30.1% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	12	14

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness159.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 14 to 10 computations (28.6% saved)

end53.0ms (1.4%)

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

Details

analyze55.0ms (1.4%)

sample1.0s (27.2%)

preprocess29.0ms (0.8%)

simplify13.0ms (0.3%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize11.0ms (0.3%)

series8.0ms (0.2%)

rewrite64.0ms (1.7%)

simplify19.0ms (0.5%)

localize11.0ms (0.3%)

series3.0ms (0.1%)

rewrite63.0ms (1.7%)

simplify18.0ms (0.5%)

eval14.0ms (0.4%)

prune13.0ms (0.3%)

localize25.0ms (0.7%)

series150.0ms (4%)

rewrite58.0ms (1.5%)

simplify90.0ms (2.4%)

localize6.0ms (0.2%)

series2.0ms (0%)

rewrite50.0ms (1.3%)

simplify9.0ms (0.2%)

localize15.0ms (0.4%)

series35.0ms (0.9%)

rewrite63.0ms (1.7%)

simplify8.0ms (0.2%)

localize12.0ms (0.3%)

series13.0ms (0.3%)

rewrite61.0ms (1.6%)

simplify8.0ms (0.2%)

eval63.0ms (1.6%)

prune46.0ms (1.2%)

localize18.0ms (0.5%)

series17.0ms (0.5%)

rewrite91.0ms (2.4%)

simplify25.0ms (0.7%)

localize12.0ms (0.3%)

series11.0ms (0.3%)

rewrite68.0ms (1.8%)

simplify116.0ms (3%)

localize11.0ms (0.3%)

series7.0ms (0.2%)

rewrite60.0ms (1.6%)

simplify142.0ms (3.7%)

localize16.0ms (0.4%)

series12.0ms (0.3%)

rewrite61.0ms (1.6%)

simplify187.0ms (4.9%)

eval124.0ms (3.3%)

prune102.0ms (2.7%)

localize24.0ms (0.6%)

series8.0ms (0.2%)

rewrite85.0ms (2.2%)

simplify8.0ms (0.2%)

localize12.0ms (0.3%)

series4.0ms (0.1%)

rewrite59.0ms (1.6%)

simplify18.0ms (0.5%)

eval13.0ms (0.3%)

prune12.0ms (0.3%)

regimes193.0ms (5.1%)

simplify4.0ms (0.1%)

soundness159.0ms (4.2%)

end53.0ms (1.4%)

Profiling