Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
75%	12.5%	12.5%	5
75%	6.2%	18.8%	6
75%	3.1%	21.9%	7
75%	1.6%	23.5%	8
75%	0.8%	24.3%	9
75%	0.4%	24.6%	10
75%	0.2%	24.8%	11
75%	0.1%	24.9%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.4s (44.7%)

Results

1.4s	8256×	body	256	valid
1.0ms	6×	body	256	invalid

preprocess42.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

3×	`fma-neg_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	27	8
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (fma.f64 x x -3) 6)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

3×	`fma-neg_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`*-commutative_binary64`
1×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	15	8
2	21	8
3	24	8
4	26	8
5	27	8

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (fma.f64 x x -3) 6)

eval1.0ms (0%)

Compiler: Compiled 14 to 10 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite209.0ms (6.5%)

Algorithm

1×	batch-egg-rewrite

Rules

796×	`pow1_binary64`
756×	`add-log-exp_binary64`
756×	`log1p-expm1-u_binary64`
756×	`expm1-log1p-u_binary64`
744×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	166	8
2	2033	8

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

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

Outputs

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

simplify158.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
449×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	87
1	18	87
2	30	87
3	54	87
4	117	87
5	352	87
6	1293	87
7	2189	87
8	2353	87
9	2537	87
10	2745	87
11	3042	87
12	3435	87
13	3918	87
14	4486	87
15	5174	87
16	6009	87
17	6403	87
18	6691	87
19	6965	87
20	7037	87
21	7071	87

Stop Event

1×	node limit

Counts

37 → 30

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)

eval9.0ms (0.3%)

Compiler: Compiled 262 to 196 computations (25.2% saved)

prune6.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	26	4	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	5	31

Error

Counts

31 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(fma.f64 x (*.f64 1/6 x) -1/2)
	16.0b	-1/2
▶	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	47.5b	(.f64 1/6 (.f64 x x))

Compiler

Compiled 31 to 23 computations (25.8% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 1/6 (.f64 x x))

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(.f64 1/6 (.f64 x x))
0.0ms	x	@	inf	(.f64 1/6 (.f64 x x))
0.0ms	x	@	-inf	(.f64 1/6 (.f64 x x))

rewrite116.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

432×	`pow1_binary64`
421×	`add-sqr-sqrt_binary64`
411×	`*-un-lft-identity_binary64`
402×	`add-log-exp_binary64`
402×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	102	7
2	1148	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 1/6 (.f64 x x))

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

Outputs

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

simplify170.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize76.0ms (2.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

579×	`pow1_binary64`
546×	`add-log-exp_binary64`
546×	`log1p-expm1-u_binary64`
546×	`expm1-log1p-u_binary64`
535×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	113	7
2	1508	7

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

Inputs
(/.f64 x (/.f64 6 x))

Outputs

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

simplify171.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

50 → 40

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (*.f64 1/6 x) -1/2)
✓	0.3b	(*.f64 1/6 x)

Compiler

Compiled 13 to 9 computations (30.8% saved)

series39.0ms (1.2%)

Counts

2 → 12

Calls

6 calls:

Time	Variable		Point	Expression
36.0ms	x	@	0	(*.f64 1/6 x)
1.0ms	x	@	inf	(*.f64 1/6 x)
1.0ms	x	@	-inf	(fma.f64 x (*.f64 1/6 x) -1/2)
1.0ms	x	@	-inf	(*.f64 1/6 x)
0.0ms	x	@	inf	(fma.f64 x (*.f64 1/6 x) -1/2)

rewrite58.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

534×	`pow1_binary64`
522×	`add-sqr-sqrt_binary64`
497×	`add-log-exp_binary64`
497×	`log1p-expm1-u_binary64`
497×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	12
1	122	12
2	1327	12

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

Inputs
(*.f64 1/6 x)
(fma.f64 x (*.f64 1/6 x) -1/2)

Outputs

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

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

simplify220.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
560×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
449×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	87
1	18	87
2	30	87
3	54	87
4	117	87
5	352	87
6	1293	87
7	2189	87
8	2353	87
9	2537	87
10	2745	87
11	3042	87
12	3435	87
13	3918	87
14	4486	87
15	5174	87
16	6009	87
17	6403	87
18	6691	87
19	6965	87
20	7037	87
21	7071	87

Stop Event

1×	node limit

Counts

44 → 37

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(fma.f64 x (*.f64 1/6 x) -1/2)

eval28.0ms (0.9%)

Compiler: Compiled 955 to 697 computations (27% saved)

prune15.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	93	5	98

Error

Counts

98 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	47.5b	(.f64 x (.f64 1/6 x))
✓	47.5b	(.f64 1/6 (.f64 x x))
	16.0b	-1/2
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 1/6 x))
	0.3b	(*.f64 1/6 x)

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite60.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

446×	`pow1_binary64`
432×	`add-sqr-sqrt_binary64`
423×	`*-un-lft-identity_binary64`
413×	`add-log-exp_binary64`
413×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	101	7
2	1133	7

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

