Details

analyze46.0ms (0.1%)

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)

sample643.0ms (1.2%)

Results

618.0ms	8256×	body	256	valid
14.0ms	140×	body	256	infinite

Bogosity

preprocess16.0ms (0%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series7.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 192 to 144 computations (25% saved)

rewrite34.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify42.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

localize5.0ms (0%)

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)

series4.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 192 to 144 computations (25% saved)

rewrite36.0ms (0.1%)

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

simplify42.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

eval4.0ms (0%)

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

prune3.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

26 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize5.0ms (0%)

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)

series3.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

Compiler

Compiled 192 to 144 computations (25% saved)

rewrite37.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify39.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

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

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

localize12.0ms (0%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 28 to 19 computations (32.1% saved)

series8.4s (15.7%)

Counts

2 → 0

Calls

12 calls:

Time	Variable		Point	Expression
1.4s	y	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.3s	x	@	-inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.2s	x	@	inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
1.0s	y	@	inf	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
890.0ms	y	@	0	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)

Compiler

Compiled 666112 to 549376 computations (17.5% saved)

rewrite52.0ms (0.1%)

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

simplify43.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit

Counts

63 → 74

Calls

Call 1

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

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

eval24.0ms (0%)

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

prune17.0ms (0%)

Pruning

7 alts after pruning (3 fresh and 4 done)

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

Error

0.0b

Counts

104 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 89 to 67 computations (24.7% saved)

localize15.0ms (0%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 32 to 18 computations (43.8% saved)

series6.6s (12.3%)

Counts

4 → 24

Calls

18 calls:

Time	Variable		Point	Expression
1.2s	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
906.0ms	x	@	inf	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
866.0ms	x	@	0	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
714.0ms	x	@	-inf	(pow.f64 (cbrt.f64 x) 2)
639.0ms	x	@	inf	(pow.f64 (cbrt.f64 x) 2)

Compiler

Compiled 574344 to 461796 computations (19.6% saved)

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

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

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

865×	`fma-def_binary64`
665×	`log-prod_binary64`
607×	`fma-neg_binary64`
360×	`*-commutative_binary64`
277×	`cube-prod_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	134	1061
1	292	705
2	1260	610
3	3747	607
4	7804	607

Stop Event

1×	node limit

Counts

87 → 78

Calls

Call 1

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

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

localize36.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 86 to 63 computations (26.7% saved)

series24.5s (45.8%)

Counts

3 → 0

Calls

18 calls:

Time	Variable		Point	Expression
2.7s	y	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
2.7s	x	@	-inf	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
2.5s	y	@	inf	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
2.2s	x	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)
2.1s	y	@	0	(pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x (.f64 27 y)))) 2)

Compiler

Compiled 1647616 to 1402880 computations (14.9% saved)

rewrite55.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

868×	`pow1_binary64`
803×	`add-log-exp_binary64`
803×	`log1p-expm1-u_binary64`
803×	`expm1-log1p-u_binary64`
783×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	223	37
2	2372	37

Stop Event

1×	node limit

Counts

3 → 60

Calls

Call 1

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

Outputs

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

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

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

simplify57.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

541×	`exp-prod_binary64`
531×	`fma-neg_binary64`
454×	`fma-def_binary64`
408×	`log-prod_binary64`
320×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	1128
1	243	978
2	855	829
3	2575	819
4	6622	819

Stop Event

1×	node limit

Counts

60 → 80

Calls

Call 1

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

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

localize17.0ms (0%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 43 to 30 computations (30.2% saved)

series6.3s (11.7%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.3s	x	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
1.3s	y	@	-inf	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
957.0ms	x	@	0	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
901.0ms	x	@	inf	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))
885.0ms	y	@	0	(.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 2) (cbrt.f64 (.f64 x (*.f64 27 y))))

Compiler

Compiled 505344 to 417792 computations (17.3% saved)

rewrite47.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

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

Outputs

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

simplify38.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

630×	`log-prod_binary64`
487×	`exp-sum_binary64`
468×	`distribute-rgt-in_binary64`
457×	`distribute-lft-in_binary64`
443×	`associate-l_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	169
1	96	130
2	369	91
3	2526	91
4	6709	91

Stop Event

1×	node limit

Counts

13 → 16

Calls

Call 1

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

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

eval243.0ms (0.5%)

Compiler: Compiled 9988 to 7428 computations (25.6% saved)

prune118.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	433	2	435
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	434	8	442

Error

Counts

442 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 102 to 76 computations (25.5% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 71 to 47 computations (33.8% saved)

series3.5s (6.6%)

Counts

2 → 0

Calls

9 calls:

Time	Variable		Point	Expression
718.0ms	y	@	-inf	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 27 y)))
469.0ms	y	@	inf	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 27 y)))
445.0ms	y	@	0	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 27 y)))
402.0ms	x	@	-inf	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 27 y)))
386.0ms	x	@	0	(.f64 (cbrt.f64 (.f64 x (.f64 27 y))) (cbrt.f64 (.f64 27 y)))

