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

sample784.0ms (36%)

Results

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

preprocess176.0ms (8.1%)

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)

simplify162.0ms (7.4%)

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

0.0b

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(pow.f64 d1 4)
▶	0.2b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

Compiler

Compiled 12 to 7 computations (41.7% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 17 to 4 computations (76.5% saved)

series3.0ms (0.1%)

Counts

2 → 24

Calls

6 calls:

Time	Variable		Point	Expression
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)
0.0ms	d1	@	inf	(.f64 (.f64 (*.f64 d1 d1) d1) d1)

rewrite47.0ms (2.2%)

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

simplify157.0ms (7.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.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 d1 4)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series2.0ms (0.1%)

Counts

1 → 0

Calls

3 calls:

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

rewrite43.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

330×	`pow1_binary64`
319×	`add-sqr-sqrt_binary64`
312×	`*-un-lft-identity_binary64`
308×	`add-log-exp_binary64`
308×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	85	4
2	894	4

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

Inputs
(pow.f64 d1 4)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (pow.f64 d1 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.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 (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 (+.f64 1 (pow.f64 d1 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 d1 d1) (.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (cbrt.f64 (pow.f64 d1 4)) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 d1) 2) (.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 (cbrt.f64 d1) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 d1 4)) (pow.f64 (cbrt.f64 d1) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 d1 4)) (.f64 (pow.f64 (cbrt.f64 d1) 8) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 d1) 8) (cbrt.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 d1) (.f64 (pow.f64 d1 3/2) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 d1 3/2) (pow.f64 d1 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))) (pow.f64 (cbrt.f64 d1) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 d1) 5) (.f64 (cbrt.f64 d1) (.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (pow.f64 (cbrt.f64 d1) 5) (pow.f64 (cbrt.f64 d1) 5)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 d1 8) (pow.f64 (cbrt.f64 d1) 8))) (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 4)) 5)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 1 1/3) (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 5) 2) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (pow.f64 d1 8) (pow.f64 (cbrt.f64 d1) 8)) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (pow.f64 d1 10) 1/3) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (.f64 (+.f64 1 (pow.f64 d1 4)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (pow.f64 d1 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 d1 4))))) (#(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 (log.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 d1 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (pow.f64 d1 12)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 4))) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (pow.f64 d1 4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (cbrt.f64 (pow.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 (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 (+.f64 1 (pow.f64 d1 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 d1 (pow.f64 d1 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 d1 d1) (*.f64 d1 d1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3) d1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (cbrt.f64 (pow.f64 d1 4)) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 d1) 2) (*.f64 (pow.f64 (cbrt.f64 d1) 2) (pow.f64 (cbrt.f64 d1) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 d1 4)) (pow.f64 (cbrt.f64 d1) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 d1 4)) (*.f64 (pow.f64 (cbrt.f64 d1) 8) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 d1) 8) (cbrt.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 d1) (*.f64 (pow.f64 d1 3/2) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 d1 3/2) (pow.f64 d1 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))) (pow.f64 (cbrt.f64 d1) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 d1 16))) (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 d1) 8)) (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 d1) 5) (*.f64 (cbrt.f64 d1) (*.f64 d1 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 d1) 5) (pow.f64 (cbrt.f64 d1) 5)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 d1 8) (pow.f64 (cbrt.f64 d1) 8))) (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 d1 10)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (pow.f64 d1 4)) 5)) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (pow.f64 d1 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 d1) 5) 2) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (pow.f64 d1 8) (pow.f64 (cbrt.f64 d1) 8)) 1/3) (cbrt.f64 (cbrt.f64 (pow.f64 d1 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 d1 10) 1/3) (pow.f64 (cbrt.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.f64 (+.f64 1 (pow.f64 d1 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 d1 4))))) (#(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 (log.f64 (pow.f64 d1 4)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 d1 d1)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (pow.f64 d1 4))) 3))))))

simplify7.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

40 → 40

Calls

Call 1

Inputs

Outputs

eval19.0ms (0.9%)

Compiler: Compiled 652 to 471 computations (27.8% saved)

prune10.0ms (0.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	77	4	81

Error

Counts

81 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
▶	0.1b	(*.f64 (pow.f64 d1 3) d1)
✓	0.0b	(pow.f64 d1 4)
▶	0.3b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 26 to 14 computations (46.2% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 3 computations (75% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite44.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

328×	`pow1_binary64`
312×	`add-sqr-sqrt_binary64`
306×	`*-un-lft-identity_binary64`
304×	`add-log-exp_binary64`
304×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	7
1	81	4
2	969	4

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 1 (pow.f64 d1 4)) -1)))) (#(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 /.f64 (-.f64 (pow.f64 (+.f64 1 (pow.f64 d1 4)) 3) 1) (+.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) (+.f64 1 (*.f64 (+.f64 1 (pow.f64 d1 4)) 1))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 d1 4)) (+.f64 1 (pow.f64 d1 4))) 1) (+.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 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 6) 2/3)))) (#(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 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 (*.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 pow.f64 (E.f64) (*.f64 4 (log.f64 d1)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 2) (*.f64 (log.f64 d1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (sqrt.f64 (*.f64 4 (log.f64 d1)))) (sqrt.f64 (*.f64 4 (log.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (*.f64 4 (log.f64 d1))) 2)) (cbrt.f64 (*.f64 4 (log.f64 d1))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 d1 8))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (pow.f64 d1 4))))) (#(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)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 d1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 d1 12)) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 d1 (cbrt.f64 d1))) 3))))))

simplify202.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

1319×	`sqr-pow_binary64`
662×	`cube-prod_binary64`
659×	`pow-sqr_binary64`
522×	`fabs-mul_binary64`
384×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	48
1	8	48
2	14	48
3	25	48
4	50	48
5	137	48
6	489	48
7	1141	48
8	1265	48
9	1434	48
10	1633	48
11	1904	48
12	2261	48
13	2710	48
14	3241	48
15	3873	48
16	4624	48
17	4934	48
18	5162	48
19	5358	48
20	5410	48
21	5432	48
22	6266	48
23	7179	48
24	7581	48
25	7845	48

Stop Event

1×	node limit

Counts

44 → 32

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)

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)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite43.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

