Details

analyze4.0ms (0.3%)

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)

sample639.0ms (38.3%)

Results

625.0ms	8256×	body	256	valid
0.0ms	5×	body	256	infinite

Bogosity

preprocess176.0ms (10.5%)

Algorithm

2×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
676×	`cube-prod_binary64`
666×	`pow-sqr_binary64`
560×	`fabs-mul_binary64`
373×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	5	4
2	7	4
3	12	4
4	17	4
5	26	4
6	47	4
7	134	4
8	500	4
9	1158	4
10	1245	4
11	1378	4
12	1536	4
13	1769	4
14	2091	4
15	2512	4
16	3012	4
17	3613	4
18	4337	4
19	4660	4
20	4944	4
21	5166	4
22	5344	4
23	5426	4
24	6366	4
25	7340	4
26	7806	4
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)

simplify165.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
676×	`cube-prod_binary64`
666×	`pow-sqr_binary64`
560×	`fabs-mul_binary64`
373×	`unpow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	5	4
2	7	4
3	12	4
4	17	4
5	26	4
6	47	4
7	134	4
8	500	4
9	1158	4
10	1245	4
11	1378	4
12	1536	4
13	1769	4
14	2091	4
15	2512	4
16	3012	4
17	3613	4
18	4337	4
19	4660	4
20	4944	4
21	5166	4
22	5344	4
23	5426	4
24	6366	4
25	7340	4
26	7806	4

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

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

localize4.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)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite44.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

339×	`associate-l_binary64`
313×	`pow1_binary64`
302×	`add-sqr-sqrt_binary64`
293×	`*-un-lft-identity_binary64`
293×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	77	4
2	884	4

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

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

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

Outputs

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

simplify172.0ms (10.3%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
676×	`cube-prod_binary64`
666×	`pow-sqr_binary64`
558×	`fabs-mul_binary64`
374×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	48
1	12	48
2	17	48
3	26	48
4	47	48
5	134	48
6	506	48
7	1164	48
8	1251	48
9	1384	48
10	1542	48
11	1776	48
12	2098	48
13	2520	48
14	3021	48
15	3621	48
16	4341	48
17	4664	48
18	4948	48
19	5170	48
20	5350	48
21	5432	48
22	6372	48
23	7346	48
24	7812	48

Stop Event

1×	node limit

Counts

40 → 28

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)

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)

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)

series2.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite49.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

335×	`pow1_binary64`
330×	`add-sqr-sqrt_binary64`
318×	`*-un-lft-identity_binary64`
317×	`add-log-exp_binary64`
317×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	88	4
2	895	4

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

Inputs
(pow.f64 x 3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (pow.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (pow.f64 (.f64 (cbrt.f64 x) x) 3/2))))) (#(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 (.f64 x x) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 7))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 x) (.f64 (pow.f64 x 1/6) (pow.f64 x 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 7)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (cbrt.f64 (pow.f64 x 7)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 2) (.f64 (.f64 (cbrt.f64 x) x) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (pow.f64 x 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (sqrt.f64 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 x) (.f64 (pow.f64 x 5/2) 1))))) (#(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 (.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 5))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (cbrt.f64 x) x)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (pow.f64 x 7))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 1/4) (.f64 (pow.f64 x 1/4) (pow.f64 x 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 3/4) (sqrt.f64 (pow.f64 x 9/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 3/4) (pow.f64 (pow.f64 x 3/2) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 3/4) (.f64 (pow.f64 x 3/4) (pow.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 x 7)) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 x 5/2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 x 8)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 x) 5) (.f64 (cbrt.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 x 5)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 x 9/2)) (pow.f64 x 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 x 3/2) 3/2) (pow.f64 x 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 x) x) 3/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 x) 5) 3/2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 x 7) 1/3) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 x 8) 1/3) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 x 15/2) 1/3) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 x 3)) 3) 1) (+.f64 (.f64 (+.f64 1 (pow.f64 x 3)) (+.f64 1 (pow.f64 x 3))) (+.f64 1 (.f64 (+.f64 1 (pow.f64 x 3)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 1 (pow.f64 x 3)) (+.f64 1 (pow.f64 x 3))) 1) (+.f64 (+.f64 1 (pow.f64 x 3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 x 6))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 x 3))))) (#(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 x 9))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.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 exp.f64 (.f64 (.f64 (log.f64 x) 2) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (pow.f64 x 9)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (pow.f64 x 3/2)) 2))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (pow.f64 x 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (pow.f64 x 3)) 2))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 x 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (pow.f64 (*.f64 (cbrt.f64 x) x) 3/2))))) (#(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 (*.f64 x x) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 7))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (pow.f64 x 1/6) (pow.f64 x 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 (pow.f64 x 7)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 (pow.f64 x 7)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (*.f64 (cbrt.f64 x) x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (pow.f64 x 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (sqrt.f64 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 x) (*.f64 (pow.f64 x 5/2) 1))))) (#(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 (*.f64 (cbrt.f64 x) x) (pow.f64 (cbrt.f64 x) 5))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) x)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 2) (cbrt.f64 (pow.f64 x 7))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 1/4) (*.f64 (pow.f64 x 1/4) (pow.f64 x 5/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3/4) (sqrt.f64 (pow.f64 x 9/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3/4) (pow.f64 (pow.f64 x 3/2) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 3/4) (*.f64 (pow.f64 x 3/4) (pow.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 x 7)) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 5/2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 x 8)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 x) 5) (*.f64 (cbrt.f64 x) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 x 5)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 x 9/2)) (pow.f64 x 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (pow.f64 x 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 x 3/2) 3/2) (pow.f64 x 3/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 x) x) 3/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 x) 5) 3/2) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 x 7) 1/3) (pow.f64 (cbrt.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 x 8) 1/3) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 x 15/2) 1/3) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 x 3)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (+.f64 1 (pow.f64 x 3))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 x 3)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 x 3)) (+.f64 1 (pow.f64 x 3))) 1) (+.f64 (+.f64 1 (pow.f64 x 3)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 x 6))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 x 3))))) (#(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 x 9))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.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 exp.f64 (*.f64 (*.f64 (log.f64 x) 2) 3/2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 x 9)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 x 3/2)) 2))))))

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

51 → 51

Calls

Call 1

Inputs

Outputs

eval18.0ms (1.1%)

Compiler: Compiled 654 to 470 computations (28.1% saved)

prune10.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	78	1	79
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	78	3	81

Error

Counts

81 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	32.9b	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))
✓	0.0b	(pow.f64 x 3)
✓	0.1b	(.f64 (.f64 x x) x)

Compiler

Compiled 17 to 11 computations (35.3% saved)

localize11.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))

Compiler

Compiled 14 to 8 computations (42.9% saved)

series3.0ms (0.2%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
2.0ms	x	@	-inf	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))
1.0ms	x	@	0	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))
0.0ms	x	@	inf	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))

rewrite50.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

507×	`pow1_binary64`
494×	`add-sqr-sqrt_binary64`
479×	`add-log-exp_binary64`
479×	`log1p-expm1-u_binary64`
479×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	126	4
2	1441	4

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))

Outputs

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

simplify83.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

555×	`distribute-rgt-neg-in_binary64`
536×	`fma-neg_binary64`
409×	`cube-prod_binary64`
400×	`fma-def_binary64`
393×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	48
1	27	48
2	88	48
3	263	48
4	1090	48
5	2735	48
6	4770	48
7	5844	48
8	6811	48
9	7731	48

Stop Event

1×

unsound

Counts

23 → 12

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)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (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)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(pow.f64 x 3)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(pow.f64 x 3)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(pow.f64 x 3)
(.f64 -1 (.f64 (pow.f64 (sqrt.f64 -1) 2) (pow.f64 x 3)))
(pow.f64 x 3)

eval2.0ms (0.1%)

Compiler: Compiled 70 to 57 computations (18.6% saved)

prune3.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	12	0	12
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	12	3	15

Error

Counts

15 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	32.9b	(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))
✓	0.0b	(pow.f64 x 3)
✓	0.1b	(.f64 (.f64 x x) x)

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes7.0ms (0.4%)

Accuracy

Total -32.9b remaining (-841900%)

Threshold costs -32.9b (-841900%)

Counts

3 → 1

Calls

Call 1

Inputs
(.f64 (.f64 x x) x)
(pow.f64 x 3)
(*.f64 (pow.f64 x 5/2) (sqrt.f64 x))

Outputs
(pow.f64 x 3)

Calls

2 calls:

4.0ms	x
3.0ms	(.f64 (.f64 x x) x)

Results

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

Compiler

Compiled 23 to 13 computations (43.5% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	7	11

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)

soundness198.0ms (11.8%)

Algorithm

1×	egg-herbie

Rules

1274×	`sqr-pow_binary64`
676×	`cube-prod_binary64`
666×	`pow-sqr_binary64`
560×	`fabs-mul_binary64`
373×	`unpow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	5	4
2	7	4
3	12	4
4	17	4
5	26	4
6	47	4
7	134	4
8	500	4
9	1158	4
10	1245	4
11	1378	4
12	1536	4
13	1769	4
14	2091	4
15	2512	4
16	3012	4
17	3613	4
18	4337	4
19	4660	4
20	4944	4
21	5166	4
22	5344	4
23	5426	4
24	6366	4
25	7340	4
26	7806	4

Stop Event

1×	node limit

Compiler

Compiled 10 to 6 computations (40% saved)

end16.0ms (0.9%)

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

Details

analyze4.0ms (0.3%)

sample639.0ms (38.3%)

preprocess176.0ms (10.5%)

simplify165.0ms (9.9%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize4.0ms (0.2%)

series2.0ms (0.1%)

rewrite44.0ms (2.6%)

simplify172.0ms (10.3%)

localize3.0ms (0.2%)

series2.0ms (0.1%)

rewrite49.0ms (2.9%)

simplify7.0ms (0.4%)

eval18.0ms (1.1%)

prune10.0ms (0.6%)

localize11.0ms (0.6%)

series3.0ms (0.2%)

rewrite50.0ms (3%)

simplify83.0ms (4.9%)

eval2.0ms (0.1%)

prune3.0ms (0.2%)

regimes7.0ms (0.4%)

simplify3.0ms (0.2%)

soundness198.0ms (11.8%)

end16.0ms (0.9%)

Profiling