Details

analyze52.0ms (1.4%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample925.0ms (25.2%)

Results

886.0ms	8256×	body	256	valid
14.0ms	146×	body	256	invalid

preprocess34.0ms (0.9%)

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)

simplify15.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite49.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify11.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

35 → 12

Calls

Call 1

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

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

localize11.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

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

rewrite56.0ms (1.5%)

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

eval9.0ms (0.3%)

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

prune10.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(.f64 27 (.f64 y x))
▶	14.8b	(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
✓	0.4b	(.f64 x (.f64 27 y))
▶	1.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 40 to 30 computations (25% saved)

localize24.0ms (0.7%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f64 (.f64 x (.f64 27 y)))
	0.4b	(.f64 x (.f64 27 y))
✓	1.2b	(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))

Compiler

Compiled 26 to 17 computations (34.6% saved)

series12.0ms (0.3%)

Counts

2 → 48

Calls

12 calls:

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

rewrite79.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

636×	`pow1_binary64`
588×	`expm1-log1p-u_binary64`
587×	`add-log-exp_binary64`
587×	`log1p-expm1-u_binary64`
575×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

Outputs

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

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

simplify82.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

765×	`associate-/r*_binary64`
578×	`associate--l+_binary64`
326×	`fma-def_binary64`
300×	`unswap-sqr_binary64`
290×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	900
1	269	868
2	806	862
3	3203	844

Stop Event

1×	node limit

Counts

98 → 80

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (+.f64 (.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4))) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y))))
(-.f64 (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y)))
(+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 y)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 y))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (+.f64 (.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4))) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x))))
(-.f64 (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (log.f64 (.f64 -27 x)))
(+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))

