Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
90.9%	62.5%	6.2%	0%	31.2%	0%	0%	6
95.5%	65.6%	3.1%	0%	31.2%	0%	0%	7
97.7%	65.6%	1.6%	0%	32.8%	0%	0%	8
98.8%	66.4%	0.8%	0%	32.8%	0%	0%	9
99.4%	66.4%	0.4%	0%	33.2%	0%	0%	10
99.7%	66.6%	0.2%	0%	33.2%	0%	0%	11
99.9%	66.6%	0.1%	0%	33.3%	0%	0%	12

Compiler

Compiled 7 to 4 computations (42.9% saved)

sample575.0ms (35.4%)

Results

562.0ms	8256×	body	256	valid
0.0ms	7×	body	256	infinite

Bogosity

preprocess247.0ms (15.2%)

Algorithm

2×	egg-herbie

Rules

3512×	`sqr-pow`
2040×	`pow-sqr`
1156×	`cube-prod`
742×	`fabs-mul`
736×	`cube-mult`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	13
1	6	7
2	8	7
3	13	7
4	18	7
5	27	7
6	49	7
7	111	7
8	332	7
9	686	7
10	766	7
11	903	7
12	1065	7
13	1299	7
14	1612	7
15	2007	7
16	2480	7
17	3019	7
18	3659	7
19	3880	7
20	4076	7
21	4216	7
22	4302	7
23	4360	7
24	5250	7
25	6300	7
26	6602	7
27	6896	7
28	7028	7
29	7038	7
30	7038	7
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 x x) x)

Outputs
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))
(pow.f64 x 3)

Compiler

Compiled 7 to 4 computations (42.9% saved)

simplify251.0ms (15.4%)

Algorithm

1×	egg-herbie

Rules

3512×	`sqr-pow`
2040×	`pow-sqr`
1156×	`cube-prod`
742×	`fabs-mul`
736×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	13
1	6	7
2	8	7
3	13	7
4	18	7
5	27	7
6	49	7
7	111	7
8	332	7
9	686	7
10	766	7
11	903	7
12	1065	7
13	1299	7
14	1612	7
15	2007	7
16	2480	7
17	3019	7
18	3659	7
19	3880	7
20	4076	7
21	4216	7
22	4302	7
23	4360	7
24	5250	7
25	6300	7
26	6602	7
27	6896	7
28	7028	7
29	7038	7
30	7038	7

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)

Outputs
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))
(pow.f64 x 3)

eval0.0ms (0%)

Compiler: Compiled 14 to 6 computations (57.1% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(pow.f64 x 3)
▶	0.1b	(.f64 (.f64 x x) x)

Compiler

Compiled 10 to 6 computations (40% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x x) x)

Compiler

Compiled 10 to 3 computations (70% saved)

series1.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite53.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

850×	`associate-l`
838×	`add-sqr-sqrt`
820×	`*-un-lft-identity`
770×	`pow1`
768×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1152	7

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)

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

Outputs

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

simplify51.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1032×	`fma-def`
1012×	`associate-/l*`
878×	`associate--r+`
806×	`*-commutative`
620×	`associate-+r-`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	161
1	67	161
2	242	161
3	1200	161
4	2642	161
5	4976	161

Stop Event

1×	node limit

Counts

23 → 11

Calls

Call 1

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

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

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 x 3)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series1.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite47.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1124×	`associate-r`
888×	`add-sqr-sqrt`
864×	`*-un-lft-identity`
820×	`pow1`
820×	`add-cube-cbrt`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	108	7
2	1160	7

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

Inputs
(pow.f64 x 3)

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

Outputs

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

simplify66.0ms (4%)

Algorithm

1×	egg-herbie

Rules

924×	`distribute-lft-in`
888×	`distribute-rgt-in`
688×	`*-commutative`
602×	`+-commutative`
596×	`associate-+l-`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	101	742
1	254	502
2	1084	486
3	2622	478
4	6773	478

Stop Event

1×	node limit

Counts

40 → 58

Calls

Call 1

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

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

eval12.0ms (0.7%)

Compiler: Compiled 674 to 368 computations (45.4% saved)

prune8.0ms (0.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	69	2	71

Error

Counts

71 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(pow.f64 x 3)
✓	0.1b	(.f64 (.f64 x x) x)

Compiler

Compiled 10 to 6 computations (40% saved)

regimes6.0ms (0.4%)

Accuracy

Total -0.1b remaining (-2500%)

Threshold costs -0.1b (-2500%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(pow.f64 x 3)

Calls

2 calls:

3.0ms	x
2.0ms	(.f64 (.f64 x x) x)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(.f64 (.f64 x x) x)`

Compiler

Compiled 17 to 9 computations (47.1% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	8	20

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(pow.f64 x 3)
(.f64 (.f64 x x) x)
(.f64 x (.f64 x x))

Compiler

Compiled 10 to 6 computations (40% saved)

soundness279.0ms (17.2%)

Algorithm

1×	egg-herbie

Rules

3512×	`sqr-pow`
2040×	`pow-sqr`
1156×	`cube-prod`
742×	`fabs-mul`
736×	`cube-mult`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	13
1	6	7
2	8	7
3	13	7
4	18	7
5	27	7
6	49	7
7	111	7
8	332	7
9	686	7
10	766	7
11	903	7
12	1065	7
13	1299	7
14	1612	7
15	2007	7
16	2480	7
17	3019	7
18	3659	7
19	3880	7
20	4076	7
21	4216	7
22	4302	7
23	4360	7
24	5250	7
25	6300	7
26	6602	7
27	6896	7
28	7028	7
29	7038	7
30	7038	7

Stop Event

1×	node limit

Compiler

Compiled 9 to 5 computations (44.4% saved)

end14.0ms (0.9%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

Details

analyze3.0ms (0.2%)

sample575.0ms (35.4%)

preprocess247.0ms (15.2%)

simplify251.0ms (15.4%)

eval0.0ms (0%)

prune1.0ms (0.1%)

localize3.0ms (0.2%)

series1.0ms (0.1%)

rewrite53.0ms (3.2%)

simplify51.0ms (3.1%)

localize3.0ms (0.2%)

series1.0ms (0.1%)

rewrite47.0ms (2.9%)

simplify66.0ms (4%)

eval12.0ms (0.7%)

prune8.0ms (0.5%)

regimes6.0ms (0.4%)

simplify4.0ms (0.2%)

soundness279.0ms (17.2%)

end14.0ms (0.9%)

Profiling