Details

analyze1.2s (21.2%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	49.3%	50.7%	0%	0%	0%	0
0%	0%	97.1%	2.9%	0%	0%	0%	1
0%	0%	191.5%	-91.5%	0%	0%	0%	2
0%	0%	377.3%	-277.3%	0%	0%	0%	3
0%	0%	743.2%	-643.2%	0%	0%	0%	4
0%	0%	1463.7%	-1363.7%	0%	0%	0%	5
0%	0%	2882%	-2782%	0%	0%	0%	6
0%	0%	5673.4%	-5573.4%	0%	0%	0%	7
0%	0%	11165.6%	-11065.6%	0%	0%	0%	8
0%	0%	21968.8%	-21868.8%	0%	0%	0%	9
0%	0%	43212.5%	-43112.5%	0%	0%	0%	10
0%	0%	84975%	-84875%	0%	0%	0%	11
0%	0%	167050%	-166950%	0%	0%	0%	12

Compiler

Compiled 17 to 9 computations (47.1% saved)

sample3.9s (67.4%)

Results

2.0s	8256×	body	256	valid
1.8s	8351×	body	256	precondition

Bogosity

preprocess217.0ms (3.8%)

Algorithm

2×	egg-herbie

Rules

2556×	`sqr-pow`
1566×	`cube-prod`
1330×	`pow-sqr`
842×	`unpow3`
724×	`unswap-sqr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	17	15
2	34	15
3	49	15
4	74	15
5	126	15
6	242	15
7	699	15
8	1397	15
9	1498	15
10	1631	15
11	1789	15
12	2025	15
13	2336	15
14	2741	15
15	3222	15
16	3789	15
17	4469	15
18	4740	15
19	4980	15
20	5160	15
21	5288	15
22	5358	15
23	6272	15
24	7239	15
25	7623	15
26	7927	15
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Outputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))

Compiler

Compiled 11 to 5 computations (54.5% saved)

simplify212.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

2556×	`sqr-pow`
1566×	`cube-prod`
1330×	`pow-sqr`
842×	`unpow3`
724×	`unswap-sqr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	17	15
2	34	15
3	49	15
4	74	15
5	126	15
6	242	15
7	699	15
8	1397	15
9	1498	15
10	1631	15
11	1789	15
12	2025	15
13	2336	15
14	2741	15
15	3222	15
16	3789	15
17	4469	15
18	4740	15
19	4980	15
20	5160	15
21	5288	15
22	5358	15
23	6272	15
24	7239	15
25	7623	15
26	7927	15

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Outputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))
(+.f64 (*.f64 x x) (pow.f64 x 3))
(*.f64 x (fma.f64 x x x))

eval1.0ms (0%)

Compiler: Compiled 23 to 9 computations (60.9% saved)

prune1.0ms (0%)

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 x (.f64 x x)) (*.f64 x x))
▶	100.0%	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Compiler

Compiled 20 to 8 computations (60% saved)

localize66.0ms (1.1%)

Local Accuracy

Found 1 expressions with local accuracy:

New	Accuracy	Program
✓	99.9%	(.f64 x (.f64 x x))

Compiler

Compiled 20 to 5 computations (75% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite49.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

820×	`pow1`
788×	`add-sqr-sqrt`
770×	`*-un-lft-identity`
760×	`add-exp-log`
760×	`log1p-expm1-u`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

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

simplify61.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1268×	`unswap-sqr`
908×	`fma-def`
762×	`log-prod`
472×	`exp-prod`
444×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	55	284
1	114	270
2	268	246
3	993	246
4	4597	246
5	7758	246

Stop Event

1×	node limit

Counts

32 → 22

Calls

Call 1

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

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

eval5.0ms (0.1%)

Compiler: Compiled 234 to 140 computations (40.2% saved)

prune3.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	1	23

Accurracy

100.0%

Counts

23 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

Compiler

Compiled 20 to 8 computations (60% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	25
1	8	25

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x (.f64 x x)) (*.f64 x x))

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

Compiler

Compiled 10 to 4 computations (60% saved)

soundness0.0ms (0%)

end33.0ms (0.6%)

Compiler: Compiled 56 to 26 computations (53.6% saved)

Expression 3, p15

Details

analyze1.2s (21.2%)

sample3.9s (67.4%)

preprocess217.0ms (3.8%)

simplify212.0ms (3.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize66.0ms (1.1%)

series1.0ms (0%)

rewrite49.0ms (0.9%)

simplify61.0ms (1.1%)

eval5.0ms (0.1%)

prune3.0ms (0.1%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end33.0ms (0.6%)

Profiling