Details

analyze46.0ms (1.6%)

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)

sample630.0ms (21.7%)

Results

605.0ms	8256×	body	256	valid
14.0ms	153×	body	256	infinite

Bogosity

preprocess7.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

10×	`*-commutative`
6×	`associate-l`
4×	`associate-r`
2×	`swap-x-y`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26
2	19	26
3	19	26
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)

simplify59.0ms (2%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative`
4×	`associate-l`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	17	13
3	18	13

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

prune1.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.0b

Counts

4 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite59.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1322×	`add-sqr-sqrt`
1304×	`*-un-lft-identity`
1212×	`add-cube-cbrt`
1196×	`add-cbrt-cube`
1184×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	141	13
2	1634	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify88.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1020×	`log-prod`
1004×	`distribute-rgt-in`
992×	`distribute-lft-in`
752×	`associate-r`
650×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	455
1	100	455
2	328	455
3	1998	455
4	6828	455

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite72.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1322×	`add-sqr-sqrt`
1304×	`*-un-lft-identity`
1212×	`add-cube-cbrt`
1196×	`add-cbrt-cube`
1184×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	141	13
2	1634	13

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

simplify53.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1148×	`log-prod`
1024×	`associate-r`
958×	`distribute-rgt-in`
944×	`distribute-lft-in`
912×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	455
1	91	455
2	353	455
3	2519	455
4	7703	455

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite52.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1320×	`add-sqr-sqrt`
1302×	`*-un-lft-identity`
1210×	`add-cube-cbrt`
1194×	`add-cbrt-cube`
1182×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	141	13
2	1632	13

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

simplify40.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1464×	`distribute-rgt-in`
1454×	`distribute-lft-in`
1134×	`log-prod`
1022×	`associate-r`
906×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	455
1	87	455
2	348	455
3	2564	455

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

eval6.0ms (0.2%)

Compiler: Compiled 277 to 190 computations (31.4% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	35	2	37
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	35	5	40

Error

0.0b

Counts

40 → 5

Alt Table

Click to see full alt table

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

Compiler

Compiled 41 to 31 computations (24.4% saved)

localize12.0ms (0.4%)

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)
✓	8.1b	(cbrt.f64 (.f64 x (.f64 27 y)))

Compiler

Compiled 28 to 19 computations (32.1% saved)

series6.0ms (0.2%)

Counts

2 → 0

Calls

12 calls:

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

rewrite60.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1802×	`add-sqr-sqrt`
1768×	`*-un-lft-identity`
1664×	`add-cube-cbrt`
1644×	`add-cbrt-cube`
184×	`add-exp-log`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	226	30
2	2334	30

Stop Event

1×	node limit

Counts

2 → 66

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

simplify61.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1126×	`unswap-sqr`
998×	`cube-prod`
928×	`log-prod`
668×	`fabs-mul`
658×	`distribute-lft-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	140	1100
1	305	1100
2	1098	1100
3	4086	1082

Stop Event

1×	node limit

Counts

66 → 76

Calls

Call 1

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

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

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 26 to 11 computations (57.7% saved)

series6.0ms (0.2%)

Counts

3 → 0

Calls

18 calls:

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

rewrite64.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1794×	`add-sqr-sqrt`
1764×	`*-un-lft-identity`
1656×	`add-cube-cbrt`
1636×	`add-cbrt-cube`
186×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	51
1	206	41
2	2352	41

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

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

Outputs

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

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

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

simplify53.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1636×	`associate-+r+`
1492×	`associate-+l+`
1484×	`distribute-rgt-in`
1462×	`distribute-lft-in`
572×	`*-commutative`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	131	1383
1	272	1339
2	1044	1339
3	2799	1339

Stop Event

1×	node limit

Counts

63 → 78

Calls

Call 1

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

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

eval39.0ms (1.3%)

Compiler: Compiled 2008 to 1357 computations (32.4% saved)

prune23.0ms (0.8%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	164	2	166
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	164	7	171

Error

0.0b

Counts

171 → 7

Alt Table

Click to see full alt table

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

Compiler

Compiled 67 to 50 computations (25.4% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 29 to 20 computations (31% saved)

series14.0ms (0.5%)

Counts

3 → 36

Calls

15 calls:

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

rewrite60.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1820×	`add-sqr-sqrt`
1798×	`*-un-lft-identity`
1670×	`add-cube-cbrt`
1644×	`add-cbrt-cube`
190×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	41
1	198	41
2	2319	41

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

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

Outputs

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

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

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

simplify276.0ms (9.5%)

Algorithm

1×	egg-herbie

Rules

1862×	`associate-+r+`
1742×	`associate-+l+`
744×	`unswap-sqr`
454×	`*-commutative`
340×	`associate-/l*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	126	1725
1	272	1343
2	991	1335
3	3701	1335

Stop Event

1×	node limit

Counts

87 → 66

Calls

Call 1

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

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

localize249.0ms (8.6%)

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.3b	(.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)

series13.0ms (0.4%)

Counts

4 → 36

Calls

18 calls:

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

rewrite110.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1032×	`*-commutative`
1010×	`cbrt-prod`
922×	`sqrt-prod`
794×	`unswap-sqr`
656×	`swap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	46
1	242	46
2	2754	46

Stop Event

1×	node limit

Counts

4 → 100

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

simplify293.0ms (10.1%)

Algorithm

1×	egg-herbie

Rules

1096×	`distribute-rgt-in`
1092×	`distribute-lft-in`
824×	`times-frac`
740×	`associate-/l*`
608×	`associate-/r*`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	4294969562
1	590	2232
2	2343	2196

Stop Event

1×	node limit

Counts

136 → 129

Calls

Call 1

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

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

eval93.0ms (3.2%)

Compiler: Compiled 4565 to 2980 computations (34.7% saved)

prune47.0ms (1.6%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	276	1	277
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	276	8	284

Error

Counts

284 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 3)
✓	1.1b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	1.2b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
▶	18.3b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (.f64 (sqrt.f64 y) (sqrt.f64 27)))
✓	18.4b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.3b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 27 (.f64 x y))

Compiler

Compiled 81 to 61 computations (24.7% saved)

localize20.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 39 to 26 computations (33.3% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

9 calls:

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

rewrite68.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1122×	`*-commutative`
976×	`sqrt-prod`
920×	`unswap-sqr`
702×	`swap-sqr`
430×	`sqr-pow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	261	24
2	2804	24

Stop Event

1×	node limit

Counts

2 → 38

Calls

Call 1

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

Outputs

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

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

simplify56.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1772×	`associate-*r/`
1316×	`associate-*l/`
914×	`associate-+r+`
914×	`associate-/r*`
906×	`associate-+l+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	115	1502
1	298	1112
2	1003	1100
3	3204	1100

Stop Event

1×	node limit

Counts

62 → 57

Calls

Call 1

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

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

eval34.0ms (1.2%)

Compiler: Compiled 1643 to 1226 computations (25.4% saved)

prune17.0ms (0.6%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	107	8	115

Error

Counts

115 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	1.3b	(pow.f64 (.f64 (cbrt.f64 (.f64 x y)) 3) 3)
✓	1.1b	(pow.f64 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
✓	1.2b	(.f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 x) (*.f64 27 y)))
✓	18.3b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (.f64 (sqrt.f64 y) (sqrt.f64 27)))
✓	18.4b	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.3b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 27 y))
✓	0.2b	(.f64 27 (.f64 x y))

