Details

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25.7%	74.3%	0%	0%	0%	0
100%	25.7%	0%	74.3%	0%	0%	0%	1

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample3.4s (78.8%)

Results

2.2s	6176×	body	256	valid
744.0ms	1003×	body	1024	valid
420.0ms	1050×	body	512	valid
43.0ms	27×	body	2048	valid

Bogosity

preprocess48.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

498×	`associate-l_binary64`
451×	`distribute-rgt-neg-in_binary64`
426×	`distribute-lft-neg-in_binary64`
409×	`associate-r_binary64`
366×	`distribute-rgt-out_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	32	26
2	76	26
3	270	26
4	1173	20
5	4509	20
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(*.f64 eps (+.f64 eps (+.f64 x x)))
(-.f64 (pow.f64 (+.f64 eps x) 2) (pow.f64 eps 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 eps eps))
(*.f64 x (+.f64 x (+.f64 eps eps)))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify34.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

563×	`distribute-rgt-in_binary64`
513×	`cancel-sign-sub-inv_binary64`
510×	`fma-neg_binary64`
463×	`distribute-lft-in_binary64`
412×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	49	13
3	161	13
4	636	8
5	2828	8

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Outputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(-.f64 (pow.f64 (+.f64 x eps) 2) (*.f64 x x))
(fma.f64 x (neg.f64 x) (pow.f64 (+.f64 x eps) 2))
(*.f64 eps (fma.f64 2 x eps))

eval1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% 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

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 eps (fma.f64 2 x eps))
▶	16.7b	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Compiler

Compiled 19 to 13 computations (31.6% saved)

localize10.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 eps (fma.f64 2 x eps))

Compiler

Compiled 15 to 8 computations (46.7% saved)

series4.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	eps	@	0	(*.f64 eps (fma.f64 2 x eps))
1.0ms	eps	@	-inf	(*.f64 eps (fma.f64 2 x eps))
1.0ms	eps	@	inf	(*.f64 eps (fma.f64 2 x eps))
1.0ms	x	@	0	(*.f64 eps (fma.f64 2 x eps))
1.0ms	x	@	inf	(*.f64 eps (fma.f64 2 x eps))

rewrite44.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

552×	`pow1_binary64`
531×	`add-sqr-sqrt_binary64`
507×	`add-log-exp_binary64`
507×	`log1p-expm1-u_binary64`
507×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	120	8
2	1364	8

Stop Event

1×	node limit

Counts

1 → 13

Calls

Call 1

Inputs
(*.f64 eps (fma.f64 2 x eps))

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

Outputs

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

simplify176.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

778×	`sqr-pow_binary64`
582×	`fma-def_binary64`
555×	`cube-prod_binary64`
536×	`fabs-mul_binary64`
471×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	267
1	18	231
2	37	213
3	75	177
4	166	177
5	467	177
6	1590	177
7	2841	177
8	3196	177
9	3418	177
10	3640	177
11	3957	177
12	4377	177
13	4892	177
14	5466	177
15	6166	177
16	7020	177
17	7411	177
18	7705	177
19	7979	177

Stop Event

1×	node limit

Counts

37 → 18

Calls

Call 1

Inputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))

Outputs
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 2 (.f64 eps x)) (*.f64 eps eps))
(fma.f64 2 (.f64 eps x) (.f64 eps eps))
(.f64 eps (+.f64 (.f64 2 x) eps))
(*.f64 eps (fma.f64 2 x eps))

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (+.f64 x eps) 2)
✓	2.1b	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Compiler

Compiled 25 to 13 computations (48% saved)

series6.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite65.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

963×	`pow1_binary64`
899×	`add-log-exp_binary64`
898×	`log1p-expm1-u_binary64`
898×	`expm1-log1p-u_binary64`
95×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	20
1	186	20
2	2533	20

Stop Event

1×	node limit

Counts

2 → 65

Calls

Call 1

Inputs
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))
(pow.f64 (+.f64 x eps) 2)

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

Outputs

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

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

simplify191.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

947×	`sqr-pow_binary64`
620×	`fma-def_binary64`
551×	`fabs-mul_binary64`
539×	`cube-prod_binary64`
380×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	567
1	28	486
2	65	435
3	158	393
4	425	393
5	1568	393
6	2850	393
7	3122	393
8	3308	393
9	3552	393
10	3853	393
11	4244	393
12	4751	393
13	5331	393
14	6077	393
15	6625	393
16	6955	393
17	7285	393
18	7373	393
19	7401	393

Stop Event

1×	node limit

Counts

113 → 77

Calls

Call 1

Inputs
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(.f64 2 (.f64 eps x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 x 2)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(pow.f64 eps 2)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))

Outputs
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 (.f64 2 x) eps)
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 (.f64 2 x) eps)
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(.f64 2 (.f64 eps x))
(.f64 (.f64 2 x) eps)
(.f64 eps (.f64 2 x))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (.f64 eps x) (.f64 x x))
(.f64 x (+.f64 (.f64 eps 2) x))
(*.f64 x (fma.f64 eps 2 x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (.f64 eps x) (.f64 x x))
(.f64 x (+.f64 (.f64 eps 2) x))
(*.f64 x (fma.f64 eps 2 x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 x 2)
(*.f64 x x)
(+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2))
(fma.f64 2 (.f64 eps x) (.f64 x x))
(.f64 x (+.f64 (.f64 eps 2) x))
(*.f64 x (fma.f64 eps 2 x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(pow.f64 eps 2)
(*.f64 eps eps)
(+.f64 (pow.f64 eps 2) (.f64 2 (.f64 eps x)))
(+.f64 (.f64 eps eps) (.f64 2 (*.f64 eps x)))
(fma.f64 eps eps (.f64 (.f64 2 x) eps))
(.f64 eps (+.f64 eps (.f64 2 x)))
(*.f64 eps (fma.f64 2 x eps))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))
(+.f64 (pow.f64 eps 2) (+.f64 (.f64 2 (.f64 eps x)) (pow.f64 x 2)))
(+.f64 (.f64 eps eps) (fma.f64 2 (.f64 eps x) (*.f64 x x)))
(fma.f64 eps eps (.f64 x (+.f64 (.f64 eps 2) x)))
(fma.f64 eps eps (*.f64 x (fma.f64 eps 2 x)))
(fma.f64 eps (fma.f64 2 x eps) (*.f64 x x))

eval28.0ms (0.6%)

Compiler: Compiled 1363 to 639 computations (53.1% saved)

prune13.0ms (0.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	92	3	95
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	94	3	97

Error

Counts

97 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	22.6b	(.f64 eps (.f64 2 x))
▶	0b	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
▶	17.0b	(*.f64 eps eps)

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize3.0ms (0.1%)

Compiler: Compiled 6 to 3 computations (50% saved)

localize5.0ms (0.1%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

localize12.0ms (0.3%)

Compiler: Compiled 25 to 13 computations (48% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	22.6b	(.f64 eps (.f64 2 x))
✓	0b	(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
✓	17.0b	(*.f64 eps eps)

Compiler

Compiled 23 to 15 computations (34.8% saved)

regimes13.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 2 x))
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(*.f64 eps (fma.f64 2 x eps))
(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Outputs
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))

Calls

3 calls:

5.0ms	x
4.0ms	eps
2.0ms	(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`eps`
0b	1	`(-.f64 (pow.f64 (+.f64 x eps) 2) (pow.f64 x 2))`

Compiler

Compiled 51 to 31 computations (39.2% saved)

regimes24.0ms (0.5%)

Accuracy

Total -34.6b remaining (-745.2%)

Threshold costs -34.6b (-745.2%)

Counts

2 → 3

Calls

Call 1

Inputs
(*.f64 eps eps)
(.f64 eps (.f64 2 x))

Outputs
(.f64 eps (.f64 2 x))
(*.f64 eps eps)
(.f64 eps (.f64 2 x))

Calls

2 calls:

12.0ms	x
11.0ms	eps

Results

Error	Segments	Branch
4.6b	3	`x`
6.4b	3	`eps`

Compiler

Compiled 16 to 10 computations (37.5% saved)

bsearch90.0ms (2.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
29.0ms	1.8742865165642487e-123	3.494415202401914e-119
60.0ms	-8.413253253555421e-74	-7.713978516759091e-76

Compiler

Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	47
1	19	47

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

(+.f64 (*.f64 (*.f64 2 x) eps) (*.f64 eps eps))

(if (<=.f64 x -5355656111095487/63657374260452690195888927762793067532858387302060507832379389042324415617604272068231168) (*.f64 eps (*.f64 2 x)) (if (<=.f64 x 5579997268639807/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976) (*.f64 eps eps) (*.f64 eps (*.f64 2 x))))

(*.f64 eps eps)

Outputs
(+.f64 (.f64 (.f64 2 x) eps) (*.f64 eps eps))
(+.f64 (.f64 eps eps) (.f64 (*.f64 2 x) eps))
(if (<=.f64 x -5355656111095487/63657374260452690195888927762793067532858387302060507832379389042324415617604272068231168) (.f64 eps (.f64 2 x)) (if (<=.f64 x 5579997268639807/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976) (.f64 eps eps) (.f64 eps (*.f64 2 x))))
(if (<=.f64 x -5355656111095487/63657374260452690195888927762793067532858387302060507832379389042324415617604272068231168) (.f64 (.f64 2 x) eps) (if (<=.f64 x 5579997268639807/2977131414714805823690030317109266572712515013375254774912983855843898524112477893944078543723575564536883288499266264815757728270805630976) (.f64 eps eps) (.f64 (*.f64 2 x) eps)))
(*.f64 eps eps)

Compiler

Compiled 39 to 25 computations (35.9% saved)

soundness88.0ms (2%)

Algorithm

1×	egg-herbie

Rules

563×	`distribute-rgt-in_binary64`
513×	`cancel-sign-sub-inv_binary64`
510×	`fma-neg_binary64`
463×	`distribute-lft-in_binary64`
412×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	49	13
3	161	13
4	636	8
5	2828	8

Stop Event

1×	node limit

Compiler

Compiled 212 to 127 computations (40.1% saved)

end48.0ms (1.1%)

Compiler: Compiled 35 to 19 computations (45.7% saved)

Details

analyze1.0ms (0%)

sample3.4s (78.8%)

preprocess48.0ms (1.1%)

simplify34.0ms (0.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.2%)

series4.0ms (0.1%)

rewrite44.0ms (1%)

simplify176.0ms (4.1%)

localize10.0ms (0.2%)

series6.0ms (0.1%)

rewrite65.0ms (1.5%)

simplify191.0ms (4.4%)

eval28.0ms (0.6%)

prune13.0ms (0.3%)

localize3.0ms (0.1%)

localize5.0ms (0.1%)

localize12.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes13.0ms (0.3%)

regimes24.0ms (0.5%)

bsearch90.0ms (2.1%)

simplify4.0ms (0.1%)

soundness88.0ms (2%)

end48.0ms (1.1%)

Profiling