Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.6%	0.2%	0.2%	11
99.6%	0.1%	0.3%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample4.5s (89.2%)

Results

4.5s	8197×	body	256	valid
6.0ms	36×	body	1024	valid
3.0ms	23×	body	512	valid
0.0ms	3×	body	256	invalid

preprocess16.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	11	5
2	13	5
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(-.f64 (*.f64 x 116) 16)

Outputs
(-.f64 (*.f64 x 116) 16)
(fma.f64 x 116 -16)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	11	5
2	13	5

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (*.f64 x 116) 16)

Outputs
(-.f64 (*.f64 x 116) 16)
(fma.f64 x 116 -16)

eval1.0ms (0%)

Compiler: Compiled 10 to 8 computations (20% 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 (*.f64 x 116) 16)
▶	0b	(fma.f64 x 116 -16)

Compiler

Compiled 11 to 9 computations (18.2% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 x 116 -16)
✓	0.0b	(fma.f64 x 116 -16)

Compiler

Compiled 8 to 6 computations (25% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(fma.f64 x 116 -16)
1.0ms	x	@	inf	(fma.f64 x 116 -16)
0.0ms	x	@	0	(fma.f64 x 116 -16)

rewrite48.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

434×	`pow1_binary64`
430×	`add-sqr-sqrt_binary64`
417×	`*-un-lft-identity_binary64`
408×	`add-log-exp_binary64`
408×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	102	5
2	1073	5

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(fma.f64 x 116 -16)

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

Outputs

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	54
1	11	54
2	13	54

Stop Event

1×

saturated

Counts

36 → 28

Calls

Call 1

Inputs
-16
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)

Outputs
-16
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(-.f64 (*.f64 x 116) 16)
✓	0.0b	(-.f64 (*.f64 x 116) 16)

Compiler

Compiled 12 to 9 computations (25% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(-.f64 (*.f64 x 116) 16)
0.0ms	x	@	inf	(-.f64 (*.f64 x 116) 16)
0.0ms	x	@	-inf	(-.f64 (*.f64 x 116) 16)

rewrite38.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

644×	`pow1_binary64`
610×	`add-log-exp_binary64`
610×	`log1p-expm1-u_binary64`
610×	`expm1-log1p-u_binary64`
601×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	5
1	136	5
2	1602	5

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(-.f64 (*.f64 x 116) 16)

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

Outputs

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

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	54
1	11	54
2	13	54

Stop Event

1×

saturated

Counts

44 → 35

Calls

Call 1

Inputs
-16
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)

Outputs
-16
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)

eval18.0ms (0.4%)

Compiler: Compiled 572 to 461 computations (19.4% saved)

prune12.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	60	3	63
Fresh	0	0	0
Picked	0	1	1
Done	1	0	1
Total	61	4	65

Error

Counts

65 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	11.9b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
✓	0.0b	(-.f64 (*.f64 x 116) 16)
	29.3b	-16
▶	34.8b	(*.f64 116 x)

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize3.0ms (0.1%)

Compiler: Compiled 6 to 4 computations (33.3% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	11.0b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
	0.3b	(.f64 13456 (.f64 x x))
✓	0.3b	(.f64 13456 (.f64 x x))
✓	11.0b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))

Compiler

Compiled 42 to 27 computations (35.7% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
1.0ms	x	@	inf	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
1.0ms	x	@	inf	(.f64 13456 (.f64 x x))
0.0ms	x	@	0	(.f64 13456 (.f64 x x))
0.0ms	x	@	-inf	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))

rewrite55.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

563×	`log-prod_binary64`
321×	`prod-diff_binary64`
320×	`pow2_binary64`
282×	`fma-def_binary64`
246×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	22
1	274	12
2	3528	12

Stop Event

1×	node limit

Counts