Compiler

Compiled 81 to 61 computations (24.7% saved)

regimes24.0ms (0.8%)

Accuracy

Total -19.1b remaining (-10186.5%)

Threshold costs -19.1b (-10186.5%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	(*.f64 x 27)
6.0ms	x
5.0ms	y
4.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 85 to 59 computations (30.6% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness17.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative`
4×	`associate-l`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	11	13
2	17	13
3	18	13

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end27.0ms (0.9%)

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

Details

analyze46.0ms (1.6%)

sample630.0ms (21.7%)

preprocess7.0ms (0.2%)

simplify59.0ms (2%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series4.0ms (0.1%)

rewrite59.0ms (2%)

simplify88.0ms (3%)

localize5.0ms (0.2%)

series0.0ms (0%)

rewrite72.0ms (2.5%)

simplify53.0ms (1.8%)

localize5.0ms (0.2%)

series0.0ms (0%)

rewrite52.0ms (1.8%)

simplify40.0ms (1.4%)

eval6.0ms (0.2%)

prune6.0ms (0.2%)

localize12.0ms (0.4%)

series6.0ms (0.2%)

rewrite60.0ms (2.1%)

simplify61.0ms (2.1%)

localize9.0ms (0.3%)

series6.0ms (0.2%)

rewrite64.0ms (2.2%)

simplify53.0ms (1.8%)

eval39.0ms (1.3%)

prune23.0ms (0.8%)

localize11.0ms (0.4%)

series14.0ms (0.5%)

rewrite60.0ms (2.1%)

simplify276.0ms (9.5%)

localize249.0ms (8.6%)

series13.0ms (0.4%)

rewrite110.0ms (3.8%)

simplify293.0ms (10.1%)

eval93.0ms (3.2%)

prune47.0ms (1.6%)

localize20.0ms (0.7%)

series3.0ms (0.1%)

rewrite68.0ms (2.3%)

simplify56.0ms (1.9%)

eval34.0ms (1.2%)

prune17.0ms (0.6%)

regimes24.0ms (0.8%)

simplify4.0ms (0.1%)

soundness17.0ms (0.6%)

end27.0ms (0.9%)

Profiling