Details

analyze44.0ms (1.8%)

Algorithm

1×

Search

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

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.1s (43.7%)

Results

1.1s	8256×	body	256	valid
11.0ms	158×	body	256	infinite

Bogosity

preprocess5.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26
2	19	26
3	19	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify29.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

0.04%

Counts

4 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.4%	(.f64 (.f64 x 27) y)
▶	0.29%	(.f64 x (.f64 27 y))
▶	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite64.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify63.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 13

Calls

Call 1

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

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.29%	(.f64 x (.f64 27 y))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite73.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify58.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite50.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

Outputs

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

simplify57.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

eval6.0ms (0.3%)

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

prune50.0ms (2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	36	1	37
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	36	4	40

Error

0.04%

Counts

40 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	46.84%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	0.4%	(.f64 (.f64 x 27) y)
✓	0.29%	(.f64 x (.f64 27 y))
✓	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize11.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.29%	(.f64 x (.f64 27 y))
✓	0.29%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	15.07%	(sqrt.f64 (.f64 x (.f64 27 y)))

Compiler

Compiled 28 to 19 computations (32.1% saved)

series10.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite63.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1790×	`add-sqr-sqrt`
1764×	`*-un-lft-identity`
1644×	`add-cube-cbrt`
1628×	`add-cbrt-cube`
188×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	30
1	224	30
2	2287	30

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

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

Outputs

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

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

simplify60.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1204×	`fma-def`
830×	`unswap-sqr`
674×	`cube-prod`
634×	`log-prod`
632×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	138	1016
1	292	1016
2	1168	1016
3	4200	1016

Stop Event

1×	node limit

Counts

64 → 70

Calls

Call 1

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

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

eval20.0ms (0.8%)

Compiler: Compiled 898 to 663 computations (26.2% saved)

prune14.0ms (0.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	80	6	86

Error

0.01%

Counts

86 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	46.84%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
▶	27.88%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
▶	27.86%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.4%	(.f64 (.f64 x 27) y)
✓	0.29%	(.f64 x (.f64 27 y))
✓	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 55 to 40 computations (27.3% saved)

localize12.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.13%	(sqrt.f64 (*.f64 27 y))
✓	0.27%	(.f64 x (sqrt.f64 (.f64 27 y)))
✓	0.29%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))

Compiler

Compiled 29 to 20 computations (31% saved)

series9.0ms (0.4%)

Counts

3 → 36

Calls

15 calls:

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

rewrite63.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

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

Outputs

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

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

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

simplify57.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1864×	`associate-+r+`
1732×	`associate-+l+`
744×	`unswap-sqr`
468×	`*-commutative`
342×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

87 → 68

Calls

Call 1

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

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

localize11.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.32%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.37%	(.f64 (.f64 x 27) (sqrt.f64 y))

Compiler

Compiled 25 to 13 computations (48% saved)

series6.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite62.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1842×	`add-sqr-sqrt`
1820×	`*-un-lft-identity`
1690×	`add-cube-cbrt`
1666×	`add-cbrt-cube`
192×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	199	30
2	2343	30

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify50.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1326×	`distribute-lft-in`
1262×	`distribute-rgt-in`
1188×	`associate-+r+`
1130×	`associate-+l+`
700×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	78	912
1	179	912
2	687	912
3	2410	910

Stop Event

1×	node limit

Counts

62 → 34

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

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

eval32.0ms (1.3%)

Compiler: Compiled 1655 to 1186 computations (28.3% saved)

