Details

analyze3.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
50%	12.5%	37.5%	5
56.2%	6.2%	37.5%	6
59.3%	3.1%	37.5%	7
60.9%	1.6%	37.5%	8
61.7%	0.8%	37.5%	9
62.1%	0.4%	37.5%	10
62.3%	0.2%	37.5%	11
62.4%	0.1%	37.5%	12

Compiler

Compiled 9 to 5 computations (44.4% saved)

sample766.0ms (48.3%)

Results

751.0ms	8256×	body	256	valid
0.0ms	3×	body	256	invalid

preprocess170.0ms (10.7%)

Algorithm

2×	egg-herbie

Rules

958×	`sqr-pow_binary64`
677×	`associate-l_binary64`
556×	`cube-prod_binary64`
520×	`fabs-mul_binary64`
484×	`pow-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	8	7
2	10	4
3	19	4
4	33	4
5	59	4
6	129	4
7	426	4
8	2422	4
9	2520	4
10	2674	4
11	2891	4
12	3184	4
13	3551	4
14	4156	4
15	4727	4
16	5450	4
17	5903	4
18	6231	4
19	6493	4
20	6719	4
21	6855	4
22	7638	4
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)

simplify160.0ms (10.1%)

Algorithm

1×	egg-herbie

Rules

958×	`sqr-pow_binary64`
677×	`associate-l_binary64`
556×	`cube-prod_binary64`
520×	`fabs-mul_binary64`
484×	`pow-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	8	7
2	10	4
3	19	4
4	33	4
5	59	4
6	129	4
7	426	4
8	2422	4
9	2520	4
10	2674	4
11	2891	4
12	3184	4
13	3551	4
14	4156	4
15	4727	4
16	5450	4
17	5903	4
18	6231	4
19	6493	4
20	6719	4
21	6855	4
22	7638	4

Stop Event

1×	node limit

Counts

1 → 2

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 11 to 6 computations (45.5% saved)

prune1.0ms (0.1%)

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
▶	0b	(pow.f64 d1 4)
▶	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 12 to 7 computations (41.7% saved)

localize5.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.1b	(.f64 (.f64 d1 d1) d1)

Compiler

Compiled 17 to 4 computations (76.5% saved)

series5.0ms (0.3%)

Counts

2 → 24

Calls

6 calls:

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

rewrite49.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

385×	`pow1_binary64`
369×	`add-sqr-sqrt_binary64`
360×	`*-un-lft-identity_binary64`
359×	`add-log-exp_binary64`
359×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	11
1	98	8
2	1118	8

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 d1) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 6) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 9) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 d1) 9)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 d1) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 6))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 d1 9))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 d1) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 4/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 8) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 12) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 6) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 d1) 12)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 d1) 8)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 d1 12))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 4 (log.f64 d1)))))))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))) (log.f64 (sqrt.f64 (exp.f64 (pow.f64 d1 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) 2)) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 4)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 3) 4/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 8) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 12) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 6) 2/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 d1) 12)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 d1) 2) 6)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 d1) 8)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 d1 12))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 4 (log.f64 d1)))))))

simplify162.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

1078×	`sqr-pow_binary64`
733×	`associate-l_binary64`
533×	`associate-r_binary64`
516×	`*-commutative_binary64`
508×	`cube-prod_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	96
1	17	96
2	29	96
3	48	96
4	111	96
5	424	96
6	2657	96
7	2808	96
8	3071	96
9	3408	96
10	3801	96
11	4338	96
12	5333	96
13	6135	96
14	6635	96
15	6959	96
16	7224	96
17	7405	96
18	7496	96

Stop Event

1×	node limit

Counts

63 → 39

Calls

Call 1

Inputs
(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)

Outputs
(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)

localize3.0ms (0.2%)

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

eval11.0ms (0.7%)

Compiler: Compiled 262 to 192 computations (26.7% saved)

prune5.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	39	0	39
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	39	2	41

Error

Counts

41 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(pow.f64 d1 4)
✓	0.1b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 12 to 7 computations (41.7% saved)

regimes6.0ms (0.4%)

Accuracy

Total -0.1b remaining (-∞%)

Threshold costs -0.1b (-∞%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(pow.f64 d1 4)

Calls

2 calls:

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

Results

Error	Segments	Branch
0b	1	`d1`
0b	1	`(.f64 (.f64 (*.f64 d1 d1) d1) d1)`

Compiler

Compiled 21 to 11 computations (47.6% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	9	14

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 12 to 7 computations (41.7% saved)

soundness217.0ms (13.7%)

Algorithm

1×	egg-herbie

Rules

958×	`sqr-pow_binary64`
677×	`associate-l_binary64`
556×	`cube-prod_binary64`
520×	`fabs-mul_binary64`
484×	`pow-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	10
1	8	7
2	10	4
3	19	4
4	33	4
5	59	4
6	129	4
7	426	4
8	2422	4
9	2520	4
10	2674	4
11	2891	4
12	3184	4
13	3551	4
14	4156	4
15	4727	4
16	5450	4
17	5903	4
18	6231	4
19	6493	4
20	6719	4
21	6855	4
22	7638	4

Stop Event

1×	node limit

Compiler

Compiled 24 to 16 computations (33.3% saved)

end16.0ms (1%)

Compiler: Compiled 11 to 6 computations (45.5% saved)

Details

analyze3.0ms (0.2%)

sample766.0ms (48.3%)

preprocess170.0ms (10.7%)

simplify160.0ms (10.1%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.3%)

series5.0ms (0.3%)

rewrite49.0ms (3.1%)

simplify162.0ms (10.2%)

localize3.0ms (0.2%)

eval11.0ms (0.7%)

prune5.0ms (0.3%)

regimes6.0ms (0.4%)

simplify4.0ms (0.2%)

soundness217.0ms (13.7%)

end16.0ms (1%)

Profiling