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 (36%)

Results

1.2s	8256×	body	256	valid
0.0ms	2×	body	256	invalid

preprocess16.0ms (0.4%)

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)
(fma.f64 (/.f64 x 6) x -1/2)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify8.0ms (0.2%)

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)
(fma.f64 (/.f64 x 6) x -1/2)

eval1.0ms (0%)

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

prune1.0ms (0%)

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.1b	(fma.f64 (/.f64 x 6) x -1/2)
▶	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series2.0ms (0%)

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)

rewrite84.0ms (2.2%)

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 (.f64 x x) 1/6) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 x x) 1/6) 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 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)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (fma.f64 x x -3) 1/6)))))))

Outputs

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

simplify138.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1107×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
441×	`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	346	87
6	1211	87
7	2108	87
8	2272	87
9	2456	87
10	2664	87
11	2958	87
12	3351	87
13	3829	87
14	4390	87
15	5080	87
16	5913	87
17	6309	87
18	6601	87
19	6873	87
20	6943	87
21	6977	87
22	7918	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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite61.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

586×	`pow1_binary64`
553×	`add-log-exp_binary64`
553×	`log1p-expm1-u_binary64`
553×	`expm1-log1p-u_binary64`
544×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	130	8
2	1479	8

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

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

Outputs

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

simplify142.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1107×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
555×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
441×	`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	346	87
6	1211	87
7	2108	87
8	2272	87
9	2456	87
10	2664	87
11	2958	87
12	3351	87
13	3829	87
14	4390	87
15	5080	87
16	5913	87
17	6309	87
18	6601	87
19	6873	87
20	6943	87
21	6977	87
22	7918	87

Stop Event

1×	node limit

Counts

33 → 26

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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)

eval18.0ms (0.5%)

Compiler: Compiled 522 to 387 computations (25.9% saved)

prune14.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	51	5	56
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	52	6	58

Error

0.0b

Counts

58 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
▶	38.7b	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)
▶	0.1b	(+.f64 -1/2 (*.f64 x (/.f64 x 6)))
▶	38.5b	(.f64 1/6 (.f64 x x))
	25.9b	-1/2
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 43 to 33 computations (23.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.3b	(.f64 1/6 (.f64 x x))
✓	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))

rewrite33.0ms (0.9%)

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	1146	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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 1/6 (*.f64 x x))))))))

simplify136.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
445×	`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	107	84
5	336	84
6	1237	84
7	2113	84
8	2277	84
9	2461	84
10	2669	84
11	2960	84
12	3353	84
13	3833	84
14	4396	84
15	5078	84
16	5915	84
17	6307	84
18	6593	84
19	6867	84
20	6939	84
21	6975	84
22	7916	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 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))

localize11.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

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 x 6))
0.0ms	x	@	-inf	(*.f64 x (/.f64 x 6))
0.0ms	x	@	inf	(*.f64 x (/.f64 x 6))

rewrite38.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

503×	`pow1_binary64`
495×	`add-sqr-sqrt_binary64`
474×	`add-log-exp_binary64`
474×	`log1p-expm1-u_binary64`
474×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1299	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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 6 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 6 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x x) 6)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x x)) -6)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) x) -6)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (neg.f64 x)) -6)))) (#(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 (/.f64 x (sqrt.f64 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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 x 1/6))))))))

simplify137.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
445×	`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	107	84
5	336	84
6	1237	84
7	2113	84
8	2277	84
9	2461	84
10	2669	84
11	2960	84
12	3353	84
13	3833	84
14	4396	84
15	5078	84
16	5915	84
17	6307	84
18	6593	84
19	6867	84
20	6939	84
21	6975	84
22	7916	84

Stop Event

1×	node limit

Counts

29 → 19

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 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))

localize38.0ms (1%)

Local error

Found 6 expressions with local error:

New	Error	Program
	0.2b	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)
	0.1b	(*.f64 (fma.f64 x x -3) 1/6)
	0.1b	(sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6))