prune24.0ms (0.9%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	132	7	139

Error

0.01%

Counts

139 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	46.84%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	27.88%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	27.86%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.4%	(.f64 (.f64 x 27) y)
▶	27.89%	(.f64 (.f64 27 (*.f64 (sqrt.f64 y) x)) (sqrt.f64 y))
✓	0.29%	(.f64 x (.f64 27 y))
✓	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 66 to 47 computations (28.8% saved)

localize8.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.26%	(*.f64 (sqrt.f64 y) x)
✓	0.31%	(.f64 27 (.f64 (sqrt.f64 y) x))
✓	0.32%	(.f64 (.f64 27 (*.f64 (sqrt.f64 y) x)) (sqrt.f64 y))

Compiler

Compiled 26 to 10 computations (61.5% saved)

series4.0ms (0.2%)

Counts

3 → 24

Calls

18 calls:

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

rewrite64.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1870×	`add-sqr-sqrt`
1848×	`*-un-lft-identity`
1716×	`add-cube-cbrt`
1690×	`add-cbrt-cube`
194×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	55
1	200	41
2	2366	41

Stop Event

1×	node limit

Counts

3 → 39

Calls

Call 1

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

Outputs

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

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

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

simplify74.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1406×	`fma-def`
984×	`log-prod`
668×	`unswap-sqr`
544×	`associate-*r/`
462×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	857
1	231	857
2	864	857
3	3499	853
4	7346	853

Stop Event

1×	node limit

Counts

63 → 51

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

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

eval10.0ms (0.4%)

Compiler: Compiled 517 to 269 computations (48% saved)

prune10.0ms (0.4%)

Pruning

7 alts after pruning (0 fresh and 7 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	0	0
Picked	0	1	1
Done	0	6	6
Total	51	7	58

Error

0.01%

Counts

58 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	46.84%	(pow.f64 (sqrt.f64 (.f64 x (.f64 27 y))) 2)
✓	27.88%	(.f64 (.f64 (*.f64 x 27) (sqrt.f64 y)) (sqrt.f64 y))
✓	27.86%	(.f64 (.f64 x (sqrt.f64 (.f64 27 y))) (sqrt.f64 (.f64 27 y)))
✓	0.4%	(.f64 (.f64 x 27) y)
✓	27.89%	(.f64 (.f64 27 (*.f64 (sqrt.f64 y) x)) (sqrt.f64 y))
✓	0.29%	(.f64 x (.f64 27 y))
✓	0.39%	(.f64 27 (.f64 x y))

Compiler

Compiled 66 to 47 computations (28.8% saved)

regimes162.0ms (6.5%)

Accuracy

Total -47.2b remaining (-25727.9%)

Threshold costs -47.2b (-25727.9%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

145.0ms	(.f64 (.f64 x 27) y)
6.0ms	x
5.0ms	(*.f64 x 27)
5.0ms	y

Results

Error	Segments	Branch
0.29%	1	`x`
0.29%	1	`y`
0.29%	1	`(.f64 (.f64 x 27) y)`
0.29%	1	`(*.f64 x 27)`

Compiler

Compiled 72 to 47 computations (34.7% saved)

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

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness14.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 12 to 8 computations (33.3% saved)

end31.0ms (1.2%)

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

Details

analyze44.0ms (1.8%)

sample1.1s (43.7%)

preprocess5.0ms (0.2%)

simplify29.0ms (1.2%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite64.0ms (2.6%)

simplify63.0ms (2.5%)

localize5.0ms (0.2%)

series0.0ms (0%)

rewrite73.0ms (2.9%)

simplify58.0ms (2.3%)

localize6.0ms (0.2%)

series0.0ms (0%)

rewrite50.0ms (2%)

simplify57.0ms (2.3%)

eval6.0ms (0.3%)

prune50.0ms (2%)

localize11.0ms (0.4%)

series10.0ms (0.4%)

rewrite63.0ms (2.5%)

simplify60.0ms (2.4%)

eval20.0ms (0.8%)

prune14.0ms (0.6%)

localize12.0ms (0.5%)

series9.0ms (0.4%)

rewrite63.0ms (2.5%)

simplify57.0ms (2.3%)

localize11.0ms (0.4%)

series6.0ms (0.2%)

rewrite62.0ms (2.5%)

simplify50.0ms (2%)

eval32.0ms (1.3%)

prune24.0ms (0.9%)

localize8.0ms (0.3%)

series4.0ms (0.2%)

rewrite64.0ms (2.6%)

simplify74.0ms (3%)

eval10.0ms (0.4%)

prune10.0ms (0.4%)

regimes162.0ms (6.5%)

simplify4.0ms (0.2%)

soundness14.0ms (0.5%)

end31.0ms (1.2%)

Profiling