Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
75%	75%	25%	0%	0%	0%	0%	4
85.7%	75%	12.5%	0%	12.5%	0%	0%	5
92.3%	75%	6.2%	0%	18.7%	0%	0%	6
96%	75%	3.1%	0%	21.9%	0%	0%	7
98%	75%	1.6%	0%	23.4%	0%	0%	8
99%	75%	0.8%	0%	24.2%	0%	0%	9
99.5%	75%	0.4%	0%	24.6%	0%	0%	10
99.7%	75%	0.2%	0%	24.8%	0%	0%	11
99.9%	75%	0.1%	0%	24.9%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample711.0ms (27.4%)

Results

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

Bogosity

preprocess19.0ms (0.7%)

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)

simplify8.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 10 computations (47.4% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

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

Outputs

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

simplify159.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

37 → 30

Calls

Call 1

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

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

eval8.0ms (0.3%)

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

prune6.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	25	5	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	6	31

Error

0.0b

Counts

31 → 6

Alt Table

Click to see full alt table

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

Compiler

Compiled 40 to 30 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 5 computations (54.5% saved)

series1.0ms (0.1%)

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

rewrite43.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify172.0ms (6.6%)

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

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite47.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 38

Calls

Call 1

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

Outputs

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

simplify171.0ms (6.6%)

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

localize10.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	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.2%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
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)
1.0ms	x	@	inf	(pow.f64 (/.f64 6 (fma.f64 x x -3)) -1)
0.0ms	x	@	inf	(/.f64 6 (fma.f64 x x -3))
0.0ms	x	@	-inf	(/.f64 6 (fma.f64 x x -3))

rewrite61.0ms (2.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	1908	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 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 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 (pow.f64 (/.f64 6 (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 expm1.f64 (log1p.f64 (/.f64 6 (fma.f64 x x -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))))))))

simplify51.0ms (2%)

Algorithm

1×	egg-herbie

Rules

916×	`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	612	297
4	2367	297
5	7000	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)
(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)
-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 x (*.f64 x -2/3) (fma.f64 -2/9 (pow.f64 x 4) -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)
(+.f64 (fma.f64 -2/9 (pow.f64 x 4) (fma.f64 (.f64 x x) -2/3 (.f64 -2/27 (pow.f64 x 6)))) -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/27 (pow.f64 x 6) (fma.f64 -2/9 (pow.f64 x 4) -2)))
(fma.f64 x (*.f64 x (fma.f64 (pow.f64 x 4) -2/27 -2/3)) (fma.f64 -2/9 (pow.f64 x 4) -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 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x))) (/.f64 54 (pow.f64 x 6)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 18 (pow.f64 x 4)) (/.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 6 (*.f64 x x)) (+.f64 (/.f64 162 (pow.f64 x 8)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 162 (pow.f64 x 8)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 6 (*.f64 x x)) (/.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 18 (pow.f64 x 4)) (/.f64 6 (*.f64 x x))) (/.f64 54 (pow.f64 x 6)))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6))))
(+.f64 (/.f64 6 (*.f64 x x)) (+.f64 (/.f64 18 (pow.f64 x 4)) (/.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 6 (*.f64 x x)) (+.f64 (/.f64 162 (pow.f64 x 8)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 162 (pow.f64 x 8)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 54 (pow.f64 x 6)))))
(+.f64 (/.f64 18 (pow.f64 x 4)) (+.f64 (/.f64 54 (pow.f64 x 6)) (+.f64 (/.f64 6 (*.f64 x x)) (/.f64 162 (pow.f64 x 8)))))

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

series3.0ms (0.1%)

Counts

2 → 12

Calls

6 calls:

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

rewrite49.0ms (1.9%)

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

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)

eval46.0ms (1.8%)

Compiler: Compiled 1750 to 1322 computations (24.5% saved)

prune22.0ms (0.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	157	4	161
Fresh	1	0	1
Picked	1	0	1
Done	1	3	4
Total	160	7	167

Error

Counts

167 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	43.2b	(.f64 x (.f64 1/6 x))
▶	29.4b	(-.f64 (.f64 (.f64 (*.f64 x 1/6) (sqrt.f64 x)) (sqrt.f64 x)) 1/2)
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
	19.8b	-1/2
✓	43.3b	(.f64 1/6 (.f64 x x))
▶	0.1b	(-.f64 (*.f64 (/.f64 x -6) (neg.f64 x)) 1/2)

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite46.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify173.0ms (6.7%)

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

localize13.0ms (0.5%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 35 to 19 computations (45.7% saved)

series6.0ms (0.2%)

Counts

3 → 24

Calls

9 calls:

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

rewrite62.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

637×	`pow1_binary64`
590×	`add-log-exp_binary64`
590×	`log1p-expm1-u_binary64`
590×	`expm1-log1p-u_binary64`
577×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	143	18
2	1667	18

Stop Event

1×	node limit

Counts

3 → 33

Calls

Call 1

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

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

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

simplify88.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

618×	`unswap-sqr_binary64`
510×	`unsub-neg_binary64`
351×	`fma-def_binary64`
292×	`fma-neg_binary64`
287×	`sqr-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	132
1	27	132
2	60	132
3	166	132
4	717	132
5	1166	132
6	2221	132
7	2692	132
8	3282	132
9	4128	132
10	5772	132
11	7438	132

