Details

analyze1.2s (17.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample2.7s (40.4%)

Results

1.1s	6256×	body	128	valid
666.0ms	1010×	body	1024	valid
330.0ms	1991×	body	128	invalid
299.0ms	672×	body	512	valid
131.0ms	207×	body	1024	invalid
105.0ms	252×	body	512	invalid
93.0ms	314×	body	256	valid
44.0ms	149×	body	256	invalid
4.0ms	4×	body	2048	valid

Compiler

Compiled 40 to 30 computations (25% saved)

preprocess92.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

820×	`unswap-sqr_binary64`
674×	`associate-/l/_binary64`
369×	`sqr-pow_binary64`
227×	`*-commutative_binary64`
161×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	96
1	76	96
2	194	96
3	790	96
4	1679	96
5	1730	96
6	1797	96
7	1874	96
8	1961	96
9	2067	96
10	4016	96
11	4164	96
12	4339	96
13	4521	96
14	4721	96
15	4947	96
0	3	3
1	3	3

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort c s)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

750×	`unswap-sqr_binary64`
516×	`*-commutative_binary64`
376×	`associate-/l/_binary64`
309×	`sqr-pow_binary64`
243×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	30	24
2	72	24
3	254	24
4	1145	24
5	2128	24
6	3320	24
7	3397	24
8	3494	24
9	3628	24
10	3813	24
11	4060	24
12	4401	24
13	4796	24

Stop Event

1×	node limit

Counts

1 → 2

prune4.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

2.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	26.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
▶	2.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))

Compiler

Compiled 111 to 69 computations (37.8% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 x (.f64 c s)) (.f64 x (*.f64 c s)))
✓	0.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
✓	4.7b	(.f64 x (.f64 c s))

series192.0ms (2.8%)

Counts

3 → 108

Calls

27 calls:

27.0ms	(.f64 x (.f64 c s))	x	inf
26.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	s	-inf
15.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	s	0
14.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	c	0
14.0ms	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))	s	inf

rewrite99.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

699×	`log-prod_binary64`
214×	`expm1-udef_binary64`
214×	`log1p-udef_binary64`
205×	`prod-diff_binary64`
183×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	236	35
2	3216	35

Stop Event

1×	node limit

Counts

3 → 84

simplify47.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

866×	`associate-/l*_binary64`
440×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
334×	`unswap-sqr_binary64`
271×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	40	1776
1	111	1774
2	329	1774
3	1676	1769

Stop Event

1×	node limit

Counts

192 → 101

prune145.0ms (2.1%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	114	10	124
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	114	12	126

Error

0.0b

Counts

126 → 12

Alt Table

Status	Error	Program
	3.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	26.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
✓	2.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
	6.3b	(.f64 (/.f64 1 (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 c s)))
	18.8b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x x)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (pow.f64 (*.f64 c s) 2)))
	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)
	2.3b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)))
▶	1.9b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)) 1)
	13.7b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	6.4b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	20.2b	(cbrt.f64 (/.f64 (pow.f64 (cos.f64 (+.f64 x x)) 3) (pow.f64 (pow.f64 (.f64 c (.f64 s x)) 2) 3)))
	15.2b	(.f64 (/.f64 1 (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 4))) (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (.f64 c (*.f64 s x))) 2)))

Compiler

Compiled 2954 to 1347 computations (54.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))
✓	0.3b	(pow.f64 (.f64 c (.f64 s x)) -2)
✓	3.8b	(.f64 c (.f64 s x))

series160.0ms (2.4%)

Counts

3 → 88

Calls

27 calls:

15.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))	c	0
14.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))	c	-inf
14.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))	c	inf
14.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))	s	inf
14.0ms	(.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))	s	0

rewrite45.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

505×	`prod-diff_binary64`
208×	`expm1-udef_binary64`
208×	`log1p-udef_binary64`
147×	`fma-def_binary64`
125×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	241	35
2	3159	35