✓	0.1b	(sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6))
✓	0.1b	(*.f64 (fma.f64 x x -3) 1/6)
✓	0.2b	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)

Compiler

Compiled 31 to 22 computations (29% saved)

series8.0ms (0.2%)

Counts

3 → 36

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	x	@	0	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)
1.0ms	x	@	inf	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)
1.0ms	x	@	-inf	(sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6))
1.0ms	x	@	0	(sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6))
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (*.f64 (fma.f64 x x -3) 1/6)) 2)

rewrite56.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

672×	`pow1_binary64`
630×	`add-log-exp_binary64`
630×	`log1p-expm1-u_binary64`
630×	`expm1-log1p-u_binary64`
618×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	187	26
2	1746	26

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

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

Outputs

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

simplify40.0ms (1%)

Algorithm

1×	egg-herbie

Rules

752×	`associate-*l/_binary64`
519×	`associate-*r/_binary64`
441×	`associate-/r/_binary64`
410×	`fma-def_binary64`
399×	`associate-/l/_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	104	761
1	294	497
2	938	483
3	3656	449

Stop Event

1×	node limit

Counts

99 → 89

Calls

Call 1

Inputs
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4))) (.f64 1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4)))) (pow.f64 x 6)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (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 (*.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)
(*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))
(+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 6)) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(*.f64 (sqrt.f64 1/6) x)
(+.f64 (.f64 (sqrt.f64 1/6) x) (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(+.f64 (.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(.f64 -1 (.f64 (sqrt.f64 1/6) x))
(+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (.f64 (sqrt.f64 1/6) x))))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (+.f64 (.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))))

Outputs
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))
-1/2
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)) (+.f64 (.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4))) (.f64 1/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 4)))) (pow.f64 x 6)) (+.f64 (.f64 (+.f64 (.f64 -1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))) (.f64 1/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2)))) (pow.f64 x 4)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (.f64 x x))
(.f64 1/6 (.f64 x x))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (.f64 x x))
(.f64 1/6 (.f64 x x))
(+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(+.f64 (.f64 -27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 27/8 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 4))) (+.f64 (.f64 -9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))) (+.f64 (.f64 -3 (pow.f64 (sqrt.f64 1/6) 2)) (+.f64 (.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2)) (.f64 9/4 (/.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 x 2))))))))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
-1/2
(*.f64 (pow.f64 (sqrt.f64 1/6) 2) (pow.f64 (sqrt.f64 -3) 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (.f64 x x))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 1/6 (pow.f64 x 2))
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (.f64 x x))
(.f64 1/6 (.f64 x x))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(.f64 (pow.f64 (sqrt.f64 1/6) 2) (+.f64 (pow.f64 (sqrt.f64 -3) 2) (.f64 x x)))
(fma.f64 1/6 (*.f64 x x) -1/2)
(*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))
(+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))
(fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 1/2 (/.f64 (.f64 x (*.f64 (sqrt.f64 1/6) x)) (sqrt.f64 -3))))
(fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 (/.f64 (.f64 (sqrt.f64 1/6) 1/2) (/.f64 (sqrt.f64 -3) x)) x))
(+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(fma.f64 -1/8 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 x 4))) (fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(+.f64 (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 1/2 (/.f64 (.f64 x (.f64 (sqrt.f64 1/6) x)) (sqrt.f64 -3)))) (.f64 1/24 (/.f64 (*.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (sqrt.f64 -3))))
(fma.f64 1/2 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (fma.f64 1/24 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (pow.f64 x 4))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3))))
(fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (+.f64 1/2 (.f64 1/24 (*.f64 x x)))))
(+.f64 (.f64 1/16 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 6)) (pow.f64 (sqrt.f64 -3) 5))) (+.f64 (.f64 -1/8 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (pow.f64 (sqrt.f64 -3) 3))) (+.f64 (.f64 1/2 (/.f64 (.f64 (sqrt.f64 1/6) (pow.f64 x 2)) (sqrt.f64 -3))) (*.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(fma.f64 1/16 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 5) (pow.f64 x 6))) (fma.f64 -1/8 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 3) (pow.f64 x 4))) (fma.f64 1/2 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (.f64 x x))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(+.f64 (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 1/2 (/.f64 (.f64 x (.f64 (sqrt.f64 1/6) x)) (sqrt.f64 -3)))) (fma.f64 1/16 (/.f64 (sqrt.f64 1/6) (/.f64 (pow.f64 (sqrt.f64 -3) 5) (pow.f64 x 6))) (.f64 1/24 (/.f64 (*.f64 (sqrt.f64 1/6) (pow.f64 x 4)) (sqrt.f64 -3)))))
(fma.f64 1/16 (.f64 (/.f64 (pow.f64 x 6) (pow.f64 (sqrt.f64 -3) 5)) (sqrt.f64 1/6)) (fma.f64 1/2 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (fma.f64 1/24 (/.f64 (sqrt.f64 1/6) (/.f64 (sqrt.f64 -3) (pow.f64 x 4))) (.f64 (sqrt.f64 1/6) (sqrt.f64 -3)))))
(fma.f64 1/16 (.f64 (pow.f64 x 6) (/.f64 (sqrt.f64 1/6) (pow.f64 (sqrt.f64 -3) 5))) (fma.f64 (sqrt.f64 1/6) (sqrt.f64 -3) (.f64 (.f64 (.f64 x x) (/.f64 (sqrt.f64 1/6) (sqrt.f64 -3))) (+.f64 1/2 (.f64 1/24 (.f64 x x))))))
(*.f64 (sqrt.f64 1/6) x)
(+.f64 (.f64 (sqrt.f64 1/6) x) (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(fma.f64 (sqrt.f64 1/6) x (*.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)))
(fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 (sqrt.f64 1/6) x))
(*.f64 (sqrt.f64 1/6) (-.f64 x (/.f64 3/2 x)))
(+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(fma.f64 (sqrt.f64 1/6) x (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)))))
(fma.f64 (sqrt.f64 1/6) x (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 -3/2 (/.f64 -9/8 (.f64 x x)))))
(fma.f64 (sqrt.f64 1/6) x (*.f64 (sqrt.f64 1/6) (+.f64 (/.f64 -3/2 x) (/.f64 -9/8 (pow.f64 x 3)))))
(+.f64 (.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (+.f64 (.f64 (sqrt.f64 1/6) x) (+.f64 (.f64 -3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(fma.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (fma.f64 (sqrt.f64 1/6) x (fma.f64 -3/2 (/.f64 (sqrt.f64 1/6) x) (*.f64 -9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))))))
(fma.f64 (sqrt.f64 1/6) x (fma.f64 -27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 -3/2 (/.f64 -9/8 (.f64 x x))))))
(+.f64 (.f64 (sqrt.f64 1/6) (+.f64 (/.f64 -3/2 x) (/.f64 -9/8 (pow.f64 x 3)))) (.f64 (sqrt.f64 1/6) (-.f64 x (/.f64 27/16 (pow.f64 x 5)))))
(.f64 -1 (.f64 (sqrt.f64 1/6) x))
(neg.f64 (*.f64 (sqrt.f64 1/6) x))
(*.f64 (sqrt.f64 1/6) (neg.f64 x))
(+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))
(fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (neg.f64 (*.f64 (sqrt.f64 1/6) x)))
(-.f64 (/.f64 3/2 (/.f64 x (sqrt.f64 1/6))) (*.f64 (sqrt.f64 1/6) x))
(-.f64 (/.f64 (sqrt.f64 1/6) (/.f64 x 3/2)) (*.f64 (sqrt.f64 1/6) x))
(*.f64 (sqrt.f64 1/6) (-.f64 (/.f64 3/2 x) x))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (.f64 -1 (.f64 (sqrt.f64 1/6) x))))
(fma.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) (fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (neg.f64 (*.f64 (sqrt.f64 1/6) x))))
(-.f64 (fma.f64 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) 9/8 (/.f64 3/2 (/.f64 x (sqrt.f64 1/6)))) (*.f64 (sqrt.f64 1/6) x))
(-.f64 (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 3/2 (/.f64 9/8 (.f64 x x)))) (*.f64 (sqrt.f64 1/6) x))
(fma.f64 (/.f64 (sqrt.f64 1/6) x) 3/2 (*.f64 (sqrt.f64 1/6) (-.f64 (/.f64 9/8 (pow.f64 x 3)) x)))
(+.f64 (.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3))) (+.f64 (.f64 3/2 (/.f64 (sqrt.f64 1/6) x)) (+.f64 (.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5))) (.f64 -1 (*.f64 (sqrt.f64 1/6) x)))))
(fma.f64 9/8 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) (fma.f64 3/2 (/.f64 (sqrt.f64 1/6) x) (fma.f64 27/16 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) (neg.f64 (*.f64 (sqrt.f64 1/6) x)))))
(fma.f64 (/.f64 (sqrt.f64 1/6) (pow.f64 x 3)) 9/8 (fma.f64 (/.f64 (sqrt.f64 1/6) x) 3/2 (-.f64 (.f64 (/.f64 (sqrt.f64 1/6) (pow.f64 x 5)) 27/16) (.f64 (sqrt.f64 1/6) x))))
(+.f64 (/.f64 (.f64 (sqrt.f64 1/6) 27/16) (pow.f64 x 5)) (-.f64 (.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 3/2 (/.f64 9/8 (.f64 x x)))) (.f64 (sqrt.f64 1/6) x)))
(fma.f64 (/.f64 (sqrt.f64 1/6) x) (+.f64 3/2 (/.f64 9/8 (.f64 x x))) (.f64 (sqrt.f64 1/6) (-.f64 (/.f64 27/16 (pow.f64 x 5)) x)))

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
	0.1b	(/.f64 6 (fma.f64 x x -3))
✓	0.1b	(/.f64 6 (fma.f64 x x -3))
✓	0.1b	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)

Compiler

Compiled 23 to 16 computations (30.4% saved)

series4.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite51.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

728×	`pow1_binary64`
686×	`add-log-exp_binary64`
686×	`log1p-expm1-u_binary64`
686×	`expm1-log1p-u_binary64`
673×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	170	16
2	1903	16

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs

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

simplify45.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

920×	`fma-def_binary64`
534×	`fma-neg_binary64`
476×	`times-frac_binary64`
453×	`cancel-sign-sub-inv_binary64`
413×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	46	301
1	108	299
2	236	297
3	619	297
4	2284	297
5	6861	297

Stop Event

1×	node limit

Counts

72 → 68

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)
-2
(-.f64 (*.f64 -2/3 (pow.f64 x 2)) 2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (.f64 -2/3 (pow.f64 x 2))) 2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (+.f64 (.f64 -2/3 (pow.f64 x 2)) (*.f64 -2/27 (pow.f64 x 6)))) 2)
(/.f64 6 (pow.f64 x 2))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(/.f64 6 (pow.f64 x 2))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x 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)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(fma.f64 1/6 (*.f64 x x) -1/2)
-2
(-.f64 (*.f64 -2/3 (pow.f64 x 2)) 2)
(fma.f64 -2/3 (*.f64 x x) -2)
(fma.f64 (*.f64 x x) -2/3 -2)
(fma.f64 x (*.f64 x -2/3) -2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (.f64 -2/3 (pow.f64 x 2))) 2)
(+.f64 (.f64 -2/9 (pow.f64 x 4)) (fma.f64 -2/3 (.f64 x x) -2))
(fma.f64 -2/9 (pow.f64 x 4) (fma.f64 (*.f64 x x) -2/3 -2))
(fma.f64 -2/9 (pow.f64 x 4) (fma.f64 x (*.f64 x -2/3) -2))
(fma.f64 (.f64 x x) (fma.f64 x (.f64 x -2/9) -2/3) -2)
(fma.f64 x (.f64 x (fma.f64 x (.f64 x -2/9) -2/3)) -2)
(-.f64 (+.f64 (.f64 -2/9 (pow.f64 x 4)) (+.f64 (.f64 -2/3 (pow.f64 x 2)) (*.f64 -2/27 (pow.f64 x 6)))) 2)
(+.f64 (fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/3 (.f64 x x) (.f64 -2/27 (pow.f64 x 6)))) -2)
(fma.f64 -2/9 (pow.f64 x 4) (+.f64 (.f64 -2/27 (pow.f64 x 6)) (fma.f64 (.f64 x x) -2/3 -2)))
(fma.f64 -2/9 (pow.f64 x 4) (fma.f64 x (*.f64 x -2/3) (fma.f64 -2/27 (pow.f64 x 6) -2)))
(fma.f64 x (*.f64 x -2/3) (fma.f64 -2/9 (pow.f64 x 4) (fma.f64 -2/27 (pow.f64 x 6) -2)))
(fma.f64 -2/27 (pow.f64 x 6) (fma.f64 x (.f64 x (fma.f64 x (.f64 x -2/9) -2/3)) -2))
(fma.f64 (.f64 x x) (fma.f64 (pow.f64 x 4) -2/27 (fma.f64 x (.f64 x -2/9) -2/3)) -2)
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x)))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 18 (pow.f64 x 4))) (/.f64 6 (*.f64 x x)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8))) (/.f64 54 (pow.f64 x 6))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 162 (pow.f64 x 8)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 162 (pow.f64 x 8)))))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (.f64 6 (/.f64 1 (pow.f64 x 2))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x)))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (*.f64 6 (/.f64 1 (pow.f64 x 2)))))
(+.f64 (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 18 (pow.f64 x 4))) (/.f64 6 (*.f64 x x)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (.f64 54 (/.f64 1 (pow.f64 x 6))) (+.f64 (.f64 18 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 162 (/.f64 1 (pow.f64 x 8))) (.f64 6 (/.f64 1 (pow.f64 x 2))))))
(+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8))) (/.f64 54 (pow.f64 x 6))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 162 (pow.f64 x 8)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (/.f64 162 (pow.f64 x 8)))))

eval90.0ms (2.4%)

Compiler: Compiled 2543 to 2037 computations (19.9% saved)

prune28.0ms (0.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	188	4	192
Fresh	1	0	1
Picked	1	0	1
Done	1	3	4
Total	191	7	198

Error

Counts

198 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.5b	(.f64 1/6 (.f64 x x))
	25.9b	-1/2
✓	0.1b	(+.f64 -1/2 (*.f64 x (/.f64 x 6)))
▶	38.5b	(pow.f64 (*.f64 (sqrt.f64 1/6) x) 2)
▶	0.2b	(+.f64 -1/2 (/.f64 1 (/.f64 6 (*.f64 x x))))
▶	0.1b	(+.f64 -1/2 (/.f64 x (/.f64 6 x)))
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 49 to 38 computations (22.4% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series4.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite39.0ms (1%)

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	1502	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 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))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 x (*.f64 x 1/6))))))))

simplify135.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
445×	`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	107	84
5	336	84
6	1237	84
7	2113	84
8	2277	84
9	2461	84
10	2669	84
11	2960	84
12	3353	84
13	3833	84
14	4396	84
15	5078	84
16	5915	84
17	6307	84
18	6593	84
19	6867	84
20	6939	84
21	6975	84
22	7916	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 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))
(*.f64 1/6 (pow.f64 x 2))
(.f64 1/6 (.f64 x x))