427×	`pow1_binary64`
416×	`add-sqr-sqrt_binary64`
404×	`*-un-lft-identity_binary64`
403×	`add-log-exp_binary64`
402×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	4
1	111	4
2	1180	4

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

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

Outputs

((#(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 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 d1 4))) (cbrt.f64 (exp.f64 (pow.f64 d1 4))))) (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 (pow.f64 d1 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 4) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 d1) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 d1 (cbrt.f64 d1)) 3)))) (#(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 (pow.f64 d1 4) 3))))) (#(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 (log.f64 d1) 4))))))

simplify196.0ms (9%)

Algorithm

1×	egg-herbie

Rules

1319×	`sqr-pow_binary64`
662×	`cube-prod_binary64`
659×	`pow-sqr_binary64`
522×	`fabs-mul_binary64`
384×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	48
1	8	48
2	14	48
3	25	48
4	50	48
5	137	48
6	489	48
7	1141	48
8	1265	48
9	1434	48
10	1633	48
11	1904	48
12	2261	48
13	2710	48
14	3241	48
15	3873	48
16	4624	48
17	4934	48
18	5162	48
19	5358	48
20	5410	48
21	5432	48
22	6266	48
23	7179	48
24	7581	48
25	7845	48

Stop Event

1×	node limit

Counts

27 → 15

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)

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)

eval10.0ms (0.5%)

Compiler: Compiled 344 to 265 computations (23% saved)

prune7.0ms (0.3%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	47	4	51

Error

Counts

51 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 d1 d1) d1) d1)
✓	0.1b	(*.f64 (pow.f64 d1 3) d1)
✓	0.0b	(pow.f64 d1 4)
✓	0.3b	(.f64 (.f64 d1 d1) (*.f64 d1 d1))

Compiler

Compiled 26 to 14 computations (46.2% saved)

regimes11.0ms (0.5%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(pow.f64 d1 4)

Calls

2 calls:

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

Results

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

Compiler

Compiled 33 to 15 computations (54.5% saved)

regimes6.0ms (0.3%)

Accuracy

Total -0.1b remaining (-72.9%)

Threshold costs -0.1b (-72.9%)

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

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

Compiler

Compiled 25 to 10 computations (60% saved)

simplify4.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	10	24

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)

soundness197.0ms (9.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

Compiler

Compiled 24 to 16 computations (33.3% saved)

end19.0ms (0.9%)

Compiler: Compiled 18 to 7 computations (61.1% saved)

Details

analyze3.0ms (0.1%)

sample784.0ms (36%)

preprocess176.0ms (8.1%)

simplify162.0ms (7.4%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize6.0ms (0.3%)

series3.0ms (0.1%)

rewrite47.0ms (2.2%)

simplify157.0ms (7.2%)

localize3.0ms (0.1%)

series2.0ms (0.1%)

rewrite43.0ms (2%)

simplify7.0ms (0.3%)

eval19.0ms (0.9%)

prune10.0ms (0.5%)

localize4.0ms (0.2%)

series1.0ms (0%)

rewrite44.0ms (2%)

simplify202.0ms (9.3%)

localize6.0ms (0.3%)

series1.0ms (0%)

rewrite43.0ms (2%)

simplify196.0ms (9%)

eval10.0ms (0.5%)

prune7.0ms (0.3%)

regimes11.0ms (0.5%)

regimes6.0ms (0.3%)

simplify4.0ms (0.2%)

soundness197.0ms (9.1%)

end19.0ms (0.9%)

Profiling