Stop Event

1×	node limit

Counts

3 → 49

simplify47.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

870×	`associate-/l*_binary64`
435×	`associate-/l/_binary64`
361×	`cancel-sign-sub-inv_binary64`
339×	`unswap-sqr_binary64`
271×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	1744
1	105	1742
2	330	1742
3	1706	1737

Stop Event

1×	node limit

Counts

137 → 62

prune97.0ms (1.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	62	12	74

Error

0.0b

Counts

74 → 12

Alt Table

Status	Error	Program
	3.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	26.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	15.7b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 c -2) (pow.f64 (*.f64 s x) -2))) 1)
✓	2.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
	6.3b	(.f64 (/.f64 1 (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 c s)))
	18.8b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x x)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (pow.f64 (*.f64 c s) 2)))
▶	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)
	2.3b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)))
✓	1.9b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)) 1)
	13.7b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	6.4b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	15.2b	(.f64 (/.f64 1 (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 4))) (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (.f64 c (*.f64 s x))) 2)))

Compiler

Compiled 1714 to 936 computations (45.4% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(pow.f64 (.f64 c (.f64 s x)) -2)
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)
	3.8b	(.f64 c (.f64 s x))
✓	22.8b	(cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)))

series88.0ms (1.3%)

Counts

2 → 0

Calls

18 calls:

10.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)	x	0
8.0ms	(cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)))	x	0
6.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)	c	0
5.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)	c	-inf
5.0ms	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)	s	-inf

rewrite49.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

505×	`prod-diff_binary64`
236×	`log1p-udef_binary64`
144×	`add-sqr-sqrt_binary64`
138×	`pow1_binary64`
136×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	308	38
2	3643	38

Stop Event

1×	node limit

Counts

2 → 61

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

61 → 61

prune97.0ms (1.4%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	99	12	111

Error

0.0b

Counts

111 → 12

Alt Table

Status	Error	Program
	3.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	26.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	15.7b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 c -2) (pow.f64 (*.f64 s x) -2))) 1)
✓	2.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
	6.3b	(.f64 (/.f64 1 (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 c s)))
	18.8b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x x)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (pow.f64 (*.f64 c s) 2)))
✓	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)
▶	2.3b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)))
✓	1.9b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)) 1)
	13.7b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	6.4b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	15.2b	(.f64 (/.f64 1 (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 4))) (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (.f64 c (*.f64 s x))) 2)))

Compiler

Compiled 2539 to 1582 computations (37.7% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (cos.f64 x) 2)
✓	0.4b	(/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))
✓	1.7b	(/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))
	3.8b	(.f64 c (.f64 s x))

series287.0ms (4.2%)

Counts

3 → 76

Calls

21 calls:

47.0ms	(/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))	x	-inf
20.0ms	(/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))	c	inf
16.0ms	(/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))	x	inf
16.0ms	(/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))	c	-inf
15.0ms	(/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2))	s	0

rewrite58.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

246×	`expm1-udef_binary64`
246×	`log1p-udef_binary64`
219×	`log-pow_binary64`
146×	`pow1_binary64`
145×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	42
1	298	36
2	3692	36

Stop Event

1×	node limit

Counts

3 → 92

simplify57.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

482×	`unswap-sqr_binary64`
473×	`times-frac_binary64`
397×	`associate-/r*_binary64`
389×	`fma-neg_binary64`
213×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	61	1929
1	187	1929
2	635	1925
3	3802	1925

Stop Event

1×	node limit

Counts

168 → 121

prune238.0ms (3.5%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	8	8
Picked	0	1	1
Done	0	3	3
Total	152	13	165

Error

0.0b

Counts

165 → 13

Alt Table

Status	Error	Program
	3.8b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 c (.f64 s x))))
	26.1b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (pow.f64 c 2) (.f64 (.f64 x (pow.f64 s 2)) x)))
	15.7b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 c -2) (pow.f64 (*.f64 s x) -2))) 1)
	4.0b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)) (pow.f64 (/.f64 (sin.f64 x) (.f64 (.f64 c x) s)) 2))
