Details

analyze4.0ms (0.3%)

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
50%	6.2%	43.8%	6
53.1%	3.1%	43.8%	7
54.7%	1.6%	43.8%	8
54.7%	0.8%	44.6%	9
54.7%	0.4%	44.9%	10
54.9%	0.2%	44.9%	11
54.9%	0.1%	45%	12

Compiler

Compiled 21 to 10 computations (52.4% saved)

sample808.0ms (63.7%)

Results

794.0ms	8256×	body	256	valid
0.0ms	2×	body	256	invalid

preprocess119.0ms (9.3%)

Algorithm

2×	egg-herbie

Rules

855×	`unswap-sqr_binary64`
734×	`sqr-pow_binary64`
627×	`cube-prod_binary64`
516×	`associate-l_binary64`
478×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	28	16
2	57	10
3	111	4
4	421	4
5	1524	4
6	3094	4
7	3245	4
8	3478	4
9	3775	4
10	4148	4
11	4645	4
12	5290	4
13	6069	4
14	6568	4
15	6998	4
16	7421	4
17	7823	4
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

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

Compiler

Compiled 21 to 10 computations (52.4% saved)

simplify112.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

855×	`unswap-sqr_binary64`
734×	`sqr-pow_binary64`
627×	`cube-prod_binary64`
516×	`associate-l_binary64`
478×	`fabs-mul_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	22
1	28	16
2	57	10
3	111	4
4	421	4
5	1524	4
6	3094	4
7	3245	4
8	3478	4
9	3775	4
10	4148	4
11	4645	4
12	5290	4
13	6069	4
14	6568	4
15	6998	4
16	7421	4
17	7823	4

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

eval1.0ms (0.1%)

Compiler: Compiled 23 to 11 computations (52.2% 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 10)
▶	0.1b	(.f64 (.f64 d1 (.f64 (.f64 (.f64 (.f64 (.f64 d1 (.f64 d1 d1)) d1) d1) (*.f64 d1 d1)) d1)) d1)

Compiler

Compiled 24 to 12 computations (50% saved)

localize9.0ms (0.7%)

Local error

Found 8 expressions with local error:

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

series6.0ms (0.5%)

Counts

4 → 48

Calls

12 calls:

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

rewrite47.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

587×	`pow1_binary64`
544×	`add-log-exp_binary64`
544×	`log1p-expm1-u_binary64`
544×	`expm1-log1p-u_binary64`
529×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	34
1	146	19
2	1729	19

Stop Event

1×	node limit

Counts

4 → 46

Calls

Call 1

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

Outputs
((#(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 (pow.f64 d1 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 3) 3) 1/3)))) (#(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 (pow.f64 d1 3) 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 expm1.f64 (log1p.f64 (pow.f64 d1 3)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (.f64 d1 (pow.f64 d1 6))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (pow.f64 d1 6)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 d1 (pow.f64 d1 6))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 d1 (sqrt.f64 (pow.f64 d1 5))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (pow.f64 d1 6)) d1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 d1 (pow.f64 d1 6)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 d1 (pow.f64 d1 6))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 d1 (pow.f64 d1 6))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 d1 (pow.f64 d1 6))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (pow.f64 d1 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 d1 5)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 d1 5) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 d1 5) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 d1 5)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (pow.f64 d1 5)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 d1 5) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 d1 5) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 d1 5)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 d1 5)))))))
((#(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 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 (cbrt.f64 d1)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (pow.f64 d1 4) 2))))) (#(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 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 expm1.f64 (log1p.f64 (pow.f64 d1 4)))))))

simplify112.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

1159×	`sqr-pow_binary64`
673×	`cube-prod_binary64`
594×	`pow-sqr_binary64`
574×	`fabs-mul_binary64`
568×	`unswap-sqr_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	192
1	29	192
2	50	192
3	87	192
4	190	192
5	603	192
6	1805	192
7	2015	192
8	2321	192
9	2671	192
10	3161	192
11	3895	192
12	4792	192
13	5249	192
14	5706	192
15	6104	192
16	6501	192
17	6769	192

Stop Event

1×	node limit

Counts

94 → 47

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 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(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 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 7)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(pow.f64 d1 5)
(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)

localize2.0ms (0.1%)

eval13.0ms (1%)

Compiler: Compiled 767 to 427 computations (44.3% saved)

prune7.0ms (0.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	47	2	49

Error

Counts

49 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 24 to 12 computations (50% saved)

regimes6.0ms (0.5%)

Accuracy

Total -0.1b remaining (-∞%)

Threshold costs -0.1b (-∞%)

Counts

2 → 1

Calls

Call 1

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

Outputs
(pow.f64 d1 10)

Calls

2 calls:

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

Results

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

Compiler

Compiled 45 to 21 computations (53.3% saved)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	32
1	19	32

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

(pow.f64 d1 10)

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

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

end21.0ms (1.7%)

Stop Event

1×

done

Compiler

Compiled 47 to 23 computations (51.1% saved)

Details

analyze4.0ms (0.3%)

sample808.0ms (63.7%)

preprocess119.0ms (9.3%)

simplify112.0ms (8.8%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize9.0ms (0.7%)

series6.0ms (0.5%)

rewrite47.0ms (3.7%)

simplify112.0ms (8.8%)

localize2.0ms (0.1%)

eval13.0ms (1%)

prune7.0ms (0.6%)

regimes6.0ms (0.5%)

simplify2.0ms (0.2%)

end21.0ms (1.7%)

Profiling