Compiler

Compiled 324608 to 271616 computations (16.3% saved)

rewrite46.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

808×	`pow1_binary64`
747×	`add-log-exp_binary64`
747×	`log1p-expm1-u_binary64`
747×	`expm1-log1p-u_binary64`
728×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	21
1	180	18
2	2079	18

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

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

Outputs

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

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

simplify39.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

922×	`fma-def_binary64`
490×	`unswap-sqr_binary64`
360×	`log-prod_binary64`
308×	`exp-prod_binary64`
284×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	67	462
1	128	390
2	376	318
3	1211	312
4	4273	312

Stop Event

1×	node limit

Counts

31 → 44

Calls

Call 1

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

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

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 60 to 40 computations (33.3% saved)

series1.8s (3.3%)

Counts

2 → 0

Calls

6 calls:

Time	Variable		Point	Expression
342.0ms	x	@	-inf	(cbrt.f64 (*.f64 x 27))
338.0ms	x	@	inf	(cbrt.f64 (*.f64 x 27))
320.0ms	x	@	0	(cbrt.f64 (*.f64 x 27))
304.0ms	y	@	-inf	(cbrt.f64 y)
259.0ms	y	@	0	(cbrt.f64 y)

Compiler

Compiled 156672 to 127488 computations (18.6% saved)

rewrite44.0ms (0.1%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

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

Outputs

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

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

simplify56.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

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

Stop Event

1×	node limit

Counts

38 → 49

Calls

Call 1

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

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

eval113.0ms (0.2%)

Compiler: Compiled 5408 to 3767 computations (30.3% saved)

prune56.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	237	1	238
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	238	8	246

Error

Counts

246 → 8

Alt Table

Click to see full alt table

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

Compiler

Compiled 99 to 73 computations (26.3% saved)

regimes45.0ms (0.1%)

Accuracy

Total -24.9b remaining (-13832.1%)

Threshold costs -24.9b (-13832.1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 150 to 105 computations (30% saved)

simplify2.0ms (0%)

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)

soundness8.0ms (0%)

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)

end51.0ms (0.1%)

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

Details

analyze46.0ms (0.1%)

sample643.0ms (1.2%)

preprocess16.0ms (0%)

simplify7.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0%)

series7.0ms (0%)

rewrite34.0ms (0.1%)

simplify42.0ms (0.1%)

localize5.0ms (0%)

series4.0ms (0%)

rewrite36.0ms (0.1%)

simplify42.0ms (0.1%)

eval4.0ms (0%)

prune3.0ms (0%)

localize5.0ms (0%)

series3.0ms (0%)

rewrite37.0ms (0.1%)

simplify39.0ms (0.1%)

localize12.0ms (0%)

series8.4s (15.7%)

rewrite52.0ms (0.1%)

simplify43.0ms (0.1%)

eval24.0ms (0%)

prune17.0ms (0%)

localize15.0ms (0%)

series6.6s (12.3%)

rewrite57.0ms (0.1%)

simplify62.0ms (0.1%)

localize36.0ms (0.1%)

series24.5s (45.8%)

rewrite55.0ms (0.1%)

simplify57.0ms (0.1%)

localize17.0ms (0%)

series6.3s (11.7%)

rewrite47.0ms (0.1%)

simplify38.0ms (0.1%)

eval243.0ms (0.5%)

prune118.0ms (0.2%)

localize29.0ms (0.1%)

series3.5s (6.6%)

rewrite46.0ms (0.1%)

simplify39.0ms (0.1%)

localize26.0ms (0%)

series1.8s (3.3%)

rewrite44.0ms (0.1%)

simplify56.0ms (0.1%)

eval113.0ms (0.2%)

prune56.0ms (0.1%)

regimes45.0ms (0.1%)

simplify2.0ms (0%)

soundness8.0ms (0%)

end51.0ms (0.1%)

Profiling