localize12.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 29 to 17 computations (41.4% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite44.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

649×	`pow1_binary64`
612×	`add-log-exp_binary64`
611×	`log1p-expm1-u_binary64`
611×	`expm1-log1p-u_binary64`
599×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	151	14
2	1797	14

Stop Event

1×	node limit

Counts

2 → 48

Calls

Call 1

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

Outputs

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

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

simplify137.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
561×	`cube-prod_binary64`
558×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
452×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	14	168
2	27	168
3	53	168
4	128	168
5	386	168
6	1501	168
7	2751	168
8	2917	168
9	3101	168
10	3309	168
11	3605	168
12	3996	168
13	4474	168
14	5037	168
15	5721	168
16	6560	168
17	6956	168
18	7244	168
19	7526	168
20	7600	168
21	7634	168

Stop Event

1×	node limit

Counts

72 → 52

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))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (pow.f64 x 2))
(/.f64 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))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))
(/.f64 6 (pow.f64 x 2))
(/.f64 6 (*.f64 x x))

localize20.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(pow.f64 (*.f64 (sqrt.f64 1/6) x) 2)
	0.0b	(*.f64 (sqrt.f64 1/6) x)
✓	0.0b	(*.f64 (sqrt.f64 1/6) x)
✓	0.4b	(pow.f64 (*.f64 (sqrt.f64 1/6) x) 2)

