Details

analyze2.2s (15.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	81.1%	18.9%	7
0%	68.6%	31.4%	8
0%	59.2%	40.8%	9
0%	59.2%	40.8%	10
0%	59.2%	40.8%	11
0.4%	49.5%	50.1%	12
0.8%	44.4%	54.8%	13
1.4%	39.9%	58.7%	14

Compiler

Compiled 41 to 32 computations (22% saved)

sample5.5s (38.7%)

Results

3.3s	13324×	body	128	invalid
2.2s	8256×	body	128	valid

Compiler

Compiled 82 to 64 computations (22% saved)

preprocess41.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

775×	`associate-*r/_binary64`
448×	`*-commutative_binary64`
230×	`associate-/l*_binary64`
205×	`distribute-rgt-neg-in_binary64`
185×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	122	451
1	419	451
2	1543	429
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Symmetry

(sort M D)

Compiler

Compiled 40 to 31 computations (22.5% saved)

simplify18.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

425×	`associate-/l*_binary64`
398×	`*-commutative_binary64`
236×	`associate-/l/_binary64`
214×	`associate-/r/_binary64`
203×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	41
1	62	41
2	195	39
3	1309	39

Stop Event

1×	node limit

Counts

1 → 2

prune5.0ms (0%)

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

23.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	24.1b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.4b	(.f64 (sqrt.f64 (/.f64 d h)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 (/.f64 h l) (.f64 (pow.f64 (.f64 M (/.f64 (/.f64 D d) 2)) 2) -1/2) 1)))

Status

Error

Program

▶

24.1b

