Details

analyze1.0s (14.8%)

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
18.7%	81.2%	0.1%	7
32.8%	67.1%	0.1%	8
38.2%	61.7%	0.1%	9
41%	58.9%	0.1%	10
43.9%	56%	0.1%	11
45.4%	54.5%	0.1%	12
46.9%	53%	0.1%	13
47.6%	52.3%	0.1%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample83.0ms (1.2%)

Algorithm

1×

intervals

Results

23.0ms	30×	body	2048	valid
21.0ms	42×	body	1024	valid
20.0ms	143×	body	128	valid
8.0ms	28×	body	512	valid
3.0ms	13×	body	256	valid

Compiler

Compiled 33 to 25 computations (24.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`*-commutative_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	12	20
2	14	20
3	14	20

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

33.2b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	33.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))

Compiler

Compiled 30 to 22 computations (26.7% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

6.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
27.1b	(sin.f64 (/.f64 x (*.f64 y 2)))
27.4b	(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite61.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

33.2b

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
5×	`add-cbrt-cube_binary64`

Counts

3 → 43

Calls

3 calls:

6.0ms	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
1.0ms	(tan.f64 (/.f64 x (*.f64 y 2)))
1.0ms	(sin.f64 (/.f64 x (*.f64 y 2)))

Compiler

Compiled 1004 to 736 computations (26.7% saved)

series108.0ms (1.5%)

Error

24.8b

Counts

3 → 39

Calls

3 calls:

40.0ms	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2))))
31.0ms	(tan.f64 (/.f64 x (*.f64 y 2)))
19.0ms	(sin.f64 (/.f64 x (*.f64 y 2)))

Compiler

Compiled 1444 to 1088 computations (24.7% saved)

simplify102.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

640×	`unswap-sqr_binary64`
619×	`associate-l_binary64`
362×	`cancel-sign-sub-inv_binary64`
353×	`associate-/l/_binary64`
340×	`*-commutative_binary64`

Counts

82 → 30

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	1996
1	233	1876
2	535	1831
3	1835	1822
4	4176	1822
5	5553	1822

prune24.0ms (0.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	22	8	30
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	8	31

Error

26.6b

Counts

31 → 8

Alt Table

Status	Error	Program
	48.8b	(.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (/.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.8b	(.f64 (.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2))))) (/.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.2b	(cbrt.f64 (pow.f64 (/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2)))) 3))
	49.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 x (.f64 y 2))) 3)))
	48.8b	(/.f64 (cbrt.f64 (pow.f64 (tan.f64 (/.f64 x (.f64 y 2))) 3)) (sin.f64 (/.f64 x (.f64 y 2))))
▶	30.1b	(+.f64 1 (.f64 1/8 (.f64 (/.f64 x y) (/.f64 x y))))
	36.0b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (-.f64 (.f64 1/2 (/.f64 x y)) (*.f64 (pow.f64 (/.f64 x y) 3) 1/48)))
	36.6b	(/.f64 (+.f64 (.f64 1/2 (/.f64 x y)) (.f64 1/24 (pow.f64 (/.f64 x y) 3))) (sin.f64 (/.f64 x (*.f64 y 2))))

Compiler

Compiled 649 to 458 computations (29.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1 (.f64 1/8 (.f64 (/.f64 x y) (/.f64 x y))))
0.2b	(*.f64 (/.f64 x y) (/.f64 x y))

rewrite93.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

26.6b

Rules

42×	`add-sqr-sqrt_binary64`
40×	`times-frac_binary64`
30×	`*-un-lft-identity_binary64`
30×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`

Counts

2 → 78

Calls

2 calls:

8.0ms	(*.f64 (/.f64 x y) (/.f64 x y))
3.0ms	(+.f64 1 (.f64 1/8 (.f64 (/.f64 x y) (/.f64 x y))))

Compiler

Compiled 1504 to 584 computations (61.2% saved)

series41.0ms (0.6%)

Error

26.6b

Counts

2 → 18

Calls

2 calls:

26.0ms	(+.f64 1 (.f64 1/8 (.f64 (/.f64 x y) (/.f64 x y))))
13.0ms	(*.f64 (/.f64 x y) (/.f64 x y))

Compiler

Compiled 377 to 319 computations (15.4% saved)

simplify84.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

743×	`associate-/l*_binary64`
420×	`times-frac_binary64`
354×	`associate-/l/_binary64`
301×	`unswap-sqr_binary64`
277×	`*-commutative_binary64`

Counts

96 → 85

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	133	1619
1	398	1345
2	1253	1149
3	3825	1078
4	4950	1078

prune63.0ms (0.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	80	5	85
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	81	12	93

Error

26.6b

Counts

93 → 12

Alt Table

Status	Error	Program
	31.2b	(+.f64 1 (.f64 1/8 (.f64 x (/.f64 x (*.f64 y y)))))
	49.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 x (.f64 y 2))) 3)))
	43.7b	(+.f64 1 (.f64 1/8 (exp.f64 (.f64 2 (log.f64 (/.f64 x y))))))
	36.6b	(/.f64 (+.f64 (.f64 1/2 (/.f64 x y)) (.f64 1/24 (pow.f64 (/.f64 x y) 3))) (sin.f64 (/.f64 x (*.f64 y 2))))
	43.7b	(exp.f64 (log.f64 (+.f64 1 (*.f64 (pow.f64 (sqrt.f64 (/.f64 x y)) 4) 1/8))))
	49.0b	(+.f64 1 (.f64 1/8 (.f64 (*.f64 (/.f64 (cbrt.f64 x) (/.f64 (pow.f64 y 3/2) x)) (cbrt.f64 x)) (/.f64 (cbrt.f64 x) (sqrt.f64 y)))))
