Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
62.5%	37.5%	0%	4
81.2%	18.7%	0%	5
90.6%	9.4%	0%	6
95.3%	4.7%	0%	7
97.6%	2.3%	0%	8
98.8%	1.2%	0%	9
99.4%	0.6%	0%	10
99.7%	0.3%	0%	11
99.8%	0.1%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.0s (60.8%)

Results

1.0s

8256×

body

256

valid

preprocess75.0ms (4.4%)

Algorithm

2×	egg-herbie

Rules

476×	`fma-def_binary64`
327×	`fma-neg_binary64`
238×	`div-sub_binary64`
156×	`times-frac_binary64`
146×	`associate-/l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	29	10
5	39	10
6	52	10
7	69	10
8	88	10
9	122	10
10	158	10
11	200	10
12	292	10
13	423	10
14	725	10
15	1553	10
16	2233	10
17	2775	10
18	2958	10
19	3094	10
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify53.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

476×	`fma-def_binary64`
327×	`fma-neg_binary64`
238×	`div-sub_binary64`
156×	`times-frac_binary64`
146×	`associate-/l/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	11	10
2	15	10
3	21	10
4	29	10
5	39	10
6	52	10
7	69	10
8	88	10
9	122	10
10	158	10
11	200	10
12	292	10
13	423	10
14	725	10
15	1553	10
16	2233	10
17	2775	10
18	2958	10
19	3094	10

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

eval0.0ms (0%)

Compiler: Compiled 8 to 6 computations (25% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 8 to 6 computations (25% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))

Compiler

Compiled 16 to 11 computations (31.3% saved)

series2.0ms (0.1%)

Counts

1 → 12

Calls

3 calls:

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

rewrite53.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

787×	`pow1_binary64`
737×	`log1p-expm1-u_binary64`
737×	`expm1-log1p-u_binary64`
735×	`add-log-exp_binary64`
722×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	137	10
2	1971	10

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

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

Outputs

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

simplify83.0ms (4.8%)

Algorithm

1×	egg-herbie

Rules

830×	`fma-neg_binary64`
578×	`fma-def_binary64`
553×	`associate-l_binary64`
548×	`cancel-sign-sub-inv_binary64`
471×	`times-frac_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	29	147
1	91	135
2	268	129
3	859	126
4	2725	122

Stop Event

1×	node limit

Counts

45 → 47

Calls

Call 1

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

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

eval14.0ms (0.8%)

Compiler: Compiled 563 to 443 computations (21.3% saved)

prune16.0ms (0.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	5	48

Error

Counts

48 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.2b	(+.f64 (*.f64 2 x) 1)
	29.9b	1
▶	33.2b	(+.f64 -1 (/.f64 -2 x))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
	33.8b	-1

Compiler

Compiled 24 to 20 computations (16.7% saved)

localize5.0ms (0.3%)

Compiler: Compiled 12 to 9 computations (25% saved)

localize5.0ms (0.3%)

Compiler: Compiled 12 to 9 computations (25% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.2b	(+.f64 (*.f64 2 x) 1)
	29.9b	1
✓	33.2b	(+.f64 -1 (/.f64 -2 x))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
	33.8b	-1

Compiler

Compiled 24 to 20 computations (16.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.2b	(+.f64 (*.f64 2 x) 1)
	29.9b	1
✓	33.2b	(+.f64 -1 (/.f64 -2 x))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
	33.8b	-1

Compiler

Compiled 24 to 20 computations (16.7% saved)

eval0.0ms (0%)

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

prune6.0ms (0.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.2b	(+.f64 (*.f64 2 x) 1)
	29.9b	1
✓	33.2b	(+.f64 -1 (/.f64 -2 x))
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
	33.8b	-1

Compiler

Compiled 24 to 20 computations (16.7% saved)

regimes8.0ms (0.5%)

Counts

5 → 1

Calls

Call 1

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

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))

Calls

2 calls:

5.0ms	x
2.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(/.f64 (+.f64 x 1) (-.f64 1 x))`

Compiler

Compiled 30 to 23 computations (23.3% saved)