(*.f64 (*.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (*.f64 (*.f64 (/.f64 1 2) (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))

24.4b

(*.f64 (sqrt.f64 (/.f64 d h)) (*.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 (/.f64 h l) (*.f64 (pow.f64 (*.f64 M (/.f64 (/.f64 D d) 2)) 2) -1/2) 1)))

Compiler

Compiled 208 to 151 computations (27.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.5b	(/.f64 (.f64 M D) (.f64 2 d))
✓	9.7b	(pow.f64 (/.f64 d l) (/.f64 1 2))
✓	10.2b	(pow.f64 (/.f64 d h) (/.f64 1 2))
✓	11.1b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))

series210.0ms (1.5%)

Counts

4 → 96

Calls

36 calls:

13.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	l	inf
13.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	h	-inf
13.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	M	0
13.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	h	0
13.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	h	inf

rewrite37.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

203×	`add-sqr-sqrt_binary64`
193×	`log1p-expm1-u_binary64`
193×	`expm1-log1p-u_binary64`
189×	`add-cbrt-cube_binary64`
189×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	44
1	431	44

Stop Event

1×	node limit

Counts

4 → 112

simplify116.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

680×	`unswap-sqr_binary64`
535×	`associate-/l/_binary64`
493×	`associate-/r/_binary64`
349×	`*-commutative_binary64`
216×	`times-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	1860
1	87	1860
2	261	1860
3	1579	1860
4	3428	1860
5	3704	1860
6	4815	1860
7	4897	1860
8	4996	1860

Stop Event

1×	node limit

Counts

208 → 119

prune316.0ms (2.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	98	21	119
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	99	22	121

Error

10.8b

Counts

121 → 22

Alt Table

Status	Error	Program
	24.3b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (cbrt.f64 (/.f64 d l)) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	31.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (log.f64 (pow.f64 (exp.f64 (/.f64 h l)) (.f64 1/2 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2))))))
	33.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (cbrt.f64 (pow.f64 (/.f64 d l) 3/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	38.6b	(.f64 (.f64 (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	23.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	23.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 1 (/.f64 l (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)))))
	38.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.3b	(.f64 (.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 d h)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 d h)))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	23.9b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) (/.f64 h l))))
	45.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (.f64 1/2 (.f64 D (/.f64 M d))) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 1 (sqrt.f64 (/.f64 l d)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) 1/4) (pow.f64 (/.f64 d h) 1/4)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	44.6b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	43.9b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 l (pow.f64 d 2))))))
	38.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (log.f64 (pow.f64 (exp.f64 (/.f64 M 2)) (/.f64 D d))) 2)) (/.f64 h l))))
	33.7b	(.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 d h) 3/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
▶	22.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	44.6b	(.f64 (.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.4b	(.f64 (sqrt.f64 (/.f64 d h)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 (/.f64 h l) (.f64 (pow.f64 (.f64 M (/.f64 (/.f64 D d) 2)) 2) -1/2) 1)))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	45.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))

Compiler

Compiled 6214 to 4155 computations (33.1% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	9.7b	(pow.f64 (/.f64 d l) (/.f64 1 2))
	10.2b	(pow.f64 (/.f64 d h) (/.f64 1 2))
✓	13.0b	(sqrt.f64 (/.f64 h l))

series324.0ms (2.3%)

Counts

2 → 36

Calls

21 calls:

38.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	h	-inf
37.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	M	inf
35.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	d	0
26.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	d	-inf
25.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	D	inf

rewrite29.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

256×	`add-sqr-sqrt_binary64`
248×	`log1p-expm1-u_binary64`
248×	`expm1-log1p-u_binary64`
243×	`add-cbrt-cube_binary64`
241×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	26	50
1	554	47

Stop Event

1×	node limit

Counts

2 → 35

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

616×	`associate-/l*_binary64`
543×	`associate-/r/_binary64`
417×	`associate-/r*_binary64`
237×	`unswap-sqr_binary64`
176×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	38	1546
1	99	1236
2	301	1236
3	1432	1236

Stop Event

1×	node limit

Counts

71 → 43

prune213.0ms (1.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	72	13	85
Fresh	14	7	21
Picked	1	0	1
Done	0	0	0
Total	87	20	107

Error

8.9b

Counts

107 → 20

Alt Table

Status	Error	Program
	60.5b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (*.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))))
	45.4b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	43.4b	(.f64 (.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	39.9b	(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2))))) 2)
	22.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (cbrt.f64 (/.f64 d l)) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	34.1b	(pow.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))) 1)
	32.4b	(.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 d h) 3/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	23.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 1 (/.f64 l (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)))))
	38.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.3b	(.f64 (.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 d h)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 d h)))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	23.9b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (.f64 1/2 (.f64 D (/.f64 M d))) 2)) (/.f64 h l))))
	43.4b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
▶	22.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 h l)) (cbrt.f64 (sqrt.f64 (/.f64 h l)))) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	37.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	27.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 h l) 3/2)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	22.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	44.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 1 (sqrt.f64 (/.f64 l d)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))

Compiler

Compiled 4449 to 2863 computations (35.6% saved)

localize51.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	9.7b	(pow.f64 (/.f64 d l) (/.f64 1 2))
	10.2b	(pow.f64 (/.f64 d h) (/.f64 1 2))
	13.0b	(sqrt.f64 (/.f64 h l))
✓	13.6b	(cbrt.f64 (/.f64 h l))

series75.0ms (0.5%)

Counts

1 → 0

Calls

6 calls:

60.0ms	(cbrt.f64 (/.f64 h l))	l	-inf
8.0ms	(cbrt.f64 (/.f64 h l))	h	-inf
3.0ms	(cbrt.f64 (/.f64 h l))	h	inf
2.0ms	(cbrt.f64 (/.f64 h l))	h	0
1.0ms	(cbrt.f64 (/.f64 h l))	l	inf

rewrite33.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

497×	`log1p-expm1-u_binary64`
497×	`expm1-log1p-u_binary64`
389×	`unpow-prod-down_binary64`
259×	`log-prod_binary64`
134×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	103	6
2	1345	6

Stop Event

1×	node limit

Counts

1 → 50

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

50 → 50

prune215.0ms (1.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	113	20	133

Error

8.9b

Counts

133 → 20

Alt Table

Status	Error	Program
	60.5b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (*.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))))
	45.4b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	22.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (cbrt.f64 (/.f64 d l)) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	34.1b	(pow.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))) 1)
	32.4b	(.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 d h) 3/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	23.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 1 (/.f64 l (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)))))
	32.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (cbrt.f64 (pow.f64 (/.f64 d l) 3/2))) (-.f64 1 (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 h l)) (cbrt.f64 (sqrt.f64 (/.f64 h l)))) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	38.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.3b	(.f64 (.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 d h)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 d h)))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	23.9b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (.f64 1/2 (.f64 D (/.f64 M d))) 2)) (/.f64 h l))))
	43.4b	(.f64 (.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 h l)) (cbrt.f64 (sqrt.f64 (/.f64 h l)))) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	39.9b	(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2))))) 2)
	37.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	27.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 h l) 3/2)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
▶	22.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	44.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 1 (sqrt.f64 (/.f64 l d)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	43.4b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))

Compiler

Compiled 6589 to 3915 computations (40.6% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
✓	9.8b	(pow.f64 (/.f64 d l) 1/4)
	10.2b	(pow.f64 (/.f64 d h) (/.f64 1 2))
	13.0b	(sqrt.f64 (/.f64 h l))

series711.0ms (5%)

Counts

2 → 56

Calls

21 calls:

96.0ms	(pow.f64 (/.f64 d l) 1/4)	d	inf
67.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))	M	inf
66.0ms	(pow.f64 (/.f64 d l) 1/4)	d	0
57.0ms	(pow.f64 (/.f64 d l) 1/4)	d	-inf
52.0ms	(pow.f64 (/.f64 d l) 1/4)	l	-inf

rewrite30.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

265×	`log1p-expm1-u_binary64`
265×	`expm1-log1p-u_binary64`
259×	`add-cbrt-cube_binary64`
257×	`add-cube-cbrt_binary64`
256×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	53
1	597	49

Stop Event

1×	node limit

Counts

2 → 28

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-/l*_binary64`
543×	`associate-/r/_binary64`
237×	`unswap-sqr_binary64`
182×	`distribute-rgt-neg-in_binary64`
177×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	66	1743
1	164	1463
2	454	1451
3	1850	1319

Stop Event

1×	node limit

Counts

84 → 44

prune162.0ms (1.1%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	106	4	110
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	108	22	130

Error

8.9b

Counts

130 → 22

Alt Table

Status	Error	Program
	60.5b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (*.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))))
	45.4b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	22.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (.f64 (pow.f64 (/.f64 d l) 1/8) (pow.f64 (/.f64 d l) 1/8)))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	34.1b	(pow.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2)))) 1)
	22.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (cbrt.f64 (/.f64 d l)) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	32.4b	(.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 d h) 3/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	45.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (/.f64 (sqrt.f64 h) (sqrt.f64 l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	23.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 1 (/.f64 l (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)))))
	38.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.3b	(.f64 (.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 d h)) 2)) (sqrt.f64 (cbrt.f64 (/.f64 d h)))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	23.9b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) (/.f64 h l))))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (.f64 1/2 (.f64 D (/.f64 M d))) 2)) (/.f64 h l))))
	43.4b	(.f64 (.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (.f64 (cbrt.f64 (/.f64 h l)) (cbrt.f64 (sqrt.f64 (/.f64 h l)))) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	43.4b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	43.4b	(.f64 (.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 h)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	39.9b	(pow.f64 (sqrt.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 (/.f64 h l) (pow.f64 (.f64 (.f64 M 1/2) (.f64 (/.f64 D d) (sqrt.f64 1/2))) 2))))) 2)
	37.7b	(.f64 (.f64 (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	27.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 h l) 3/2)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	44.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (/.f64 1 (sqrt.f64 (/.f64 l d)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	22.5b	(.f64 (.f64 (.f64 (cbrt.f64 (/.f64 d h)) (cbrt.f64 (sqrt.f64 (/.f64 d h)))) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (pow.f64 (.f64 (sqrt.f64 (/.f64 h l)) (.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) (sqrt.f64 1/2))) 2)))
	24.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))

