Details

analyze2.2s (15.8%)

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
12.5%	87.3%	0.2%	4
12.5%	87.3%	0.2%	5
12.5%	87.3%	0.2%	6
12.5%	68.6%	18.9%	7
12.5%	62.3%	25.2%	8
12.5%	57.7%	29.9%	9
12.5%	57.7%	29.9%	10
12.5%	57.7%	29.9%	11
12.5%	52.2%	35.3%	12
12.9%	42.1%	45.1%	13
13%	34.3%	52.7%	14

Compiler

Compiled 41 to 32 computations (22% saved)

sample6.1s (44.2%)

Results

4.0s	16704×	body	128	invalid
2.1s	8256×	body	128	valid

Compiler

Compiled 82 to 64 computations (22% saved)

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

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

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

28.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	28.3b	(.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))))
	28.6b	(.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

▶

28.3b

(*.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))))

28.6b

(*.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
✓	8.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 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
✓	10.5b	(pow.f64 (/.f64 d h) (/.f64 1 2))
✓	12.3b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
✓	13.9b	(pow.f64 (/.f64 d l) (/.f64 1 2))

series452.0ms (3.3%)

Counts

4 → 96

Calls

42 calls:

34.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	h	-inf
34.0ms	(.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))))	M	inf
30.0ms	(.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))))	l	-inf
26.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	h	inf
20.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))	l	inf

rewrite38.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

242×	`add-sqr-sqrt_binary64`
232×	`log1p-expm1-u_binary64`
232×	`expm1-log1p-u_binary64`
228×	`add-cbrt-cube_binary64`
226×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	74
1	510	73

Stop Event

1×	node limit

Counts

4 → 65

simplify85.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

703×	`associate-/r/_binary64`
609×	`associate-/l/_binary64`
434×	`*-commutative_binary64`
250×	`fma-def_binary64`
225×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	2790
1	122	2736
2	359	2736
3	2102	2736
4	4915	2736

Stop Event

1×	node limit

Counts

161 → 76

prune155.0ms (1.1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	57	19	76
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	59	19	78

Error

12.4b

Counts

78 → 19

Alt Table

Status	Error	Program
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (-.f64 (+.f64 1 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 1)))
	59.7b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))))
	43.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 M M) (.f64 (/.f64 (.f64 D (.f64 1/8 D)) (.f64 d d)) (/.f64 h l)))))
	42.1b	(.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))))
	45.6b	(.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))))
	45.8b	(.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))))))
	28.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 d l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 d l)) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	29.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (sqrt.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))))
▶	27.9b	(.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))))
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 3)))
	28.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 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	44.1b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	49.8b	(-.f64 (.f64 d (sqrt.f64 (/.f64 1 (.f64 l h)))) (.f64 1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3))))))
	34.7b	(pow.f64 (.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))) 1)
	59.0b	(/.f64 (.f64 (.f64 (.f64 D D) (.f64 M M)) (*.f64 -1/8 (sqrt.f64 (/.f64 h (pow.f64 l 3))))) d)
	42.1b	(.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))))
	45.3b	(.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))))
	28.3b	(.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)) h) l)))
	28.4b	(.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))))

Compiler

Compiled 3909 to 2547 computations (34.8% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.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))))
✓	10.6b	(sqrt.f64 (/.f64 h d))
	12.3b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
	13.9b	(pow.f64 (/.f64 d l) (/.f64 1 2))

series189.0ms (1.4%)

Counts

2 → 33

Calls

21 calls:

21.0ms	(.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))))	h	-inf
16.0ms	(.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))))	D	-inf
14.0ms	(.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))))	D	inf
13.0ms	(.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))))	M	inf
13.0ms	(.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))))	M	-inf

rewrite32.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

255×	`add-sqr-sqrt_binary64`
241×	`log1p-expm1-u_binary64`
241×	`expm1-log1p-u_binary64`
238×	`add-cbrt-cube_binary64`
237×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	47
1	532	47

Stop Event

1×	node limit

Counts

2 → 35

simplify45.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

469×	`associate-r_binary64`
416×	`associate-l_binary64`
300×	`cancel-sign-sub-inv_binary64`
264×	`unswap-sqr_binary64`
256×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	1164
1	72	1116
2	190	1116
3	682	1116
4	3549	1116

Stop Event

1×	node limit

Counts

68 → 43

prune196.0ms (1.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	73	7	80
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	79	20	99

Error

12.2b

Counts

99 → 20

Alt Table

Status	Error	Program
	45.9b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (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 (pow.f64 d 2) l)))))
	59.7b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))))
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (-.f64 (+.f64 1 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 1)))
	45.3b	(.f64 (.f64 (/.f64 1 (/.f64 (sqrt.f64 h) (sqrt.f64 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))))
▶	27.9b	(.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 2) (/.f64 D d)) 2)) h) l)))
	28.2b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 h d))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))) 1)
	59.0b	(/.f64 (.f64 (.f64 (.f64 D D) (.f64 M M)) (*.f64 -1/8 (sqrt.f64 (/.f64 h (pow.f64 l 3))))) d)
	41.7b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.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))))
	43.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 M M) (.f64 (/.f64 (.f64 D (.f64 1/8 D)) (.f64 d d)) (/.f64 h l)))))
	42.1b	(.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))))
	28.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 d l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 d l)) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	29.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (sqrt.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))))
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 3)))
	28.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 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	44.1b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	49.8b	(-.f64 (.f64 d (sqrt.f64 (/.f64 1 (.f64 l h)))) (.f64 1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3))))))
	59.1b	(/.f64 (neg.f64 d) (*.f64 h l))
	45.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.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))))
	42.1b	(.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))))
	28.4b	(.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))))