2 → 73

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
(.f64 13456 (.f64 x x))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 116) -16)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -16 (*.f64 x 116))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 x 116 -16))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x 116 -16))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x 116 -16)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 116 -16)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x 116 -16)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x 116) 16)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 x 116 -16))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x (*.f64 13456 x) -256) (/.f64 1 (fma.f64 x 116 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 x 116 -16) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 x 116 -16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 x 116 -16)) (pow.f64 (cbrt.f64 (fma.f64 x 116 -16)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x 116 -16)) 2) (cbrt.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) 2) (*.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (/.f64 1 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x 116 -16)) (sqrt.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (*.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (/.f64 1 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (fma.f64 x (*.f64 13456 x) -256)) (/.f64 1 (neg.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (fma.f64 x 116 16)) (fma.f64 x (*.f64 13456 x) -256))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (fma.f64 x 116 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) 1) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (fma.f64 x 116 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 x 116 16)) -2) (/.f64 (fma.f64 x (*.f64 13456 x) -256) (cbrt.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) 2) (pow.f64 (cbrt.f64 (fma.f64 x 116 16)) 2)) (cbrt.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (pow.f64 (cbrt.f64 (fma.f64 x 116 16)) 2)) (/.f64 (sqrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (cbrt.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (fma.f64 x 116 16) -1/2) (/.f64 (fma.f64 x (*.f64 13456 x) -256) (sqrt.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) 2) (sqrt.f64 (fma.f64 x 116 16))) (/.f64 (cbrt.f64 (fma.f64 x (*.f64 13456 x) -256)) (sqrt.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (fma.f64 x (*.f64 13456 x) -256) (fma.f64 1560896 (pow.f64 x 3) 4096)) (fma.f64 13456 (*.f64 x x) (fma.f64 x -1856 256)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 x 116 -16) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x 116 -16) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 x 116 -16) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 x 116 -16)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 x 116 -16)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 (fma.f64 x 116 -16)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 (fma.f64 x (*.f64 13456 x) -256) 3) (pow.f64 (fma.f64 x 116 16) 3)) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 1 (fma.f64 x 116 -16)) 1) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (fma.f64 x (*.f64 13456 x) -256) (neg.f64 (fma.f64 x 116 16))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 x 116 -16) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 x 116 -16))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 x 116 -16) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (fma.f64 x (*.f64 13456 x) -256) 3) (pow.f64 (fma.f64 x 116 16) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 116 -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 116 x -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x 116) 1 -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 x 116) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x 116)) (pow.f64 (cbrt.f64 (*.f64 x 116)) 2) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 x 116)) 2) (cbrt.f64 (*.f64 x 116)) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) 116) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 x 116)) (sqrt.f64 (*.f64 x 116)) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) 116) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 13456 x)) (sqrt.f64 x) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (cbrt.f64 (*.f64 181063936 (pow.f64 x 4)))) (sqrt.f64 (pow.f64 (cbrt.f64 (*.f64 x 116)) 2)) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 116 (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x) -16)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 116 (sqrt.f64 x)) (sqrt.f64 x) -16)))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 x 116 -16)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 x 116 -16)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 x 116 -16)))))))

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

simplify136.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1123×	`sqr-pow_binary64`
565×	`cube-prod_binary64`
561×	`fabs-mul_binary64`
541×	`pow-sqr_binary64`
509×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	138
1	21	138
2	34	138
3	60	138
4	135	138
5	391	138
6	1408	138
7	2305	138
8	2469	138
9	2681	138
10	2901	138
11	3201	138
12	3601	138
13	4087	138
14	4650	138
15	5338	138
16	6173	138
17	6567	138
18	6857	138
19	7135	138
20	7209	138
21	7243	138

Stop Event

1×	node limit

Counts

97 → 78

Calls

Call 1

Inputs
-16
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(-.f64 (*.f64 116 x) 16)
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))
(*.f64 13456 (pow.f64 x 2))

Outputs
-16
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 116 x)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(-.f64 (*.f64 116 x) 16)
(fma.f64 116 x -16)
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))
(*.f64 13456 (pow.f64 x 2))
(.f64 13456 (.f64 x x))
(.f64 x (.f64 x 13456))