✓	2.4b	(/.f64 (cos.f64 (.f64 2 x)) (.f64 (.f64 x (.f64 c s)) (.f64 x (.f64 c s))))
	6.3b	(.f64 (/.f64 1 (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cos.f64 (+.f64 x x)) (*.f64 c s)))
	18.8b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x x)) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (pow.f64 (*.f64 c s) 2)))
✓	2.2b	(pow.f64 (cbrt.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2))) 3)
✓	2.3b	(-.f64 (/.f64 (pow.f64 (cos.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)) (/.f64 (pow.f64 (sin.f64 x) 2) (pow.f64 (.f64 c (.f64 s x)) 2)))
✓	1.9b	(pow.f64 (.f64 (cos.f64 (+.f64 x x)) (pow.f64 (.f64 c (*.f64 s x)) -2)) 1)
	13.7b	(.f64 (/.f64 1 x) (/.f64 (cos.f64 (+.f64 x x)) (.f64 (pow.f64 (*.f64 c s) 2) x)))
	6.4b	(.f64 (/.f64 (cbrt.f64 (pow.f64 (cos.f64 (+.f64 x x)) 2)) (.f64 x (.f64 c (.f64 s x)))) (/.f64 (cbrt.f64 (cos.f64 (+.f64 x x))) (*.f64 c s)))
	15.2b	(.f64 (/.f64 1 (cbrt.f64 (pow.f64 (.f64 c (.f64 s x)) 4))) (/.f64 (cos.f64 (+.f64 x x)) (pow.f64 (cbrt.f64 (.f64 c (*.f64 s x))) 2)))

Compiler

Compiled 4926 to 2374 computations (51.8% saved)

regimes575.0ms (8.5%)

Accuracy

Total 0.8b remaining (92.4%)

Threshold costs 0.8b (92.4%)

Counts

79 → 2

Compiler

Compiled 9964 to 6782 computations (31.9% saved)

bsearch3.0ms (0%)

Algorithm

1×	left-value

Calls

1 calls:

0.0ms

(/.f64 (cos.f64 (*.f64 2 x)) (*.f64 (pow.f64 c 2) (*.f64 (*.f64 x (pow.f64 s 2)) x)))

Steps

Iters	Point		Range
#hash((type . real) (value . +inf))	∈ [	#hash((type . real) (value . +inf))	,	#hash((type . real) (value . NaN))	]

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`unpow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	71
1	42	71

Stop Event

1×

saturated

end325.0ms (4.8%)

Stop Event

1×

fuel

Compiler

Compiled 486 to 310 computations (36.2% saved)

Details

analyze1.2s (17.9%)

sample2.7s (40.4%)

preprocess92.0ms (1.4%)

simplify64.0ms (0.9%)

prune4.0ms (0.1%)

localize8.0ms (0.1%)

series192.0ms (2.8%)

rewrite99.0ms (1.5%)

simplify47.0ms (0.7%)

prune145.0ms (2.1%)

localize9.0ms (0.1%)

series160.0ms (2.4%)

rewrite45.0ms (0.7%)

simplify47.0ms (0.7%)

prune97.0ms (1.4%)

localize11.0ms (0.2%)

series88.0ms (1.3%)

rewrite49.0ms (0.7%)

simplify13.0ms (0.2%)

prune97.0ms (1.4%)

localize13.0ms (0.2%)

series287.0ms (4.2%)

rewrite58.0ms (0.9%)

simplify57.0ms (0.8%)

prune238.0ms (3.5%)

regimes575.0ms (8.5%)

bsearch3.0ms (0%)

simplify2.0ms (0%)

end325.0ms (4.8%)

Profiling