▶	30.1b	(+.f64 1 (.f64 1/8 (.f64 (*.f64 (pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) 4) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	48.8b	(.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (/.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.8b	(.f64 (.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2))))) (/.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.2b	(cbrt.f64 (pow.f64 (/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2)))) 3))
	48.8b	(/.f64 (cbrt.f64 (pow.f64 (tan.f64 (/.f64 x (.f64 y 2))) 3)) (sin.f64 (/.f64 x (.f64 y 2))))
	36.0b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (-.f64 (.f64 1/2 (/.f64 x y)) (*.f64 (pow.f64 (/.f64 x y) 3) 1/48)))

Compiler

Compiled 1331 to 800 computations (39.9% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(cbrt.f64 x)
0.6b	(pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) 4)

rewrite140.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

45×	`cbrt-prod_binary64`
40×	`unpow-prod-down_binary64`
36×	`times-frac_binary64`
33×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`

Counts

4 → 88

Calls

4 calls:

6.0ms	(pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) 4)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)
1.0ms	(cbrt.f64 x)

Compiler

Compiled 2718 to 1036 computations (61.9% saved)

series110.0ms (1.6%)

Error

26.6b

Counts

4 → 15

Calls

4 calls:

62.0ms	(pow.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y)) 4)
13.0ms	(cbrt.f64 x)
11.0ms	(cbrt.f64 x)
11.0ms	(cbrt.f64 x)

Compiler

Compiled 1195 to 770 computations (35.6% saved)

simplify113.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

543×	`unswap-sqr_binary64`
439×	`times-frac_binary64`
403×	`log-prod_binary64`
252×	`sqr-pow_binary64`
149×	`associate-l_binary64`

Counts

103 → 66

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	169	1714
1	338	1634
2	709	1593
3	1997	1546
4	4803	1546
5	5357	1546

prune70.0ms (1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	61	5	66
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	64	14	78

Error

26.6b

Counts

78 → 14

Alt Table

Status	Error	Program
	48.8b	(.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (/.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	46.6b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (pow.f64 (/.f64 (pow.f64 x 1/6) (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) 4) (pow.f64 (/.f64 (pow.f64 x 1/6) (cbrt.f64 (cbrt.f64 y))) 4)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
▶	31.2b	(+.f64 1 (.f64 1/8 (.f64 x (/.f64 x (*.f64 y y)))))
	49.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 x (.f64 y 2))) 3)))
	43.7b	(+.f64 1 (.f64 1/8 (exp.f64 (.f64 2 (log.f64 (/.f64 x y))))))
	36.6b	(/.f64 (+.f64 (.f64 1/2 (/.f64 x y)) (.f64 1/24 (pow.f64 (/.f64 x y) 3))) (sin.f64 (/.f64 x (*.f64 y 2))))
	46.7b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (exp.f64 (.f64 4 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	47.9b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (pow.f64 x 4/3) (pow.f64 (/.f64 1 (cbrt.f64 y)) 4)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	33.8b	(.f64 (.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2))))) (/.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.2b	(cbrt.f64 (pow.f64 (/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2)))) 3))
	48.8b	(/.f64 (cbrt.f64 (pow.f64 (tan.f64 (/.f64 x (.f64 y 2))) 3)) (sin.f64 (/.f64 x (.f64 y 2))))
	44.1b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (*.f64 -1 (cbrt.f64 -1)) (pow.f64 (/.f64 (/.f64 1 y) (/.f64 -1 x)) 4/3)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	43.7b	(+.f64 1 (.f64 1/8 (.f64 (*.f64 (pow.f64 (/.f64 x y) 4/3) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	36.0b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (-.f64 (.f64 1/2 (/.f64 x y)) (*.f64 (pow.f64 (/.f64 x y) 3) 1/48)))

Compiler

Compiled 1874 to 1001 computations (46.6% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1 (.f64 1/8 (.f64 x (/.f64 x (*.f64 y y)))))
3.4b	(.f64 x (/.f64 x (.f64 y y)))
7.2b	(/.f64 x (*.f64 y y))

rewrite78.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

26.4b

Rules

17×	`add-cbrt-cube_binary64`
17×	`add-exp-log_binary64`
12×	`add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
8×	`add-cube-cbrt_binary64`

