Details

analyze166.0ms (6.5%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
26.2%	25%	70.2%	0.1%	4.7%	0%	0%	9
39.7%	37.4%	56.9%	0.1%	5.5%	0%	0%	10
47.1%	44.5%	49.9%	0.1%	5.5%	0%	0%	11
54.9%	50.3%	41.3%	0.1%	8.2%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample781.0ms (30.6%)

Results

738.0ms	8256×	body	256	valid
32.0ms	376×	body	256	infinite

Bogosity

preprocess68.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

538×	`fma-def`
524×	`associate-r`
426×	`associate-+l+`
354×	`associate-+r+`
326×	`associate--r+`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	38	76
2	73	76
3	102	76
4	189	76
5	352	76
6	707	76
7	1873	76
8	2677	76
9	2725	76
10	2728	76
11	2728	76
12	2728	76
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
0
2

Call 2

Inputs
(-.f64 (.f64 (.f64 x 3) y) z)
(-.f64 (.f64 (.f64 y 3) x) z)
(-.f64 (.f64 (.f64 z 3) y) x)
(-.f64 (.f64 (.f64 x 3) z) y)

Outputs
(-.f64 (.f64 (.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(-.f64 (.f64 3 (.f64 x y)) z)
(-.f64 (.f64 x (.f64 3 y)) z)
(fma.f64 3 (*.f64 x y) (neg.f64 z))
(-.f64 (.f64 (.f64 y 3) x) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(-.f64 (.f64 3 (.f64 x y)) z)
(-.f64 (.f64 x (.f64 3 y)) z)
(fma.f64 3 (*.f64 x y) (neg.f64 z))
(-.f64 (.f64 (.f64 z 3) y) x)
(fma.f64 (*.f64 3 z) y (neg.f64 x))
(-.f64 (.f64 (.f64 y z) 3) x)
(fma.f64 3 (*.f64 y z) (neg.f64 x))
(-.f64 (.f64 y (.f64 3 z)) x)
(-.f64 (.f64 (.f64 x 3) z) y)
(-.f64 (.f64 3 (.f64 x z)) y)
(-.f64 (.f64 x (.f64 3 z)) y)

Symmetry

(sort x y)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify34.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

358×	`fma-def`
180×	`associate-r`
154×	`associate-+r+`
120×	`associate--r+`
104×	`distribute-lft-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	18	19
2	31	19
3	43	19
4	77	19
5	140	19
6	250	19
7	530	19
8	886	19
9	977	19
10	1002	19
11	1004	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(-.f64 (.f64 (.f64 x 3) y) z)

Outputs
(-.f64 (.f64 (.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(fma.f64 x (*.f64 3 y) (neg.f64 z))
(-.f64 (.f64 x (.f64 3 y)) z)

eval1.0ms (0%)

Compiler: Compiled 31 to 18 computations (41.9% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	2	2	4
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	2	3	5

Error

0.1b

Counts

5 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)
▶	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)

Compiler

Compiled 20 to 14 computations (30% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite49.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1318×	`add-sqr-sqrt`
1304×	`*-un-lft-identity`
1210×	`add-cube-cbrt`
1194×	`add-cbrt-cube`
1180×	`add-exp-log`

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

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

Outputs

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

simplify39.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1342×	`distribute-rgt-in`
1330×	`distribute-lft-in`
1152×	`log-prod`
1034×	`associate-r`
912×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	455
1	91	455
2	355	455
3	2543	455

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite49.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1316×	`add-sqr-sqrt`
1302×	`*-un-lft-identity`
1208×	`add-cube-cbrt`
1192×	`add-cbrt-cube`
1178×	`add-exp-log`

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

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

Outputs

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

simplify38.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

1464×	`distribute-rgt-in`
1454×	`distribute-lft-in`
1134×	`log-prod`
1070×	`associate-r`
912×	`associate-l`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	455
1	86	455
2	346	455
3	2592	455

Stop Event

1×	node limit

Counts

35 → 12

Calls

Call 1

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

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

eval5.0ms (0.2%)

Compiler: Compiled 231 to 157 computations (32% saved)

prune4.0ms (0.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

0.0b

Counts

26 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	30.4b	(-.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2) z)
▶	0.6b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 3 y))) 3) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
▶	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)

Compiler

Compiled 56 to 41 computations (26.8% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 10 computations (54.5% saved)

series0.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite48.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1318×	`add-sqr-sqrt`
1304×	`*-un-lft-identity`
1210×	`add-cube-cbrt`
1194×	`add-cbrt-cube`
1180×	`add-exp-log`

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 3 (.f64 y x))

Outputs

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

simplify52.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1100×	`distribute-rgt-in`
1100×	`distribute-lft-in`
1004×	`*-commutative`
886×	`log-prod`
842×	`associate-r`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	275
1	92	209
2	356	143
3	2249	143
4	7020	143

Stop Event

1×	node limit

Counts

11 → 14

Calls

Call 1

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

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

localize17.0ms (0.7%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.2b	(.f64 x (.f64 3 y))
✓	0.7b	(pow.f64 (cbrt.f64 (.f64 x (.f64 3 y))) 3)
✓	7.7b	(cbrt.f64 (.f64 x (.f64 3 y)))

Compiler

Compiled 39 to 26 computations (33.3% saved)

series8.0ms (0.3%)

Counts

2 → 0

Calls

12 calls:

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

rewrite61.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1700×	`add-sqr-sqrt`
1670×	`*-un-lft-identity`
1568×	`add-cube-cbrt`
1548×	`add-cbrt-cube`
174×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	30
1	206	30
2	2209	30

Stop Event

1×	node limit

Counts

2 → 66

Calls

Call 1

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

Outputs

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

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

simplify54.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

1614×	`associate-+r+`
1482×	`associate-+l+`
574×	`cube-prod`
536×	`unswap-sqr`
532×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	139	1386
1	307	1386
2	1057	1386
3	2966	1386

Stop Event

1×	node limit

Counts

66 → 72

Calls

Call 1

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

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

localize16.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2)
	0.2b	(.f64 x (.f64 3 y))
✓	7.2b	(sqrt.f64 (.f64 x (.f64 3 y)))

Compiler

Compiled 40 to 27 computations (32.5% saved)

series9.0ms (0.4%)

Counts

2 → 0

Calls

12 calls:

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

rewrite58.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1764×	`add-sqr-sqrt`
1742×	`*-un-lft-identity`
1620×	`add-cube-cbrt`
1602×	`add-cbrt-cube`
188×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 64

Calls

Call 1

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

Outputs

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

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

simplify60.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

1204×	`fma-def`
830×	`unswap-sqr`
692×	`cube-prod`
640×	`*-commutative`
640×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	137	1016
1	291	1016
2	1174	1016
3	4225	1016

Stop Event

1×	node limit

Counts

64 → 69

Calls

Call 1

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

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

eval47.0ms (1.8%)

Compiler: Compiled 2341 to 1637 computations (30.1% saved)

prune25.0ms (1%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	176	3	179
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	176	8	184

Error

Counts

184 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.8b	(-.f64 (pow.f64 (.f64 (cbrt.f64 (.f64 x 3)) (cbrt.f64 y)) 3) z)
✓	30.4b	(-.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2) z)
✓	0.6b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 3 y))) 3) z)
▶	17.5b	(-.f64 (.f64 (.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y)) z)
▶	17.4b	(-.f64 (.f64 (.f64 x (sqrt.f64 (.f64 3 y))) (sqrt.f64 (.f64 3 y))) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
✓	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)

Compiler

Compiled 100 to 73 computations (27% saved)

localize18.0ms (0.7%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 44 to 30 computations (31.8% saved)

series11.0ms (0.4%)

Counts

3 → 36

Calls

15 calls:

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

rewrite63.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1816×	`add-sqr-sqrt`
1798×	`*-un-lft-identity`
1668×	`add-cube-cbrt`
1642×	`add-cbrt-cube`
190×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

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

Outputs

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

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

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

simplify56.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

1550×	`associate-+r+`
1424×	`associate-+l+`
876×	`*-commutative`
744×	`unswap-sqr`
388×	`sqr-pow`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	1725
1	265	1343
2	966	1335
3	3668	1335

Stop Event

1×	node limit

Counts

87 → 67

Calls

Call 1

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

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

localize13.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y))
✓	0.3b	(.f64 (.f64 x 3) (sqrt.f64 y))

Compiler

Compiled 38 to 19 computations (50% saved)

series4.0ms (0.2%)

Counts

2 → 36

Calls

12 calls:

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

rewrite61.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1838×	`add-sqr-sqrt`
1820×	`*-un-lft-identity`
1688×	`add-cube-cbrt`
1662×	`add-cbrt-cube`
192×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 26

Calls

Call 1

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

Outputs

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

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

simplify65.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1188×	`associate-+r+`
1136×	`associate-+l+`
876×	`fma-def`
690×	`log-prod`
674×	`*-commutative`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	912
1	179	912
2	689	912
3	2391	910
4	7157	910

Stop Event

1×	node limit

Counts

62 → 36

Calls

Call 1

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

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

localize18.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 43 to 27 computations (37.2% saved)

series7.0ms (0.3%)

Counts

4 → 0

Calls

18 calls:

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

rewrite72.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1940×	`add-sqr-sqrt`
1910×	`*-un-lft-identity`
1794×	`add-cube-cbrt`
1772×	`add-cbrt-cube`
202×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	56
1	224	46
2	2573	46

Stop Event

1×	node limit

Counts

4 → 90

Calls

Call 1

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

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

simplify67.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

852×	`distribute-lft-in`
844×	`*-commutative`
830×	`distribute-rgt-in`
820×	`distribute-lft-neg-in`
820×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	176	1112
1	358	1112
2	1747	1112
3	5729	1112

Stop Event

1×	node limit

Counts

90 → 97

Calls

Call 1

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

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

eval65.0ms (2.6%)

Compiler: Compiled 3312 to 2320 computations (30% saved)

prune37.0ms (1.5%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	0	0	0
Picked	1	0	1
Done	2	5	7
Total	233	6	239

Error

Counts

239 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.4b	(-.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2) z)
✓	0.6b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 3 y))) 3) z)
▶	17.5b	(-.f64 (.f64 (.f64 x (*.f64 3 (sqrt.f64 y))) (sqrt.f64 y)) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
✓	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)

Compiler

Compiled 70 to 50 computations (28.6% saved)

localize13.0ms (0.5%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 3 (sqrt.f64 y)))
✓	0.2b	(*.f64 3 (sqrt.f64 y))
✓	0.3b	(.f64 (.f64 x (*.f64 3 (sqrt.f64 y))) (sqrt.f64 y))

Compiler

Compiled 39 to 19 computations (51.3% saved)

series2.0ms (0.1%)

Counts

3 → 36

Calls

15 calls:

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

rewrite65.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1866×	`add-sqr-sqrt`
1848×	`*-un-lft-identity`
1714×	`add-cube-cbrt`
1688×	`add-cbrt-cube`
194×	`pow1`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 39

Calls

Call 1

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

Outputs

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

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

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

simplify55.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

988×	`log-prod`
810×	`unswap-sqr`
800×	`associate-*r/`
674×	`associate-*l/`
538×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	100	1055
1	229	1055
2	944	1055
3	4112	1053

Stop Event

1×	node limit

Counts

75 → 48

Calls

Call 1

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

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

eval10.0ms (0.4%)

Compiler: Compiled 591 to 347 computations (41.3% saved)

prune9.0ms (0.3%)

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Error

Counts

54 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	30.4b	(-.f64 (pow.f64 (sqrt.f64 (.f64 x (.f64 3 y))) 2) z)
✓	0.6b	(-.f64 (pow.f64 (cbrt.f64 (.f64 x (.f64 3 y))) 3) z)
✓	17.5b	(-.f64 (.f64 (.f64 x (*.f64 3 (sqrt.f64 y))) (sqrt.f64 y)) z)
✓	0.1b	(-.f64 (.f64 (.f64 x 3) y) z)
✓	0.1b	(-.f64 (.f64 x (.f64 3 y)) z)
✓	0.1b	(-.f64 (.f64 3 (.f64 y x)) z)

Compiler

Compiled 70 to 50 computations (28.6% saved)

regimes35.0ms (1.4%)

Accuracy

Total -47.5b remaining (-36875.7%)

Threshold costs -47.5b (-36875.7%)

Counts

9 → 1

Calls

Call 1

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

Outputs
(-.f64 (.f64 x (.f64 3 y)) z)

Calls

6 calls:

6.0ms	(-.f64 (.f64 (.f64 x 3) y) z)
6.0ms	y
5.0ms	(.f64 (.f64 x 3) y)
5.0ms	(*.f64 x 3)
5.0ms	z

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`z`
0.1b	1	`(-.f64 (.f64 (.f64 x 3) y) z)`
0.1b	1	`(.f64 (.f64 x 3) y)`
0.1b	1	`(*.f64 x 3)`

Compiler

Compiled 126 to 84 computations (33.3% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative`
6×	`sub-neg`
6×	`+-commutative`
2×	`neg-mul-1`
2×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	20	38
2	26	38
3	28	38
4	29	38

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (.f64 x (.f64 3 y)) z)
(-.f64 (.f64 3 (.f64 y x)) z)

Outputs
(-.f64 (.f64 x (.f64 3 y)) z)
(-.f64 (.f64 3 (.f64 y x)) z)
(-.f64 (.f64 3 (.f64 x y)) z)

Compiler

Compiled 20 to 14 computations (30% saved)

soundness55.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

358×	`fma-def`
180×	`associate-r`
154×	`associate-+r+`
120×	`associate--r+`
104×	`distribute-lft-neg-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	18	19
2	31	19
3	43	19
4	77	19
5	140	19
6	250	19
7	530	19
8	886	19
9	977	19
10	1002	19
11	1004	19

Stop Event

1×

saturated

Compiler

Compiled 17 to 11 computations (35.3% saved)

end31.0ms (1.2%)

Compiler: Compiled 37 to 25 computations (32.4% saved)

Details

analyze166.0ms (6.5%)

sample781.0ms (30.6%)

preprocess68.0ms (2.6%)

simplify34.0ms (1.3%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize8.0ms (0.3%)

series3.0ms (0.1%)

rewrite49.0ms (1.9%)

simplify39.0ms (1.5%)

localize8.0ms (0.3%)

series0.0ms (0%)

rewrite49.0ms (1.9%)

simplify38.0ms (1.5%)

eval5.0ms (0.2%)

prune4.0ms (0.2%)

localize8.0ms (0.3%)

series0.0ms (0%)

rewrite48.0ms (1.9%)

simplify52.0ms (2%)

localize17.0ms (0.7%)

series8.0ms (0.3%)

rewrite61.0ms (2.4%)

simplify54.0ms (2.1%)

localize16.0ms (0.6%)

series9.0ms (0.4%)

rewrite58.0ms (2.3%)

simplify60.0ms (2.4%)

eval47.0ms (1.8%)

prune25.0ms (1%)

localize18.0ms (0.7%)

series11.0ms (0.4%)

rewrite63.0ms (2.5%)

simplify56.0ms (2.2%)

localize13.0ms (0.5%)

series4.0ms (0.2%)

rewrite61.0ms (2.4%)

simplify65.0ms (2.5%)

localize18.0ms (0.7%)

series7.0ms (0.3%)

rewrite72.0ms (2.8%)

simplify67.0ms (2.6%)

eval65.0ms (2.6%)

prune37.0ms (1.5%)

localize13.0ms (0.5%)

series2.0ms (0.1%)

rewrite65.0ms (2.5%)

simplify55.0ms (2.1%)

eval10.0ms (0.4%)

prune9.0ms (0.3%)

regimes35.0ms (1.4%)

simplify5.0ms (0.2%)

soundness55.0ms (2.2%)

end31.0ms (1.2%)

Profiling