Outputs
(.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)
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))
(fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 (.f64 y y) (*.f64 x x))))
(fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 y (.f64 y (*.f64 x x)))))
(.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (*.f64 y x)))))
(.f64 (.f64 y x) (+.f64 27 (.f64 (.f64 y x) -729/2)))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 (.f64 y y) (.f64 x x)))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 y (.f64 y (.f64 x x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (.f64 y x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 y x) (+.f64 27 (.f64 (*.f64 y x) -729/2))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (+.f64 (.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4))) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -729/2 (.f64 (.f64 y y) (*.f64 x x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (fma.f64 -729/2 (.f64 y (.f64 y (.f64 x x))) (.f64 -531441/4 (*.f64 (pow.f64 y 4) (pow.f64 x 4))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (*.f64 y x)))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 (.f64 y x) (+.f64 27 (.f64 (.f64 y x) -729/2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))
(fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (*.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y))))
(+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x)))
(+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x)))
(+.f64 (log.f64 x) (+.f64 (log.f64 (.f64 27 y)) (/.f64 1/27 (.f64 y x))))
(+.f64 (log.f64 (.f64 27 y)) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 x)))
(-.f64 (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x))) (/.f64 1/1458 (.f64 (.f64 y y) (*.f64 x x))))
(+.f64 (+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (log.f64 (.f64 27 x)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 y)) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (log.f64 (.f64 27 y)) (+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 x) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))
(-.f64 (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 x))) (log.f64 (.f64 27 y))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (/.f64 1/59049 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (-.f64 (+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x))) (/.f64 1/1458 (.f64 (.f64 y y) (.f64 x x)))))
(+.f64 (+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x))) (-.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (/.f64 1/1458 (.f64 y (.f64 y (*.f64 x x))))))
(+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3))) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (log.f64 (.f64 27 y)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 x)) (-.f64 (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x) (/.f64 (/.f64 1/59049 (pow.f64 x 3)) (pow.f64 y 3)))))
(+.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/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (log.f64 (.f64 -27 y))))
(+.f64 (/.f64 1/27 (.f64 y x)) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27))))
(-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))) (log.f64 (/.f64 -1 x)))
(-.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (.f64 y -27)) (log.f64 (/.f64 -1 x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 y)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27)))) (/.f64 1/1458 (.f64 (.f64 y y) (*.f64 x x))))
(+.f64 (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))) (log.f64 (/.f64 -1 x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (-.f64 (log.f64 (.f64 y -27)) (log.f64 (/.f64 -1 x))) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (.f64 y -27)) (+.f64 (log.f64 (/.f64 -1 x)) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 x))) (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 y))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (+.f64 (/.f64 1/59049 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))))) (/.f64 1/1458 (.f64 (.f64 y y) (.f64 x x))))
(+.f64 (-.f64 (+.f64 (+.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (log.f64 (.f64 y -27))) (/.f64 1/27 (.f64 y x))) (log.f64 (/.f64 -1 x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (-.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27)))) (-.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (+.f64 (/.f64 (/.f64 1/59049 (pow.f64 x 3)) (pow.f64 y 3)) (log.f64 (.f64 y -27))) (+.f64 (log.f64 (/.f64 -1 x)) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))
(.f64 27 (.f64 y x))
(.f64 (.f64 27 y) x)
(+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))
(fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 (.f64 y y) (*.f64 x x))))
(fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 y (.f64 y (*.f64 x x)))))
(.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (*.f64 y x)))))
(.f64 (.f64 y x) (+.f64 27 (.f64 (.f64 y x) -729/2)))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 (.f64 y y) (.f64 x x)))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (.f64 -729/2 (.f64 y (.f64 y (.f64 x x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (.f64 y x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (.f64 (.f64 y x) (+.f64 27 (.f64 (*.f64 y x) -729/2))))
(+.f64 (.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (.f64 27 (.f64 y x)) (+.f64 (.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4))) (.f64 -729/2 (.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 -729/2 (.f64 (.f64 y y) (*.f64 x x))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 27 (.f64 y x) (fma.f64 -729/2 (.f64 y (.f64 y (.f64 x x))) (.f64 -531441/4 (*.f64 (pow.f64 y 4) (pow.f64 x 4))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 x (+.f64 (.f64 27 y) (.f64 -729/2 (.f64 y (*.f64 y x)))))))
(fma.f64 6561 (.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 -531441/4 (.f64 (pow.f64 y 4) (pow.f64 x 4)) (.f64 (.f64 y x) (+.f64 27 (.f64 (.f64 y x) -729/2)))))
(+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))
(fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (*.f64 27 y)))
(+.f64 (log.f64 (*.f64 27 y)) (log.f64 x))
(+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x))))
(+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x)))
(+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x)))
(+.f64 (log.f64 x) (+.f64 (log.f64 (.f64 27 y)) (/.f64 1/27 (.f64 y x))))
(+.f64 (log.f64 (.f64 27 y)) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 x)))
(-.f64 (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x))) (/.f64 1/1458 (.f64 (.f64 y y) (*.f64 x x))))
(+.f64 (+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (log.f64 (.f64 27 x)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 y)) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (log.f64 (.f64 27 y)) (+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 x) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))
(-.f64 (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (+.f64 (.f64 -1 (log.f64 (/.f64 1 y))) (log.f64 (.f64 27 x))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 (/.f64 1/59049 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (-.f64 (+.f64 (fma.f64 -1 (neg.f64 (log.f64 x)) (log.f64 (.f64 27 y))) (/.f64 1/27 (.f64 y x))) (/.f64 1/1458 (.f64 (.f64 y y) (.f64 x x)))))
(+.f64 (+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (/.f64 1/27 (.f64 y x))) (-.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (/.f64 1/1458 (.f64 y (.f64 y (*.f64 x x))))))
(+.f64 (+.f64 (log.f64 (.f64 27 y)) (log.f64 x)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3))) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (log.f64 (.f64 27 y)) (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 x)) (-.f64 (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x) (/.f64 (/.f64 1/59049 (pow.f64 x 3)) (pow.f64 y 3)))))
(+.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))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x))))
(+.f64 (/.f64 1/27 (.f64 y x)) (fma.f64 -1 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27))))
(-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))) (log.f64 (/.f64 -1 x)))
(-.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (.f64 y -27)) (log.f64 (/.f64 -1 x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x)))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27)))) (/.f64 1/1458 (.f64 (.f64 y y) (*.f64 x x))))
(+.f64 (-.f64 (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))) (log.f64 (/.f64 -1 x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (-.f64 (log.f64 (.f64 y -27)) (log.f64 (/.f64 -1 x))) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (.f64 y -27)) (+.f64 (log.f64 (/.f64 -1 x)) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))
(-.f64 (+.f64 (.f64 -1 (log.f64 (/.f64 -1 y))) (+.f64 (.f64 1/59049 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (+.f64 (.f64 1/27 (/.f64 1 (.f64 y x))) (log.f64 (.f64 -27 x))))) (.f64 1/1458 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 x)) (+.f64 (/.f64 1/59049 (.f64 (pow.f64 y 3) (pow.f64 x 3))) (+.f64 (/.f64 1/27 (.f64 y x)) (log.f64 (.f64 y -27))))) (/.f64 1/1458 (.f64 (.f64 y y) (.f64 x x))))
(+.f64 (-.f64 (+.f64 (+.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (log.f64 (.f64 y -27))) (/.f64 1/27 (.f64 y x))) (log.f64 (/.f64 -1 x))) (/.f64 -1/1458 (.f64 y (.f64 y (*.f64 x x)))))
(+.f64 (-.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (log.f64 (/.f64 -1 x)) (log.f64 (.f64 y -27)))) (-.f64 (/.f64 (/.f64 1/59049 (pow.f64 y 3)) (pow.f64 x 3)) (/.f64 (/.f64 1/1458 x) (.f64 y (.f64 y x)))))
(+.f64 (/.f64 1/27 (.f64 y x)) (-.f64 (+.f64 (/.f64 (/.f64 1/59049 (pow.f64 x 3)) (pow.f64 y 3)) (log.f64 (.f64 y -27))) (+.f64 (log.f64 (/.f64 -1 x)) (/.f64 (/.f64 1/1458 (.f64 x (.f64 y y))) x))))

