Details

analyze0.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample587.0ms (34.9%)

Results

364.0ms	5213×	body	256	valid
213.0ms	3043×	body	256	infinite

Bogosity

preprocess203.0ms (12.1%)

Algorithm

2×	egg-herbie

Rules

2472×	`sqr-pow`
1372×	`associate-r`
1202×	`cube-prod`
924×	`associate-l`
680×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	9	13
2	11	7
3	20	7
4	35	7
5	62	7
6	130	7
7	428	7
8	2424	7
9	2522	7
10	2675	7
11	2890	7
12	3181	7
13	3546	7
14	4133	7
15	4686	7
16	5372	7
17	5779	7
18	6053	7
19	6269	7
20	6437	7
21	6545	7
22	7288	7
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)

Compiler

Compiled 9 to 5 computations (44.4% saved)

simplify201.0ms (11.9%)

Algorithm

1×	egg-herbie

Rules

2472×	`sqr-pow`
1372×	`associate-r`
1202×	`cube-prod`
924×	`associate-l`
680×	`*-commutative`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	9	13
2	11	7
3	20	7
4	35	7
5	62	7
6	130	7
7	428	7
8	2424	7
9	2522	7
10	2675	7
11	2890	7
12	3181	7
13	3546	7
14	4133	7
15	4686	7
16	5372	7
17	5779	7
18	6053	7
19	6269	7
20	6437	7
21	6545	7
22	7288	7

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

Inputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(*.f64 d1 (pow.f64 d1 3))
(pow.f64 d1 4)

eval1.0ms (0%)

Compiler: Compiled 23 to 10 computations (56.5% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Accurracy

100.0%

Counts

5 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 d1 4)
▶	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
▶	100.0%	(pow.f64 d1 4)
▶	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 40 to 20 computations (50% saved)

localize34.0ms (2%)

Local Accuracy

Found 4 expressions with local accuracy:

New	Accuracy	Program
✓	100.0%	(pow.f64 d1 4)
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.9%	(.f64 (.f64 d1 d1) d1)
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 34 to 9 computations (73.5% saved)

series3.0ms (0.2%)

Counts

4 → 36

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	d1	@	-inf	(pow.f64 d1 4)
0.0ms	d1	@	0	(.f64 (.f64 d1 d1) (*.f64 d1 d1))
0.0ms	d1	@	-inf	(.f64 (.f64 d1 d1) d1)
0.0ms	d1	@	inf	(pow.f64 d1 4)
0.0ms	d1	@	inf	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

rewrite57.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1100×	`pow1`
1024×	`add-exp-log`
1024×	`log1p-expm1-u`
1024×	`expm1-log1p-u`
998×	`add-log-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	186	28
2	1594	28

Stop Event

1×	node limit

Counts

4 → 59

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 d1 d1) d1)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)

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

simplify71.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1418×	`unswap-sqr`
946×	`exp-prod`
900×	`fma-def`
790×	`cube-prod`
610×	`prod-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	713
1	196	713
2	612	713
3	2852	713
4	6173	713

Stop Event

1×	node limit

Counts

95 → 43

Calls

Call 1

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

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

eval7.0ms (0.4%)

Compiler: Compiled 316 to 194 computations (38.6% saved)

prune6.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	43	0	43
Fresh	0	0	0
Picked	0	3	3
Done	0	0	0
Total	43	3	46

Accurracy

100.0%

Counts

46 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 d1 4)
✓	99.9%	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	99.8%	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 38 to 17 computations (55.3% saved)

regimes7.0ms (0.4%)

Counts

3 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(pow.f64 d1 4)

Outputs
(pow.f64 d1 4)

Calls

2 calls:

3.0ms	d1
3.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
100.0%	1	`d1`
100.0%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 28 to 12 computations (57.1% saved)

regimes6.0ms (0.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Outputs
(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Calls

2 calls:

3.0ms	d1
2.0ms	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Results

Accuracy	Segments	Branch
99.9%	1	`d1`
99.9%	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 25 to 10 computations (60% saved)

regimes3.0ms (0.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Calls

1 calls:

2.0ms

d1

Results

Accuracy	Segments	Branch
99.8%	1	`d1`

Compiler

Compiled 10 to 4 computations (60% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	45
1	11	45

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 d1 4)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Outputs
(pow.f64 d1 4)
(.f64 (.f64 (*.f64 d1 d1) d1) d1)
(.f64 d1 (.f64 d1 (*.f64 d1 d1)))
(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 20 to 10 computations (50% saved)

soundness456.0ms (27.2%)

Rules

2472×	`sqr-pow`
2472×	`sqr-pow`
1372×	`associate-r`
1372×	`associate-r`
1202×	`cube-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	9	13
2	11	7
3	20	7
4	35	7
5	62	7
6	130	7
7	428	7
8	2424	7
9	2522	7
10	2675	7
11	2890	7
12	3181	7
13	3546	7
14	4133	7
15	4686	7
16	5372	7
17	5779	7
18	6053	7
19	6269	7
20	6437	7
21	6545	7
22	7288	7
0	6	19
1	9	13
2	11	7
3	20	7
4	35	7
5	62	7
6	130	7
7	428	7
8	2424	7
9	2522	7
10	2675	7
11	2890	7
12	3181	7
13	3546	7
14	4133	7
15	4686	7
16	5372	7
17	5779	7
18	6053	7
19	6269	7
20	6437	7
21	6545	7
22	7288	7

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 36 to 18 computations (50% saved)

end33.0ms (2%)

Compiler: Compiled 60 to 28 computations (53.3% saved)

FastMath repmul

Details

analyze0.0ms (0%)

sample587.0ms (34.9%)

preprocess203.0ms (12.1%)

simplify201.0ms (11.9%)

eval1.0ms (0%)

prune2.0ms (0.1%)

localize34.0ms (2%)

series3.0ms (0.2%)

rewrite57.0ms (3.4%)

simplify71.0ms (4.2%)

eval7.0ms (0.4%)

prune6.0ms (0.4%)

regimes7.0ms (0.4%)

regimes6.0ms (0.3%)

regimes3.0ms (0.2%)

simplify4.0ms (0.3%)

soundness456.0ms (27.2%)

end33.0ms (2%)

Profiling