Details

analyze1.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	199.9%	-99.9%	0%	0%	0%	1
100%	199.9%	0%	-99.9%	0%	0%	0%	2

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample2.3s (90%)

Results

805.0ms	2058×	body	2048	valid
522.0ms	2604×	body	256	valid
425.0ms	2051×	body	256	infinite
363.0ms	1030×	body	1024	valid
130.0ms	513×	body	512	valid

Bogosity

preprocess14.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

6×	`*-commutative`
6×	`fma-def`
2×	`1-exp`
2×	`fma-neg`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	19	15
2	25	15
3	26	15
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify19.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative`
6×	`fma-def`
2×	`1-exp`
2×	`fma-neg`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	15
1	19	15
2	25	15
3	26	15

Stop Event

1×

saturated

Counts

1 → 3

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 20 to 13 computations (35% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Accurracy

100.0%

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(-.f64 (.f64 (.f64 x x) 2) 1)
▶	100.0%	(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 16 to 12 computations (25% saved)

localize85.0ms (3.4%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(.f64 (.f64 x x) 2)

Compiler

Compiled 20 to 11 computations (45% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite51.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1040×	`pow1`
1002×	`add-sqr-sqrt`
954×	`add-exp-log`
954×	`log1p-expm1-u`
954×	`expm1-log1p-u`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	121	13
2	1360	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(.f64 (.f64 x x) 2)

Outputs
(-.f64 (+.f64 1 (.f64 x (.f64 x 2))) 1)
(pow.f64 (.f64 x (.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 2))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 x 2)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(sqrt.f64 (*.f64 4 (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 2)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 2)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 2))))
(exp.f64 (log.f64 (.f64 x (.f64 x 2))))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 2))))

simplify45.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1438×	`log-prod`
1064×	`distribute-lft-in`
1000×	`distribute-rgt-in`
944×	`associate-r`
852×	`fma-def`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	299
1	89	299
2	331	299
3	2358	299

Stop Event

1×	node limit

Counts

23 → 13

Calls

Call 1

Inputs
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(*.f64 2 (pow.f64 x 2))
(-.f64 (+.f64 1 (.f64 x (.f64 x 2))) 1)
(pow.f64 (.f64 x (.f64 x 2)) 1)
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 2))) 3)
(pow.f64 (pow.f64 (.f64 x (.f64 x 2)) 3) 1/3)
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(sqrt.f64 (*.f64 4 (pow.f64 x 4)))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 2)))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 2)) 3))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 2))))
(exp.f64 (log.f64 (.f64 x (.f64 x 2))))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 2))))

Outputs
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(*.f64 2 (pow.f64 x 2))
(.f64 2 (.f64 x x))
(-.f64 (+.f64 1 (.f64 x (.f64 x 2))) 1)
(.f64 2 (.f64 x x))
(pow.f64 (.f64 x (.f64 x 2)) 1)
(.f64 2 (.f64 x x))
(pow.f64 (cbrt.f64 (.f64 x (.f64 x 2))) 3)
(.f64 2 (.f64 x x))
(pow.f64 (pow.f64 (.f64 x (.f64 x 2)) 3) 1/3)
(.f64 2 (.f64 x x))
(pow.f64 (*.f64 x (sqrt.f64 2)) 2)
(.f64 2 (.f64 x x))
(sqrt.f64 (*.f64 4 (pow.f64 x 4)))
(.f64 2 (.f64 x x))
(log.f64 (pow.f64 (exp.f64 x) (*.f64 x 2)))
(.f64 2 (.f64 x x))
(cbrt.f64 (pow.f64 (.f64 x (.f64 x 2)) 3))
(.f64 2 (.f64 x x))
(expm1.f64 (log1p.f64 (.f64 x (.f64 x 2))))
(.f64 2 (.f64 x x))
(exp.f64 (log.f64 (.f64 x (.f64 x 2))))
(.f64 2 (.f64 x x))
(log1p.f64 (expm1.f64 (.f64 x (.f64 x 2))))
(.f64 2 (.f64 x x))

eval3.0ms (0.1%)

Compiler: Compiled 118 to 95 computations (19.5% saved)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	1	14

Accurracy

100.0%

Counts

14 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(-.f64 (.f64 (.f64 x x) 2) 1)

Compiler

Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`unsub-neg`
4×	`sub-neg`
4×	`neg-mul-1`
4×	`+-commutative`
4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	18	19
3	21	19
4	24	19
5	27	19

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 8 to 6 computations (25% saved)

soundness0.0ms (0%)

end23.0ms (0.9%)

Compiler: Compiled 32 to 24 computations (25% saved)

Numeric.SpecFunctions:logGammaCorrection from math-functions-0.1.5.2

Details

analyze1.0ms (0%)

sample2.3s (90%)

preprocess14.0ms (0.5%)

simplify19.0ms (0.7%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize85.0ms (3.4%)

series1.0ms (0%)

rewrite51.0ms (2%)

simplify45.0ms (1.8%)

eval3.0ms (0.1%)

prune2.0ms (0.1%)

simplify4.0ms (0.2%)

soundness0.0ms (0%)

end23.0ms (0.9%)

Profiling