Compiler

Compiled 16 to 13 computations (18.8% saved)

series3.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite50.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

561×	`pow1_binary64`
522×	`add-log-exp_binary64`
522×	`log1p-expm1-u_binary64`
522×	`expm1-log1p-u_binary64`
509×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	15
1	147	13
2	1537	13

Stop Event

1×	node limit

Counts

2 → 35

Calls

Call 1

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

Outputs

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

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

simplify145.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

861×	`sqr-pow_binary64`
689×	`cube-prod_binary64`
675×	`fabs-mul_binary64`
618×	`associate-l_binary64`
582×	`pow-sqr_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	144
1	17	84
2	39	84
3	98	84
4	389	84
5	2039	84
6	2152	84
7	2351	84
8	2547	84
9	2780	84
10	3083	84
11	3702	84
12	4179	84
13	4799	84
14	5509	84
15	6434	84
16	6948	84
17	7332	84
18	7698	84
19	7794	84
20	7822	84

Stop Event

1×	node limit

Counts

47 → 36

Calls

Call 1

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

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

eval49.0ms (1.3%)

Compiler: Compiled 1347 to 1049 computations (22.1% saved)

prune18.0ms (0.5%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	1	1
Picked	1	0	1
Done	0	5	5
Total	128	7	135

Error

Counts

135 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.5b	(.f64 1/6 (.f64 x x))
	25.9b	-1/2
✓	0.1b	(+.f64 -1/2 (*.f64 x (/.f64 x 6)))
▶	0.2b	(+.f64 -1/2 (*.f64 1/6 (/.f64 x (/.f64 1 x))))
✓	0.2b	(+.f64 -1/2 (/.f64 1 (/.f64 6 (*.f64 x x))))
✓	0.1b	(+.f64 -1/2 (/.f64 x (/.f64 6 x)))
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 52 to 40 computations (23.1% saved)

localize28.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 29 to 21 computations (27.6% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite161.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

636×	`pow1_binary64`
593×	`add-log-exp_binary64`
593×	`log1p-expm1-u_binary64`
593×	`expm1-log1p-u_binary64`
581×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	147	11
2	1765	11

Stop Event

1×	node limit

Counts

2 → 51

Calls

Call 1

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

Outputs

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

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

simplify142.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1106×	`sqr-pow_binary64`
618×	`cube-prod_binary64`
552×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
445×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	132
1	12	132
2	23	132
3	44	132
4	107	132
5	336	132
6	1237	132
7	2113	132
8	2277	132
9	2461	132
10	2669	132
11	2960	132
12	3353	132
13	3833	132
14	4396	132
15	5078	132
16	5915	132
17	6307	132
18	6593	132
19	6867	132
20	6939	132
21	6975	132
22	7916	132

Stop Event

1×	node limit

Counts

75 → 53

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

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

eval18.0ms (0.5%)

Compiler: Compiled 582 to 439 computations (24.6% saved)

prune45.0ms (1.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	53	7	60

Error

Counts

60 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.5b	(.f64 1/6 (.f64 x x))
	25.9b	-1/2
✓	0.1b	(+.f64 -1/2 (*.f64 x (/.f64 x 6)))
✓	0.2b	(+.f64 -1/2 (*.f64 1/6 (/.f64 x (/.f64 1 x))))
✓	0.2b	(+.f64 -1/2 (/.f64 1 (/.f64 6 (*.f64 x x))))
✓	0.1b	(+.f64 -1/2 (/.f64 x (/.f64 6 x)))
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 52 to 40 computations (23.1% saved)

regimes19.0ms (0.5%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	x
4.0ms	(*.f64 x x)
3.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)
3.0ms	(-.f64 (*.f64 x x) 3)

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 66 to 45 computations (31.8% saved)

regimes17.0ms (0.4%)

Accuracy

Total -61.0b remaining (-3559.9%)

Threshold costs -61.0b (-3559.9%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

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

Results

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch38.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	0.07561304932366755	3.8842121144293134
18.0ms	-3.0827595691772376	-0.14701193230673965

Compiler

Compiled 12 to 9 computations (25% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	38
1	21	38
2	22	38

Stop Event

1×

saturated

Calls

Call 1

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

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (+.f64 (*.f64 x x) -3) 6)
(if (<=.f64 x -6941757423509719/2251799813685248) (.f64 1/6 (.f64 x x)) (if (<=.f64 x 1394814569506472448/18446744073709551616) -1/2 (.f64 1/6 (.f64 x x))))
(if (<=.f64 x -6941757423509719/2251799813685248) (.f64 (.f64 x x) 1/6) (if (<=.f64 x 2724247206067329/36028797018963968) -1/2 (.f64 (.f64 x x) 1/6)))
-1/2

end67.0ms (1.8%)

Stop Event

1×

fuel

Compiler

Compiled 58 to 39 computations (32.8% saved)

Details

analyze3.0ms (0.1%)

sample1.4s (36%)

preprocess16.0ms (0.4%)

simplify8.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.2%)

series2.0ms (0%)

rewrite84.0ms (2.2%)

simplify138.0ms (3.6%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite61.0ms (1.6%)

simplify142.0ms (3.7%)

eval18.0ms (0.5%)

prune14.0ms (0.4%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite33.0ms (0.9%)

simplify136.0ms (3.6%)

localize11.0ms (0.3%)

series1.0ms (0%)

rewrite38.0ms (1%)

simplify137.0ms (3.6%)

localize38.0ms (1%)

series8.0ms (0.2%)

rewrite56.0ms (1.5%)

simplify40.0ms (1%)

localize13.0ms (0.3%)

series4.0ms (0.1%)

rewrite51.0ms (1.3%)

simplify45.0ms (1.2%)

eval90.0ms (2.4%)

prune28.0ms (0.7%)

localize9.0ms (0.2%)

series4.0ms (0.1%)

rewrite39.0ms (1%)

simplify135.0ms (3.5%)

localize12.0ms (0.3%)

series2.0ms (0.1%)

rewrite44.0ms (1.2%)

simplify137.0ms (3.6%)

localize20.0ms (0.5%)

series3.0ms (0.1%)

rewrite50.0ms (1.3%)

simplify145.0ms (3.8%)

eval49.0ms (1.3%)

prune18.0ms (0.5%)

localize28.0ms (0.7%)

series2.0ms (0%)

rewrite161.0ms (4.2%)

simplify142.0ms (3.7%)

eval18.0ms (0.5%)

prune45.0ms (1.2%)

regimes19.0ms (0.5%)

regimes17.0ms (0.4%)

bsearch38.0ms (1%)

simplify2.0ms (0.1%)

end67.0ms (1.8%)

Profiling