localize10.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.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))

rewrite68.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 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))))))))

simplify13.0ms (0.4%)

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

localize180.0ms (4.9%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series171.0ms (4.7%)

Counts

2 → 0

Calls

12 calls:

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

rewrite253.0ms (6.9%)

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

simplify13.0ms (0.4%)

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

eval243.0ms (6.6%)

Compiler: Compiled 2339 to 1701 computations (27.3% saved)

prune29.0ms (0.8%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	175	3	178
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	175	8	183

Error

0.0b

Counts

183 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.2b	(.f64 27 (.f64 y x))
▶	14.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	14.8b	(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
✓	0.4b	(.f64 x (.f64 27 y))
▶	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	1.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 77 to 56 computations (27.3% saved)

localize16.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series13.0ms (0.4%)

Counts

3 → 36

Calls

15 calls:

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

rewrite63.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 49

Calls

Call 1

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

Outputs

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

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

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

simplify119.0ms (3.2%)

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

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

series11.0ms (0.3%)

Counts

2 → 36

Calls

12 calls:

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

rewrite86.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (*.f64 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))))))))

simplify168.0ms (4.6%)

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

localize27.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 18 computations (43.8% saved)

series28.0ms (0.8%)

Counts

4 → 36

Calls

18 calls:

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

rewrite77.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 63

Calls

Call 1

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

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

simplify174.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