regimes15.0ms (0.9%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

1 calls:

14.0ms

Results

Error	Segments	Branch
0.3b	3	`x`

Compiler

Compiled 15 to 12 computations (20% saved)

bsearch44.0ms (2.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
24.0ms	0.016289073568113602	5.3163921143357934e+29
19.0ms	-260126681.61666408	-1.2478904167279607e-15

Compiler

Compiled 12 to 9 computations (25% saved)

regimes27.0ms (1.6%)

Counts

3 → 3

Calls

Call 1

Inputs
1
-1
(+.f64 (*.f64 2 x) 1)

Outputs
-1
(+.f64 (*.f64 2 x) 1)
-1

Calls

1 calls:

26.0ms

Results

Error	Segments	Branch
0.5b	3	`x`

Compiler

Compiled 10 to 8 computations (20% saved)

bsearch45.0ms (2.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
18.0ms	0.016289073568113602	5.3163921143357934e+29
27.0ms	-260126681.61666408	-1.2478904167279607e-15

Compiler

Compiled 12 to 9 computations (25% saved)

regimes10.0ms (0.6%)

Accuracy

Total -62.3b remaining (-9001%)

Threshold costs -62.3b (-9001%)

Counts

2 → 3

Calls

Call 1

Inputs
1
-1

Outputs
-1
1
-1

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
0.7b	3	`x`

Compiler

Compiled 5 to 4 computations (20% saved)

bsearch34.0ms (2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	0.016289073568113602	5.3163921143357934e+29
18.0ms	-260126681.61666408	-1.2478904167279607e-15

Compiler

Compiled 12 to 9 computations (25% saved)

simplify5.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	74
1	31	74
2	34	74
3	36	74
4	37	74

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 x 1) (-.f64 1 x))
(if (<=.f64 x -1117235590360576640/4294967296) (+.f64 -1 (/.f64 -2 x)) (if (<=.f64 x 300480371308818496/18446744073709551616) (+.f64 (*.f64 2 x) 1) -1))
(if (<=.f64 x -1117235590360576640/4294967296) -1 (if (<=.f64 x 300480371308818496/18446744073709551616) (+.f64 (*.f64 2 x) 1) -1))
(if (<=.f64 x -1117235590360576640/4294967296) -1 (if (<=.f64 x 300480371308818496/18446744073709551616) 1 -1))
1

Outputs
(/.f64 (+.f64 x 1) (-.f64 1 x))
(if (<=.f64 x -1117235590360576640/4294967296) (+.f64 -1 (/.f64 -2 x)) (if (<=.f64 x 300480371308818496/18446744073709551616) (+.f64 (*.f64 2 x) 1) -1))
(if (<=.f64 x -8728403049692005/33554432) (+.f64 -1 (/.f64 -2 x)) (if (<=.f64 x 4695005801700289/288230376151711744) (+.f64 1 (*.f64 x 2)) -1))
(if (<=.f64 x -1117235590360576640/4294967296) -1 (if (<=.f64 x 300480371308818496/18446744073709551616) (+.f64 (*.f64 2 x) 1) -1))
(if (<=.f64 x -8728403049692005/33554432) -1 (if (<=.f64 x 4695005801700289/288230376151711744) (+.f64 1 (*.f64 x 2)) -1))
(if (<=.f64 x -1117235590360576640/4294967296) -1 (if (<=.f64 x 300480371308818496/18446744073709551616) 1 -1))
(if (<=.f64 x -8728403049692005/33554432) -1 (if (<=.f64 x 4695005801700289/288230376151711744) 1 -1))
1

Compiler

Compiled 58 to 47 computations (19% saved)

soundness0.0ms (0%)

end157.0ms (9.1%)

Compiler: Compiled 54 to 43 computations (20.4% saved)

Details

analyze4.0ms (0.2%)

sample1.0s (60.8%)

preprocess75.0ms (4.4%)

simplify53.0ms (3.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.4%)

series2.0ms (0.1%)

rewrite53.0ms (3.1%)

simplify83.0ms (4.8%)

eval14.0ms (0.8%)

prune16.0ms (0.9%)

localize5.0ms (0.3%)

localize5.0ms (0.3%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune6.0ms (0.3%)

regimes8.0ms (0.5%)

regimes15.0ms (0.9%)

bsearch44.0ms (2.5%)

regimes27.0ms (1.6%)

bsearch45.0ms (2.6%)

regimes10.0ms (0.6%)

bsearch34.0ms (2%)

simplify5.0ms (0.3%)

soundness0.0ms (0%)

end157.0ms (9.1%)

Profiling