Compiler

Compiled 4040 to 2577 computations (36.2% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	7.0b	(.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)
✓	8.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 2) (/.f64 D d)) 2)) h) l)))
	10.6b	(sqrt.f64 (/.f64 h d))
	13.9b	(pow.f64 (/.f64 d l) (/.f64 1 2))

series291.0ms (2.1%)

Counts

2 → 81

Calls

27 calls:

21.0ms	(.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h)	h	-inf
16.0ms	(.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 2) (/.f64 D d)) 2)) h) l)))	D	inf
14.0ms	(.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 2) (/.f64 D d)) 2)) h) l)))	d	0
14.0ms	(.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 2) (/.f64 D d)) 2)) h) l)))	M	-inf
14.0ms	(.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 2) (/.f64 D d)) 2)) h) l)))	D	-inf

rewrite31.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

255×	`add-sqr-sqrt_binary64`
243×	`log1p-expm1-u_binary64`
243×	`expm1-log1p-u_binary64`
240×	`add-cbrt-cube_binary64`
237×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	60
1	537	60

Stop Event

1×	node limit

Counts

2 → 28

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

540×	`associate-/r*_binary64`
418×	`associate-*l/_binary64`
391×	`associate-/r/_binary64`
340×	`associate-*r/_binary64`
280×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	2220
1	98	2172
2	276	2172
3	1309	2172
4	4779	2172

Stop Event

1×	node limit

Counts

109 → 39

prune126.0ms (0.9%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	73	5	78
Fresh	2	17	19
Picked	1	0	1
Done	0	0	0
Total	76	22	98

Error

11.3b

Counts

98 → 22

Alt Table

Status	Error	Program
	45.9b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (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 (pow.f64 d 2) l)))))
	59.7b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))))
	45.3b	(.f64 (.f64 (/.f64 1 (/.f64 (sqrt.f64 h) (sqrt.f64 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))))
	28.2b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 h d))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))) 1)
	59.2b	(/.f64 (neg.f64 (/.f64 d l)) h)
▶	28.1b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))
	43.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 M M) (.f64 (/.f64 (.f64 D (.f64 1/8 D)) (.f64 d d)) (/.f64 h l)))))
	36.3b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (pow.f64 (sqrt.f64 (.f64 h (.f64 1/2 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2)))) 2) l)))
	42.1b	(.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))))
	45.4b	(.f64 (.f64 (/.f64 1 (/.f64 (sqrt.f64 h) (sqrt.f64 d))) (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)) h) l)))
	40.7b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (/.f64 (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h) l)))
	28.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 d l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 d l)) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	29.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (sqrt.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))))
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 3)))
	28.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 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	44.1b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	49.8b	(-.f64 (.f64 d (sqrt.f64 (/.f64 1 (.f64 l h)))) (.f64 1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3))))))
	59.1b	(/.f64 (neg.f64 d) (*.f64 h l))
	45.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.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))))
	59.0b	(/.f64 (.f64 (.f64 (.f64 D D) (.f64 M M)) (*.f64 -1/8 (sqrt.f64 (/.f64 h (pow.f64 l 3))))) d)
	42.1b	(.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))))
	28.4b	(.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))))

Compiler

Compiled 3997 to 2581 computations (35.4% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))
	10.6b	(sqrt.f64 (/.f64 h d))
✓	13.9b	(sqrt.f64 (/.f64 d l))
✓	14.5b	(cbrt.f64 (/.f64 d l))

series370.0ms (2.7%)

Counts

3 → 32

Calls

27 calls:

59.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))	d	-inf
52.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))	l	-inf
48.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))	d	inf
43.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))	h	inf
15.0ms	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))	M	0

rewrite36.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

256×	`log1p-expm1-u_binary64`
256×	`expm1-log1p-u_binary64`
255×	`add-cbrt-cube_binary64`
252×	`add-cube-cbrt_binary64`
250×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	53
1	595	53

Stop Event

1×	node limit

Counts

3 → 64

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