818×	`unswap-sqr_binary64`
753×	`cube-prod_binary64`
629×	`sqr-pow_binary64`
498×	`unpow3_binary64`
492×	`cube-mult_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	276
1	32	276
2	66	276
3	118	276
4	282	276
5	903	276
6	1144	276
7	1470	276
8	2755	276
9	2859	276
10	3021	276
11	3233	276
12	3539	276
13	3970	276
14	4540	276
15	5222	276
16	6081	276
17	6746	276
18	7303	276
19	7867	276

Stop Event

1×	node limit

Counts

99 → 67

Calls

Call 1

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

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

eval100.0ms (2.7%)

Compiler: Compiled 2447 to 1625 computations (33.6% saved)

prune69.0ms (1.9%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	193	1	194
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	193	9	202

Error

0.0b

Counts

202 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.2b	(.f64 27 (.f64 y x))
✓	14.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
▶	24.1b	(.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (.f64 27 y)))
✓	14.8b	(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
✓	0.4b	(.f64 x (.f64 27 y))
✓	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	1.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 90 to 65 computations (27.8% saved)

localize38.0ms (1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 34 to 15 computations (55.9% saved)

series15.0ms (0.4%)

Counts

2 → 24

Calls

9 calls:

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

rewrite103.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

856×	`pow1_binary64`
792×	`add-log-exp_binary64`
792×	`log1p-expm1-u_binary64`
792×	`expm1-log1p-u_binary64`
772×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	199	13
2	2252	13

Stop Event

1×	node limit

Counts

2 → 36

Calls

Call 1

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

Outputs

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

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

simplify23.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

28×	`associate-l_binary64`
21×	`*-commutative_binary64`
21×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	188
1	23	188
2	50	188
3	83	188
4	93	188

Stop Event

1×

saturated

Counts

60 → 40

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

eval32.0ms (0.9%)

Compiler: Compiled 960 to 490 computations (49% saved)

prune26.0ms (0.7%)

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	75	9	84

Error

0.0b

Counts

84 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.9b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.2b	(.f64 27 (.f64 y x))
✓	14.6b	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	24.1b	(.f64 (cbrt.f64 (.f64 x x)) (.f64 (cbrt.f64 x) (.f64 27 y)))
✓	14.8b	(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
✓	0.4b	(.f64 x (.f64 27 y))
✓	1.4b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	1.5b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	0.2b	(.f64 (.f64 x 27) y)

Compiler

Compiled 90 to 65 computations (27.8% saved)

regimes63.0ms (1.7%)

Accuracy

Total -42.0b remaining (-18164.8%)

Threshold costs -42.0b (-18164.8%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

5 calls:

13.0ms	(*.f64 x 27)
13.0ms	(*.f64 x 27)
12.0ms	y
11.0ms	(.f64 (.f64 x 27) y)
8.0ms	x

Results

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

Compiler

Compiled 97 to 65 computations (33% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end23.0ms (0.6%)

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

Details

analyze52.0ms (1.4%)

sample925.0ms (25.2%)

preprocess34.0ms (0.9%)

simplify15.0ms (0.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite49.0ms (1.3%)

simplify11.0ms (0.3%)

localize11.0ms (0.3%)

series3.0ms (0.1%)

rewrite56.0ms (1.5%)

simplify18.0ms (0.5%)

eval9.0ms (0.3%)

prune10.0ms (0.3%)

localize24.0ms (0.7%)

series12.0ms (0.3%)

rewrite79.0ms (2.2%)

simplify82.0ms (2.2%)

localize10.0ms (0.3%)

series3.0ms (0.1%)

rewrite68.0ms (1.8%)

simplify13.0ms (0.4%)

localize180.0ms (4.9%)

series171.0ms (4.7%)

rewrite253.0ms (6.9%)

simplify13.0ms (0.4%)

eval243.0ms (6.6%)

prune29.0ms (0.8%)

localize16.0ms (0.4%)

series13.0ms (0.4%)

rewrite63.0ms (1.7%)

simplify119.0ms (3.2%)

localize10.0ms (0.3%)

series11.0ms (0.3%)

rewrite86.0ms (2.4%)

simplify168.0ms (4.6%)

localize27.0ms (0.7%)

series28.0ms (0.8%)

rewrite77.0ms (2.1%)

simplify174.0ms (4.7%)

eval100.0ms (2.7%)

prune69.0ms (1.9%)

localize38.0ms (1%)

series15.0ms (0.4%)

rewrite103.0ms (2.8%)

simplify23.0ms (0.6%)

eval32.0ms (0.9%)

prune26.0ms (0.7%)

regimes63.0ms (1.7%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end23.0ms (0.6%)

Profiling