Counts

3 → 60

Calls

3 calls:

6.0ms	(.f64 x (/.f64 x (.f64 y y)))
3.0ms	(/.f64 x (*.f64 y y))
2.0ms	(+.f64 1 (.f64 1/8 (.f64 x (/.f64 x (*.f64 y y)))))

Compiler

Compiled 1065 to 440 computations (58.7% saved)

series54.0ms (0.8%)

Error

26.6b

Counts

3 → 24

Calls

3 calls:

21.0ms	(+.f64 1 (.f64 1/8 (.f64 x (/.f64 x (*.f64 y y)))))
14.0ms	(.f64 x (/.f64 x (.f64 y y)))
11.0ms	(/.f64 x (*.f64 y y))

Compiler

Compiled 544 to 447 computations (17.8% saved)

simplify90.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

672×	`times-frac_binary64`
460×	`associate-*l/_binary64`
456×	`associate-*r/_binary64`
316×	`associate-/l*_binary64`
251×	`distribute-neg-frac_binary64`

Counts

84 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1155
1	248	981
2	858	951
3	3296	923
4	4984	923
5	4977	923

prune47.0ms (0.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	13	13
Picked	1	0	1
Done	0	0	0
Total	56	15	71

Error

26.4b

Counts

71 → 15

Alt Table

Status	Error	Program
	48.8b	(.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (/.f64 (sqrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	46.6b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (pow.f64 (/.f64 (pow.f64 x 1/6) (*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (cbrt.f64 y)))) 4) (pow.f64 (/.f64 (pow.f64 x 1/6) (cbrt.f64 (cbrt.f64 y))) 4)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	48.8b	(/.f64 (cbrt.f64 (pow.f64 (tan.f64 (/.f64 x (.f64 y 2))) 3)) (sin.f64 (/.f64 x (.f64 y 2))))
	31.2b	(exp.f64 (log.f64 (+.f64 1 (.f64 (.f64 x (/.f64 x (*.f64 y y))) 1/8))))
	43.7b	(+.f64 1 (.f64 1/8 (exp.f64 (.f64 2 (log.f64 (/.f64 x y))))))
	36.6b	(/.f64 (+.f64 (.f64 1/2 (/.f64 x y)) (.f64 1/24 (pow.f64 (/.f64 x y) 3))) (sin.f64 (/.f64 x (*.f64 y 2))))
	33.5b	(+.f64 1 (.f64 1/8 (log.f64 (pow.f64 (exp.f64 (/.f64 x (.f64 y y))) x))))
	46.7b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (exp.f64 (.f64 4 (log.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 y))))) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	47.9b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (pow.f64 x 4/3) (pow.f64 (/.f64 1 (cbrt.f64 y)) 4)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	33.8b	(.f64 (.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2))))) (/.f64 (cbrt.f64 (tan.f64 (/.f64 x (.f64 y 2)))) (sin.f64 (/.f64 x (.f64 y 2)))))
	33.2b	(cbrt.f64 (pow.f64 (/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (sin.f64 (/.f64 x (.f64 y 2)))) 3))
	49.2b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (cbrt.f64 (pow.f64 (sin.f64 (/.f64 x (.f64 y 2))) 3)))
	44.1b	(+.f64 1 (.f64 1/8 (.f64 (.f64 (.f64 (*.f64 -1 (cbrt.f64 -1)) (pow.f64 (/.f64 (/.f64 1 y) (/.f64 -1 x)) 4/3)) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	43.7b	(+.f64 1 (.f64 1/8 (.f64 (*.f64 (pow.f64 (/.f64 x y) 4/3) (/.f64 (cbrt.f64 x) (cbrt.f64 y))) (/.f64 (cbrt.f64 x) (cbrt.f64 y)))))
	36.0b	(/.f64 (tan.f64 (/.f64 x (.f64 y 2))) (-.f64 (.f64 1/2 (/.f64 x y)) (*.f64 (pow.f64 (/.f64 x y) 3) 1/48)))

Compiler

Compiled 733 to 436 computations (40.5% saved)

regimes1.1s (15.5%)

Accuracy

Total 0.6b remaining (2.2%)

Threshold costs 0.6b (2.2%)

Compiler

Compiled 20029 to 13752 computations (31.3% saved)

bsearch15.0ms (0.2%)

Steps

Iters	Range		Point
11	12.194807360576258	#hash((type . real) (value . NaN))	#hash((type . real) (value . NaN))

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-commutative_binary64`
1×	`*-lft-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	46
1	19	46
2	18	46

end1.0ms (0%)

Compiler: Compiled 32 to 24 computations (25% saved)

sample3.5s (49.5%)

Algorithm

1×

intervals

Results

1.2s	1100×	body	2048	valid
660.0ms	1317×	body	1024	valid
507.0ms	4276×	body	128	valid
310.0ms	823×	body	512	valid
97.0ms	480×	body	256	valid
10.0ms	4×	body	4096	valid

Compiler

Compiled 398 to 279 computations (29.9% saved)

Details

analyze1.0s (14.8%)

sample83.0ms (1.2%)

simplify9.0ms (0.1%)

prune1.0ms (0%)

localize7.0ms (0.1%)

rewrite61.0ms (0.9%)

series108.0ms (1.5%)

simplify102.0ms (1.5%)

prune24.0ms (0.3%)

localize5.0ms (0.1%)

rewrite93.0ms (1.3%)

series41.0ms (0.6%)

simplify84.0ms (1.2%)

prune63.0ms (0.9%)

localize12.0ms (0.2%)

rewrite140.0ms (2%)

series110.0ms (1.6%)

simplify113.0ms (1.6%)

prune70.0ms (1%)

localize6.0ms (0.1%)

rewrite78.0ms (1.1%)

series54.0ms (0.8%)

simplify90.0ms (1.3%)

prune47.0ms (0.7%)

regimes1.1s (15.5%)

bsearch15.0ms (0.2%)

simplify3.0ms (0%)

end1.0ms (0%)

sample3.5s (49.5%)

Profiling