Compiler

Compiled 5231 to 3193 computations (39% saved)

regimes1.8s (12.9%)

Accuracy

Total 8.5b remaining (44.1%)

Threshold costs 0b (0%)

Counts

117 → 5

Compiler

Compiled 34479 to 25872 computations (25% saved)

bsearch1.3s (9.2%)

Algorithm

4×	binary-search

Calls

4 calls:

498.0ms	d
445.0ms	d
195.0ms	d
171.0ms	d

Steps

Iters	Point		Range
6.241184318453877e+90	∈ [	9.944750164152333e+83	,	2.6773216290329594e+107	]
5.16639765631e-310	∈ [	-1.317688769479051e-307	,	5.734099116400328e-293	]
-1.0053658497468265e-230	∈ [	-1.2609409771175258e-229	,	-2.369850259750058e-231	]
-2.2077046003697104e-20	∈ [	-2.648233903465289e-16	,	-1.4436711248387866e-25	]

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

23×	`*-commutative_binary64`
10×	`+-commutative_binary64`
10×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	236
1	96	236
2	122	236
3	136	236
4	143	236
5	145	236

Stop Event

1×

saturated

end662.0ms (4.6%)

Stop Event

1×

fuel

Compiler

Compiled 1503 to 1044 computations (30.5% saved)

Details

analyze2.2s (15.1%)

sample5.5s (38.7%)

preprocess41.0ms (0.3%)

simplify18.0ms (0.1%)

prune5.0ms (0%)

localize23.0ms (0.2%)

series210.0ms (1.5%)

rewrite37.0ms (0.3%)

simplify116.0ms (0.8%)

prune316.0ms (2.2%)

localize26.0ms (0.2%)

series324.0ms (2.3%)

rewrite29.0ms (0.2%)

simplify39.0ms (0.3%)

prune213.0ms (1.5%)

localize51.0ms (0.4%)

series75.0ms (0.5%)

rewrite33.0ms (0.2%)

simplify7.0ms (0%)

prune215.0ms (1.5%)

localize27.0ms (0.2%)

series711.0ms (5%)

rewrite30.0ms (0.2%)

simplify46.0ms (0.3%)

prune162.0ms (1.1%)

regimes1.8s (12.9%)

bsearch1.3s (9.2%)

simplify8.0ms (0.1%)

end662.0ms (4.6%)

Profiling