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)

sample720.0ms (21.8%)

Results

708.0ms	8256×	body	256	valid
1.0ms	11×	body	256	invalid

preprocess19.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune1.0ms (0%)

Pruning

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.1b

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize9.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

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

rewrite56.0ms (1.7%)

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	13
1	166	13
2	2033	13

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

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

Outputs

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

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

simplify171.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	159
1	23	141
2	38	141
3	63	141
4	132	141
5	359	141
6	1296	141
7	2212	141
8	2396	141
9	2580	141
10	2788	141
11	3086	141
12	3479	141
13	3962	141
14	4530	141
15	5214	141
16	6053	141
17	6445	141
18	6733	141
19	7013	141
20	7087	141
21	7121	141

Stop Event

1×	node limit

Counts

79 → 64

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

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

localize8.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

571×	`pow1_binary64`
540×	`add-log-exp_binary64`
540×	`log1p-expm1-u_binary64`
540×	`expm1-log1p-u_binary64`
532×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	129	8
2	1446	8

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

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

Outputs

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

simplify161.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

35 → 28

Calls

Call 1

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

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

eval29.0ms (0.9%)

Compiler: Compiled 882 to 662 computations (24.9% saved)

prune17.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	85	7	92
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	86	8	94

Error

Counts

94 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	39.1b	(.f64 1/6 (.f64 x x))
▶	0.1b	(fma.f64 x (*.f64 1/6 x) -1/2)
▶	8.6b	(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
	25.0b	-1/2
▶	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
▶	39.1b	(/.f64 (*.f64 x x) 6)
	1.1b	(/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -3)) 3) 6)

Compiler

Compiled 112 to 84 computations (25% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

Outputs

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

simplify174.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

50 → 40

Calls

Call 1

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

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.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
0.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))

rewrite47.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify176.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

26 → 16

Calls

Call 1

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

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite48.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

495×	`pow1_binary64`
490×	`add-sqr-sqrt_binary64`
469×	`add-log-exp_binary64`
469×	`log1p-expm1-u_binary64`
469×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	110	7
2	1320	7

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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

simplify173.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

37 → 27

Calls

Call 1

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

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

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

series3.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite48.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

Outputs

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

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

simplify159.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

44 → 37

Calls

Call 1

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

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

localize20.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
✓	8.0b	(/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3))

Compiler