476×	`associate-r_binary64`
420×	`associate-l_binary64`
300×	`cancel-sign-sub-inv_binary64`
264×	`unswap-sqr_binary64`
242×	`associate-/l*_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	1155
1	63	1107
2	160	1107
3	623	1107
4	3456	1107

Stop Event

1×	node limit

Counts

96 → 70

prune97.0ms (0.7%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	0	21	21
Picked	0	1	1
Done	0	0	0
Total	90	23	113

Error

11.3b

Counts

113 → 23

Alt Table

Status	Error	Program
	45.9b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (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 (pow.f64 d 2) l)))))
	59.7b	(log.f64 (pow.f64 (exp.f64 (sqrt.f64 (.f64 (/.f64 d h) (/.f64 d l)))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))))
	45.3b	(.f64 (.f64 (/.f64 1 (/.f64 (sqrt.f64 h) (sqrt.f64 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))))
	28.2b	(pow.f64 (.f64 (/.f64 (sqrt.f64 (/.f64 d l)) (sqrt.f64 (/.f64 h d))) (-.f64 1 (.f64 1/2 (.f64 (pow.f64 (.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l))))) 1)
	59.2b	(/.f64 (neg.f64 (/.f64 d l)) h)
✓	28.1b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (.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 2) (/.f64 D d)) 2)) h) l)))
	43.2b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 M M) (.f64 (/.f64 (.f64 D (.f64 1/8 D)) (.f64 d d)) (/.f64 h l)))))
	36.3b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (pow.f64 (sqrt.f64 (.f64 h (.f64 1/2 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2)))) 2) l)))
	42.1b	(.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))))
	45.4b	(.f64 (.f64 (/.f64 1 (/.f64 (sqrt.f64 h) (sqrt.f64 d))) (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)) h) l)))
	40.7b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.f64 (sqrt.f64 (neg.f64 d)) (sqrt.f64 (neg.f64 l)))) (-.f64 1 (/.f64 (.f64 (.f64 1/2 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2)) h) l)))
	28.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 d l)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 d l)) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	29.5b	(.f64 (.f64 (expm1.f64 (log1p.f64 (sqrt.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))))
	28.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (pow.f64 (cbrt.f64 (.f64 1/2 (.f64 (pow.f64 (*.f64 (/.f64 M 2) (/.f64 D d)) 2) (/.f64 h l)))) 3)))
	28.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 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	44.1b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	49.8b	(-.f64 (.f64 d (sqrt.f64 (/.f64 1 (.f64 l h)))) (.f64 1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3))))))
	59.1b	(/.f64 (neg.f64 d) (*.f64 h l))
	45.6b	(.f64 (.f64 (/.f64 1 (sqrt.f64 (/.f64 h d))) (/.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))))
	59.0b	(/.f64 (.f64 (.f64 (.f64 D D) (.f64 M M)) (*.f64 -1/8 (sqrt.f64 (/.f64 h (pow.f64 l 3))))) d)
	42.1b	(.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))))
	28.3b	(.f64 (.f64 (/.f64 1 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 h d)) 2) 1/2) (pow.f64 (cbrt.f64 (/.f64 h d)) 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 2) (/.f64 D d)) 2)) h) l)))
	28.4b	(.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))))

Compiler

Compiled 4092 to 2236 computations (45.4% saved)

regimes1.8s (12.7%)

Accuracy

Total 7.9b remaining (43.9%)

Threshold costs 0b (0%)

Counts

117 → 4

Compiler

Compiled 32470 to 24520 computations (24.5% saved)

bsearch862.0ms (6.2%)

Algorithm

3×	binary-search

Calls

3 calls:

353.0ms	h
342.0ms	h
162.0ms	h

Steps

Iters	Point		Range
5.057362700240132e-19	∈ [	4.972492460805193e-19	,	1.604873698060636e-17	]
1.76573110744144e-310	∈ [	-1.3802093311155738e-306	,	3.0034210439061725e-291	]
-5.088748267859237e-188	∈ [	-5.143283188028266e-188	,	-7.407462279616756e-194	]

Compiler

Compiled 6 to 5 computations (16.7% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

26×	`*-commutative_binary64`
13×	`+-commutative_binary64`
13×	`sub-neg_binary64`
11×	`neg-sub0_binary64`
11×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	174
1	93	174
2	121	174
3	142	174
4	158	174
5	165	174
6	168	174
7	169	174

Stop Event

1×

saturated

end495.0ms (3.6%)

Stop Event

1×

fuel

Compiler

Compiled 1287 to 926 computations (28% saved)

Details

analyze2.2s (15.8%)

sample6.1s (44.2%)

preprocess38.0ms (0.3%)

simplify16.0ms (0.1%)

prune7.0ms (0.1%)

localize23.0ms (0.2%)

series452.0ms (3.3%)

rewrite38.0ms (0.3%)

simplify85.0ms (0.6%)

prune155.0ms (1.1%)

localize22.0ms (0.2%)

series189.0ms (1.4%)

rewrite32.0ms (0.2%)

simplify45.0ms (0.3%)

prune196.0ms (1.4%)

localize24.0ms (0.2%)

series291.0ms (2.1%)

rewrite31.0ms (0.2%)

simplify69.0ms (0.5%)

prune126.0ms (0.9%)

localize23.0ms (0.2%)

series370.0ms (2.7%)

rewrite36.0ms (0.3%)

simplify46.0ms (0.3%)

prune97.0ms (0.7%)

regimes1.8s (12.7%)

bsearch862.0ms (6.2%)

simplify9.0ms (0.1%)

end495.0ms (3.6%)

Profiling