Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 8 to 6 computations (25% saved)

sample621.0ms (20.1%)

Results

535.0ms	7230×	body	256	valid
75.0ms	1026×	body	256	infinite

Bogosity

preprocess15.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify12.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
6×	`associate-r`
6×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Accurracy

99.9%

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(.f64 (.f64 x 27) y)
▶	99.7%	(.f64 x (.f64 27 y))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize21.0ms (0.7%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(.f64 x (.f64 27 y))

Compiler

Compiled 14 to 9 computations (35.7% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite55.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1304×	`pow1`
1198×	`add-exp-log`
1198×	`log1p-expm1-u`
1198×	`expm1-log1p-u`
1172×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify58.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1208×	`log-prod`
924×	`associate-r`
872×	`exp-sum`
856×	`distribute-lft-out`
794×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	455
1	89	455
2	351	455
3	2442	455
4	6291	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 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(log.f64 (pow.f64 (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 (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))
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 27 (.f64 y x))
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(.f64 27 (.f64 y x))
(log.f64 (pow.f64 (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))

localize21.0ms (0.7%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.6%	(.f64 (.f64 x 27) y)

Compiler

Compiled 14 to 9 computations (35.7% 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)

rewrite58.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1302×	`pow1`
1196×	`add-exp-log`
1196×	`log1p-expm1-u`
1196×	`expm1-log1p-u`
1170×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify58.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1198×	`distribute-rgt-in`
1196×	`log-prod`
1184×	`distribute-lft-in`
912×	`associate-r`
868×	`exp-sum`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	455
1	85	455
2	339	455
3	2426	455
4	7147	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 (cbrt.f64 (.f64 x (.f64 27 y))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 27 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(log.f64 (pow.f64 (exp.f64 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 (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))
(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
(.f64 27 (.f64 y x))
(sqrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 2))
(.f64 27 (.f64 y x))
(log.f64 (pow.f64 (exp.f64 y) (*.f64 x 27)))
(.f64 27 (.f64 y x))
(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))
(.f64 27 (.f64 y x))
(expm1.f64 (log1p.f64 (.f64 x (.f64 27 y))))
(.f64 27 (.f64 y x))
(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))

eval5.0ms (0.1%)

Compiler: Compiled 182 to 132 computations (27.5% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Accurracy

100.0%

Counts

26 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(.f64 (.f64 x 27) y)
✓	99.7%	(.f64 x (.f64 27 y))
▶	99.6%	(.f64 27 (.f64 y x))
▶	57.8%	(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize49.0ms (1.6%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(pow.f64 (.f64 x (.f64 27 y)) 3)
✓	57.8%	(cbrt.f64 (pow.f64 (.f64 x (.f64 27 y)) 3))

Compiler

Compiled 30 to 21 computations (30% saved)

series13.0ms (0.4%)

Counts

2 → 48

Calls

12 calls:

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

rewrite65.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1788×	`pow1`
1662×	`add-exp-log`
1662×	`log1p-expm1-u`
1662×	`expm1-log1p-u`
1626×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	32
1	228	32
2	2387	32

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

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

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

simplify531.0ms (17.2%)

Algorithm

1×	egg-herbie

Rules

1574×	`exp-prod`
1522×	`cube-prod`
976×	`fabs-mul`
964×	`log-prod`
940×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	151	2328
1	364	2112
2	1481	1896
3	4471	1896

Stop Event

1×	node limit

Counts

112 → 76

Calls

Call 1

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

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

localize20.0ms (0.7%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.6%	(.f64 27 (.f64 y x))

Compiler

Compiled 14 to 7 computations (50% saved)

series0.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite124.0ms (4%)

Algorithm

1×	batch-egg-rewrite

Rules

1304×	`pow1`
1198×	`add-exp-log`
1198×	`log1p-expm1-u`
1198×	`expm1-log1p-u`
1172×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

simplify56.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2132×	`log-prod`
928×	`exp-sum`
778×	`distribute-rgt-in`
770×	`distribute-lft-in`
630×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	37	275
1	97	209
2	304	143
3	1852	143
4	5574	143

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

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

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

eval46.0ms (1.5%)

Compiler: Compiled 1056 to 762 computations (27.8% saved)

prune56.0ms (1.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	99	3	102
Fresh	0	0	0
Picked	0	1	1
Done	1	2	3
Total	100	6	106

Accurracy

100.0%

Counts

106 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	75.2%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.6%	(.f64 (.f64 x 27) y)
▶	98.9%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
▶	57.8%	(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))

Compiler

Compiled 50 to 36 computations (28% saved)

localize293.0ms (9.5%)

Local Accuracy

Found 3 expressions with local accuracy:

New	Accuracy	Program
	99.6%	(.f64 27 (.f64 y x))
✓	99.6%	(pow.f64 (.f64 27 (.f64 y x)) 3)
✓	57.8%	(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))

Compiler

Compiled 30 to 17 computations (43.3% saved)

series1.0ms (0%)

Counts

2 → 48

Calls

12 calls:

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

rewrite67.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1782×	`pow1`
1656×	`add-exp-log`
1656×	`log1p-expm1-u`
1656×	`expm1-log1p-u`
1620×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	32
1	228	32
2	2357	32

Stop Event

1×	node limit

Counts

2 → 61

Calls

Call 1

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

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

simplify83.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

2020×	`fma-def`
1800×	`cube-prod`
1134×	`fabs-mul`
1016×	`distribute-lft-in`
734×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	2245
1	388	2053
2	1270	1861
3	4190	1861

Stop Event

1×	node limit

Counts

109 → 73

Calls

Call 1

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

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

localize45.0ms (1.5%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.6%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	98.4%	(cbrt.f64 19683)

Compiler

Compiled 17 to 10 computations (41.2% saved)

series1.0ms (0%)

Counts

2 → 0

Calls

6 calls:

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

rewrite63.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1612×	`pow1`
1484×	`add-exp-log`
1484×	`log1p-expm1-u`
1484×	`expm1-log1p-u`
1450×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	176	22
2	2035	22

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

Inputs
(cbrt.f64 19683)
(.f64 (cbrt.f64 19683) (.f64 y x))

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

simplify75.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1386×	`fma-def`
1166×	`log-prod`
1056×	`distribute-rgt-in`
1050×	`distribute-lft-in`
732×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	60	566
1	124	440
2	442	314
3	2502	314
4	7730	314

Stop Event

1×	node limit

Counts

26 → 32

Calls

Call 1

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

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

localize32.0ms (1%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.7%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	99.6%	(.f64 (.f64 x 27) (sqrt.f64 y))

Compiler

Compiled 26 to 14 computations (46.2% saved)

series5.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite61.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1820×	`pow1`
1672×	`add-exp-log`
1672×	`log1p-expm1-u`
1672×	`expm1-log1p-u`
1634×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	200	30
2	2331	30

Stop Event

1×	node limit

Counts

2 → 27

Calls

Call 1

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

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

simplify69.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1068×	`distribute-rgt-in`
1036×	`distribute-lft-in`
1018×	`fma-def`
1008×	`log-prod`
802×	`associate-+r+`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	1001
1	204	1001
2	818	1001
3	2367	999
4	7855	999

Stop Event

1×	node limit

Counts

63 → 39

Calls

Call 1

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

eval45.0ms (1.5%)

Compiler: Compiled 1600 to 999 computations (37.6% saved)

prune62.0ms (2%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	0	0	0
Picked	1	0	1
Done	0	5	5
Total	158	6	164

Accurracy

100.0%

Counts

164 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(.f64 (.f64 x 27) y)
▶	98.9%	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	98.9%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
✓	57.8%	(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))

Compiler

Compiled 48 to 36 computations (25% saved)

localize37.0ms (1.2%)

Local Accuracy

Found 2 expressions with local accuracy:

New	Accuracy	Program
✓	99.6%	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	98.4%	(cbrt.f64 387420489)

Compiler

Compiled 21 to 14 computations (33.3% saved)

series5.0ms (0.2%)

Counts

2 → 0

Calls

6 calls:

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

rewrite90.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1756×	`pow1`
1624×	`add-exp-log`
1624×	`log1p-expm1-u`
1624×	`expm1-log1p-u`
1586×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	197	24
2	2258	24

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

Inputs
(cbrt.f64 387420489)
(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))

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

simplify61.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1328×	`log-prod`
1190×	`exp-sum`
854×	`fma-def`
680×	`unswap-sqr`
660×	`distribute-rgt-in`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	82	779
1	179	617
2	665	455
3	2160	455
4	6000	443

Stop Event

1×	node limit

Counts

33 → 42

Calls

Call 1

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

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

eval11.0ms (0.4%)

Compiler: Compiled 458 to 334 computations (27.1% saved)

prune7.0ms (0.2%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	42	0	42
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	42	6	48

Accurracy

100.0%

Counts

48 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(.f64 (.f64 x 27) y)
✓	98.9%	(.f64 (sqrt.f64 (cbrt.f64 387420489)) (.f64 y x))
✓	98.9%	(.f64 (cbrt.f64 19683) (.f64 y x))
✓	99.7%	(.f64 x (.f64 27 y))
✓	99.6%	(.f64 27 (.f64 y x))
✓	57.8%	(cbrt.f64 (pow.f64 (.f64 27 (.f64 y x)) 3))

Compiler

Compiled 48 to 36 computations (25% saved)

regimes24.0ms (0.8%)

Accuracy

Total -36.9b remaining (-21977.4%)

Threshold costs -36.9b (-21977.4%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

4 calls:

8.0ms	(*.f64 x 27)
5.0ms	y
5.0ms	x
4.0ms	(.f64 (.f64 x 27) y)

Results

Accuracy	Segments	Branch
99.7%	1	`x`
99.7%	1	`y`
99.7%	1	`(.f64 (.f64 x 27) y)`
99.7%	1	`(*.f64 x 27)`

Compiler

Compiled 73 to 47 computations (35.6% saved)

simplify5.0ms (0.2%)

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness13.0ms (0.4%)

Rules

10×	`*-commutative`
6×	`associate-r`
6×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end43.0ms (1.4%)

Compiler: Compiled 52 to 36 computations (30.8% saved)

Details

analyze0.0ms (0%)

sample621.0ms (20.1%)

preprocess15.0ms (0.5%)

simplify12.0ms (0.4%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (0.7%)

series4.0ms (0.1%)

rewrite55.0ms (1.8%)

simplify58.0ms (1.9%)

localize21.0ms (0.7%)

series0.0ms (0%)

rewrite58.0ms (1.9%)

simplify58.0ms (1.9%)

eval5.0ms (0.1%)

prune3.0ms (0.1%)

localize49.0ms (1.6%)

series13.0ms (0.4%)

rewrite65.0ms (2.1%)

simplify531.0ms (17.2%)

localize20.0ms (0.7%)

series0.0ms (0%)

rewrite124.0ms (4%)

simplify56.0ms (1.8%)

eval46.0ms (1.5%)

prune56.0ms (1.8%)

localize293.0ms (9.5%)

series1.0ms (0%)

rewrite67.0ms (2.2%)

simplify83.0ms (2.7%)

localize45.0ms (1.5%)

series1.0ms (0%)

rewrite63.0ms (2%)

simplify75.0ms (2.4%)

localize32.0ms (1%)

series5.0ms (0.2%)

rewrite61.0ms (2%)

simplify69.0ms (2.2%)

eval45.0ms (1.5%)

prune62.0ms (2%)

localize37.0ms (1.2%)

series5.0ms (0.2%)

rewrite90.0ms (2.9%)

simplify61.0ms (2%)

eval11.0ms (0.4%)

prune7.0ms (0.2%)

regimes24.0ms (0.8%)

simplify5.0ms (0.2%)

soundness13.0ms (0.4%)

end43.0ms (1.4%)

Profiling