Compiled 46 to 30 computations (34.8% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

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

rewrite67.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

550×	`log-prod_binary64`
331×	`pow2_binary64`
229×	`expm1-udef_binary64`
229×	`log1p-udef_binary64`
226×	`pow1/3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	31
1	287	13
2	3658	13

Stop Event

1×	node limit

Counts

2 → 88

Calls

Call 1

Inputs
(/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3))
(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)

Outputs

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

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

simplify167.0ms (5.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	159
1	23	141
2	38	141
3	63	141
4	128	141
5	365	141
6	1301	141
7	2224	141
8	2408	141
9	2592	141
10	2800	141
11	3103	141
12	3498	141
13	3979	141
14	4547	141
15	5229	141
16	6066	141
17	6458	141
18	6746	141
19	7024	141
20	7098	141
21	7132	141

Stop Event

1×	node limit

Counts

112 → 97

Calls

Call 1

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

eval65.0ms (2%)

Compiler: Compiled 2299 to 1705 computations (25.8% saved)

prune30.0ms (0.9%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	214	3	217
Fresh	2	0	2
Picked	0	1	1
Done	1	4	5
Total	217	8	225

Error

Counts

225 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	39.1b	(.f64 1/6 (.f64 x x))
▶	39.1b	(*.f64 (/.f64 x 6) x)
✓	8.6b	(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
	25.0b	-1/2
▶	39.1b	(.f64 x (.f64 x 1/6))
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	39.1b	(/.f64 (*.f64 x x) 6)

Compiler

Compiled 56 to 41 computations (26.8% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series2.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite45.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

448×	`pow1_binary64`
434×	`add-sqr-sqrt_binary64`
425×	`*-un-lft-identity_binary64`
415×	`add-log-exp_binary64`
415×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	101	11
2	1141	11

Stop Event

1×	node limit

Counts

2 → 22

Calls

Call 1

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

Outputs

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

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

simplify179.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	132
1	14	132
2	23	132
3	42	132
4	102	132
5	321	132
6	1252	132
7	2126	132
8	2290	132
9	2474	132
10	2682	132
11	2978	132
12	3371	132
13	3852	132
14	4418	132
15	5106	132
16	5941	132
17	6333	132
18	6623	132
19	6895	132
20	6967	132
21	7003	132
22	7944	132

Stop Event

1×	node limit

Counts

46 → 25

Calls

Call 1

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

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (1.4%)

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

simplify172.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

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

eval10.0ms (0.3%)

Compiler: Compiled 312 to 221 computations (29.2% saved)

prune9.0ms (0.3%)

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	43	9	52

Error

Counts

52 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	39.1b	(.f64 1/6 (.f64 x x))
✓	39.1b	(*.f64 (/.f64 x 6) x)
✓	8.6b	(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
	25.0b	-1/2
✓	39.1b	(.f64 x (.f64 x 1/6))
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
▶	39.1b	(/.f64 x (/.f64 6 x))
✓	39.1b	(/.f64 (*.f64 x x) 6)

Compiler

Compiled 62 to 45 computations (27.4% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

eval10.0ms (0.3%)

Compiler: Compiled 379 to 258 computations (31.9% saved)

prune8.0ms (0.3%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	40	9	49

Error

Counts

49 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	39.1b	(.f64 1/6 (.f64 x x))
✓	39.1b	(*.f64 (/.f64 x 6) x)
✓	8.6b	(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
	25.0b	-1/2
✓	39.1b	(.f64 x (.f64 x 1/6))
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
✓	39.1b	(/.f64 x (/.f64 6 x))
✓	39.1b	(/.f64 (*.f64 x x) 6)

Compiler

Compiled 62 to 45 computations (27.4% saved)

regimes35.0ms (1.1%)

Counts

13 → 1

Calls

Call 1

Inputs
-1/2
-1/2
(/.f64 x (/.f64 6 x))
(*.f64 (/.f64 x 6) x)
(.f64 x (.f64 x 1/6))
(.f64 1/6 (.f64 x x))
(/.f64 (*.f64 x x) 6)
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(fma.f64 x (*.f64 1/6 x) -1/2)
(/.f64 (fma.f64 x x -3) 6)
(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 x x) -3)) 6)
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -3)) 3) 6)

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 114 to 75 computations (34.2% saved)

regimes21.0ms (0.6%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 68 to 43 computations (36.8% saved)

regimes16.0ms (0.5%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 45 to 27 computations (40% saved)

regimes31.0ms (0.9%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

15.0ms	x
7.0ms	(*.f64 x x)
7.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 38 to 22 computations (42.1% saved)

bsearch32.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	3.989449587946897e-6	54.046873490728544
16.0ms	-23.703143750732394	-0.11036669577175189

Compiler

Compiled 12 to 9 computations (25% saved)

regimes32.0ms (1%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

3 calls:

16.0ms	x
7.0ms	(*.f64 x x)
7.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.012180807535574436	561.8390236678841

Compiler

Compiled 12 to 9 computations (25% saved)

regimes12.0ms (0.4%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

1 calls:

11.0ms

Results

Error	Segments	Branch
1.5b	3	`x`

Compiler

Compiled 10 to 7 computations (30% saved)

bsearch32.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	3.989449587946897e-6	54.046873490728544
16.0ms	-23.703143750732394	-0.11036669577175189

Compiler

Compiled 12 to 9 computations (25% saved)

regimes5.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

2 → 1

Calls

Call 1

Inputs
-1/2
-1/2

Outputs
-1/2

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
25.0b	1	`x`

Compiler

Compiled 5 to 4 computations (20% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	100
1	35	100
2	37	100

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (fma.f64 x x -3) 6)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(if (<=.f64 x -1667960458801683/70368744177664) (/.f64 (.f64 x x) 6) (if (<=.f64 x 1177477688701159/295147905179352825856) -1/2 (.f64 (/.f64 x 6) x)))
(if (<=.f64 (.f64 x x) 5764607523034235/288230376151711744) -1/2 (.f64 (/.f64 x 6) x))
(if (<=.f64 x -1667960458801683/70368744177664) (/.f64 x (/.f64 6 x)) (if (<=.f64 x 1177477688701159/295147905179352825856) -1/2 (/.f64 x (/.f64 6 x))))
-1/2

Outputs
(/.f64 (fma.f64 x x -3) 6)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (+.f64 (*.f64 x x) -3) 6)
(/.f64 (+.f64 -3 (*.f64 x x)) 6)
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(+.f64 (/.f64 x (/.f64 6 x)) -1/2)
(if (<=.f64 x -1667960458801683/70368744177664) (/.f64 (.f64 x x) 6) (if (<=.f64 x 1177477688701159/295147905179352825856) -1/2 (.f64 (/.f64 x 6) x)))
(if (<=.f64 x -1667960458801683/70368744177664) (/.f64 (.f64 x x) 6) (if (<=.f64 x 1177477688701159/295147905179352825856) -1/2 (.f64 x (/.f64 x 6))))
(if (<=.f64 (.f64 x x) 5764607523034235/288230376151711744) -1/2 (.f64 (/.f64 x 6) x))
(if (<=.f64 (.f64 x x) 5764607523034235/288230376151711744) -1/2 (.f64 x (/.f64 x 6)))
(if (<=.f64 x -1667960458801683/70368744177664) (/.f64 x (/.f64 6 x)) (if (<=.f64 x 1177477688701159/295147905179352825856) -1/2 (/.f64 x (/.f64 6 x))))
-1/2

Compiler

Compiled 78 to 56 computations (28.2% saved)

soundness9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Compiler

Compiled 23 to 17 computations (26.1% saved)

end53.0ms (1.6%)

Compiler: Compiled 72 to 48 computations (33.3% saved)

Details

analyze3.0ms (0.1%)

sample720.0ms (21.8%)

preprocess19.0ms (0.6%)

simplify10.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.3%)

series3.0ms (0.1%)

rewrite56.0ms (1.7%)

simplify171.0ms (5.2%)

localize8.0ms (0.2%)

series2.0ms (0.1%)

rewrite46.0ms (1.4%)

simplify161.0ms (4.9%)

eval29.0ms (0.9%)

prune17.0ms (0.5%)

localize8.0ms (0.3%)

series1.0ms (0%)

rewrite51.0ms (1.5%)

simplify174.0ms (5.3%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite47.0ms (1.4%)

simplify176.0ms (5.3%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite48.0ms (1.5%)

simplify173.0ms (5.2%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite48.0ms (1.5%)

simplify159.0ms (4.8%)

localize20.0ms (0.6%)

series3.0ms (0.1%)

rewrite67.0ms (2%)

simplify167.0ms (5.1%)

eval65.0ms (2%)

prune30.0ms (0.9%)

localize6.0ms (0.2%)

series2.0ms (0%)

rewrite45.0ms (1.4%)

simplify179.0ms (5.4%)

localize5.0ms (0.2%)

series1.0ms (0%)

rewrite46.0ms (1.4%)

simplify172.0ms (5.2%)

eval10.0ms (0.3%)

prune9.0ms (0.3%)

localize5.0ms (0.2%)

eval10.0ms (0.3%)

prune8.0ms (0.3%)

regimes35.0ms (1.1%)

regimes21.0ms (0.6%)

regimes16.0ms (0.5%)

regimes31.0ms (0.9%)

bsearch32.0ms (1%)

regimes32.0ms (1%)

bsearch0.0ms (0%)

regimes12.0ms (0.4%)

bsearch32.0ms (1%)

regimes5.0ms (0.2%)

simplify8.0ms (0.2%)

soundness9.0ms (0.3%)

end53.0ms (1.6%)

Profiling