Stop Event

1×	node limit

Counts

57 → 37

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

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 14 computations (39.1% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

515×	`pow1_binary64`
508×	`add-sqr-sqrt_binary64`
485×	`add-log-exp_binary64`
484×	`log1p-expm1-u_binary64`
484×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	134	7
2	1736	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 x (*.f64 x -1/6)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.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 (*.f64 x 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 neg.f64 (*.f64 x (*.f64 x -1/6)))))) (#(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 (6.6%)

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

eval21.0ms (0.8%)

Compiler: Compiled 831 to 593 computations (28.6% saved)

prune14.0ms (0.5%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	83	0	83
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	83	7	90

Error

Counts

90 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	43.2b	(.f64 x (.f64 1/6 x))
✓	29.4b	(-.f64 (.f64 (.f64 (*.f64 x 1/6) (sqrt.f64 x)) (sqrt.f64 x)) 1/2)
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
	19.8b	-1/2
✓	43.3b	(.f64 1/6 (.f64 x x))
✓	0.1b	(-.f64 (*.f64 (/.f64 x -6) (neg.f64 x)) 1/2)

Compiler

Compiled 51 to 37 computations (27.5% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	43.2b	(.f64 x (.f64 1/6 x))
✓	29.4b	(-.f64 (.f64 (.f64 (*.f64 x 1/6) (sqrt.f64 x)) (sqrt.f64 x)) 1/2)
✓	0.1b	(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
	19.8b	-1/2
✓	43.3b	(.f64 1/6 (.f64 x x))
✓	0.1b	(-.f64 (*.f64 (/.f64 x -6) (neg.f64 x)) 1/2)

Compiler

Compiled 51 to 37 computations (27.5% saved)

regimes29.0ms (1.1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

7 calls:

6.0ms	x
4.0ms	(*.f64 x x)
4.0ms	(*.f64 x x)
3.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)
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 98 to 66 computations (32.7% saved)

regimes23.0ms (0.9%)

Counts

4 → 2

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 23 to 14 computations (39.1% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	2.3353067950644136e-5	741448071791.6085

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.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:

3.0ms

Results

Error	Segments	Branch
19.8b	1	`x`

Compiler

Compiled 5 to 4 computations (20% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	20	28
2	21	28

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(if (<=.f64 (.f64 x x) 5902958103587057/147573952589676412928) -1/2 (.f64 x (*.f64 1/6 x)))
-1/2

Outputs
(-.f64 (/.f64 x (/.f64 6 x)) 1/2)
(+.f64 (/.f64 x (/.f64 6 x)) -1/2)
(if (<=.f64 (.f64 x x) 5902958103587057/147573952589676412928) -1/2 (.f64 x (*.f64 1/6 x)))
(if (<=.f64 (.f64 x x) 5902958103587057/147573952589676412928) -1/2 (.f64 x (*.f64 x 1/6)))
-1/2

Compiler

Compiled 23 to 17 computations (26.1% saved)

soundness0.0ms (0%)

end24.0ms (0.9%)

Compiler: Compiled 21 to 15 computations (28.6% saved)

Details

analyze4.0ms (0.2%)

sample711.0ms (27.4%)

preprocess19.0ms (0.7%)

simplify8.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series2.0ms (0.1%)

rewrite56.0ms (2.2%)

simplify159.0ms (6.1%)

eval8.0ms (0.3%)

prune6.0ms (0.2%)

localize5.0ms (0.2%)

series1.0ms (0.1%)

rewrite43.0ms (1.7%)

simplify172.0ms (6.6%)

localize8.0ms (0.3%)

series1.0ms (0%)

rewrite47.0ms (1.8%)

simplify171.0ms (6.6%)

localize10.0ms (0.4%)

series4.0ms (0.2%)

rewrite61.0ms (2.3%)

simplify51.0ms (2%)

localize6.0ms (0.2%)

series3.0ms (0.1%)

rewrite49.0ms (1.9%)

simplify159.0ms (6.1%)

eval46.0ms (1.8%)

prune22.0ms (0.8%)

localize4.0ms (0.2%)

series1.0ms (0%)

rewrite46.0ms (1.8%)

simplify173.0ms (6.7%)

localize13.0ms (0.5%)

series6.0ms (0.2%)

rewrite62.0ms (2.4%)

simplify88.0ms (3.4%)

localize9.0ms (0.4%)

series2.0ms (0.1%)

rewrite51.0ms (2%)

simplify172.0ms (6.6%)

eval21.0ms (0.8%)

prune14.0ms (0.5%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes29.0ms (1.1%)

regimes23.0ms (0.9%)

bsearch0.0ms (0%)

regimes4.0ms (0.2%)

simplify5.0ms (0.2%)

soundness0.0ms (0%)

end24.0ms (0.9%)

Profiling