Inputs
(.f64 x (.f64 1/6 x))

Outputs

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

simplify170.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1082×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
554×	`fabs-mul_binary64`
523×	`pow-sqr_binary64`
441×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	84
1	12	84
2	23	84
3	44	84
4	105	84
5	331	84
6	1250	84
7	2123	84
8	2287	84
9	2471	84
10	2679	84
11	2976	84
12	3371	84
13	3852	84
14	4418	84
15	5102	84
16	5935	84
17	6327	84
18	6619	84
19	6895	84
20	6969	84
21	7003	84
22	7944	84

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))
(*.f64 1/6 (pow.f64 x 2))

Outputs
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(.f64 x (.f64 1/6 x))

eval8.0ms (0.3%)

Compiler: Compiled 230 to 166 computations (27.8% saved)

prune5.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	27	0	27
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	27	5	32

Error

Counts

32 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	47.5b	(.f64 x (.f64 1/6 x))
✓	47.5b	(.f64 1/6 (.f64 x x))
	16.0b	-1/2
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 30 to 22 computations (26.7% saved)

eval0.0ms (0%)

Compiler: Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	47.5b	(.f64 x (.f64 1/6 x))
✓	47.5b	(.f64 1/6 (.f64 x x))
	16.0b	-1/2
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 30 to 22 computations (26.7% saved)

regimes61.0ms (1.9%)

Counts

6 → 1

Calls

Call 1

Inputs
-1/2
(.f64 x (.f64 1/6 x))
(.f64 1/6 (.f64 x x))
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(fma.f64 x (*.f64 1/6 x) -1/2)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Calls

4 calls:

48.0ms	(*.f64 x x)
7.0ms	x
2.0ms	(-.f64 (*.f64 x x) 3)
2.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(/.f64 (-.f64 (*.f64 x x) 3) 6)`
0.1b	1	`(-.f64 (*.f64 x x) 3)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 52 to 34 computations (34.6% saved)

regimes12.0ms (0.4%)

Counts

4 → 1

Calls

Call 1

Inputs
-1/2
(.f64 x (.f64 1/6 x))
(.f64 1/6 (.f64 x x))
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

Outputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)

Calls

3 calls:

5.0ms	x
3.0ms	(*.f64 x x)
3.0ms	(*.f64 x x)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(*.f64 x x)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 29 to 18 computations (37.9% saved)

regimes26.0ms (0.8%)

Accuracy

Total -61.5b remaining (-6359.4%)

Threshold costs -61.5b (-6359.4%)

Counts

3 → 2

Calls

Call 1

Inputs
-1/2
(.f64 x (.f64 1/6 x))
(.f64 1/6 (.f64 x x))

Outputs
-1/2
(.f64 x (.f64 1/6 x))

Calls

3 calls:

10.0ms	x
9.0ms	(*.f64 x x)
4.0ms	(*.f64 x x)

Results

Error	Segments	Branch
1.0b	3	`x`
1.0b	2	`(*.f64 x x)`
1.0b	2	`(*.f64 x x)`

Compiler

Compiled 22 to 13 computations (40.9% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.022875858606428354	3661.61589077483

Compiler

Compiled 12 to 9 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	38
1	26	38
2	28	38

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(if (<=.f64 (.f64 x x) 737869762948382080/18446744073709551616) -1/2 (.f64 x (*.f64 1/6 x)))
-1/2

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (+.f64 (*.f64 x x) -3) 6)
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(+.f64 (/.f64 x (/.f64 6 x)) -1/2)
(if (<=.f64 (.f64 x x) 737869762948382080/18446744073709551616) -1/2 (.f64 x (*.f64 1/6 x)))
(if (<=.f64 (.f64 x x) 5764607523034235/144115188075855872) -1/2 (.f64 x (*.f64 x 1/6)))
-1/2

Compiler

Compiled 31 to 23 computations (25.8% saved)

soundness0.0ms (0%)

end29.0ms (0.9%)

Compiler: Compiled 28 to 19 computations (32.1% saved)

Details

analyze3.0ms (0.1%)

sample1.4s (44.7%)

preprocess42.0ms (1.3%)

simplify9.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite209.0ms (6.5%)

simplify158.0ms (4.9%)

eval9.0ms (0.3%)

prune6.0ms (0.2%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite116.0ms (3.6%)

simplify170.0ms (5.3%)

localize76.0ms (2.4%)

series1.0ms (0%)

rewrite51.0ms (1.6%)

simplify171.0ms (5.3%)

localize6.0ms (0.2%)

series39.0ms (1.2%)

rewrite58.0ms (1.8%)

simplify220.0ms (6.8%)

eval28.0ms (0.9%)

prune15.0ms (0.5%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite60.0ms (1.9%)

simplify170.0ms (5.3%)

eval8.0ms (0.3%)

prune5.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes61.0ms (1.9%)

regimes12.0ms (0.4%)

regimes26.0ms (0.8%)

bsearch0.0ms (0%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end29.0ms (0.9%)

Profiling