eval29.0ms (0.6%)

Compiler: Compiled 974 to 777 computations (20.2% saved)

prune10.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	78	4	82

Error

Counts

82 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.9b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
✓	0.0b	(-.f64 (*.f64 x 116) 16)
	29.3b	-16
✓	34.8b	(*.f64 116 x)

Compiler

Compiled 26 to 21 computations (19.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.9b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
✓	0.0b	(-.f64 (*.f64 x 116) 16)
	29.3b	-16
✓	34.8b	(*.f64 116 x)

Compiler

Compiled 26 to 21 computations (19.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	11.9b	(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))
✓	0.0b	(-.f64 (*.f64 x 116) 16)
	29.3b	-16
✓	34.8b	(*.f64 116 x)

Compiler

Compiled 26 to 21 computations (19.2% saved)

regimes14.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

Inputs
-16
(*.f64 116 x)
(-.f64 (*.f64 x 116) 16)
(/.f64 (+.f64 (.f64 13456 (.f64 x x)) -256) (-.f64 (*.f64 x 116) -16))

Outputs
(-.f64 (*.f64 x 116) 16)

Calls

3 calls:

4.0ms	(*.f64 x 116)
4.0ms	x
3.0ms	(-.f64 (*.f64 x 116) 16)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(-.f64 (*.f64 x 116) 16)`
0.0b	1	`(*.f64 x 116)`

Compiler

Compiled 35 to 27 computations (22.9% saved)

regimes12.0ms (0.2%)

Accuracy

Total -59.0b remaining (-2270.2%)

Threshold costs -59.0b (-2270.2%)

Counts

2 → 3

Calls

Call 1

Inputs
-16
(*.f64 116 x)

Outputs
(*.f64 116 x)
-16
(*.f64 116 x)

Calls

1 calls:

11.0ms

Results

Error	Segments	Branch
2.6b	3	`x`

Compiler

Compiled 7 to 5 computations (28.6% saved)

bsearch54.0ms (1.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	0.020906970886639117	0.39211478482209317
40.0ms	-4.405786177188472	-0.001343051659460351

Compiler

Compiled 10 to 8 computations (20% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	29
1	19	29
2	20	29

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (*.f64 x 116) 16)
(if (<=.f64 x -4960474246465021/1125899906842624) (.f64 116 x) (if (<=.f64 x 385665541302328256/18446744073709551616) -16 (.f64 116 x)))
-16

Outputs
(-.f64 (*.f64 x 116) 16)
(+.f64 (*.f64 x 116) -16)
(if (<=.f64 x -4960474246465021/1125899906842624) (.f64 116 x) (if (<=.f64 x 385665541302328256/18446744073709551616) -16 (.f64 116 x)))
(if (<=.f64 x -4960474246465021/1125899906842624) (.f64 x 116) (if (<=.f64 x 6026024082848879/288230376151711744) -16 (.f64 x 116)))
-16

end27.0ms (0.5%)

Stop Event

1×

fuel

Compiler

Compiled 46 to 36 computations (21.7% saved)

Details

analyze3.0ms (0.1%)

sample4.5s (89.2%)

preprocess16.0ms (0.3%)

simplify11.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite48.0ms (0.9%)

simplify8.0ms (0.2%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite38.0ms (0.8%)

simplify8.0ms (0.2%)

eval18.0ms (0.4%)

prune12.0ms (0.2%)

localize3.0ms (0.1%)

localize17.0ms (0.3%)

series3.0ms (0.1%)

rewrite55.0ms (1.1%)

simplify136.0ms (2.7%)

eval29.0ms (0.6%)

prune10.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes14.0ms (0.3%)

regimes12.0ms (0.2%)

bsearch54.0ms (1.1%)

simplify3.0ms (0.1%)

end27.0ms (0.5%)

Profiling