Details

analyze624.0ms (11.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1620	124
1	1620	124
0	3	3
1	3	3

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.1%	0.1%	7
21.8%	78%	0.1%	8
21.8%	78%	0.1%	9
49.1%	50.7%	0.1%	10
52.7%	47.2%	0.1%	11
52.7%	47.2%	0.1%	12
71.7%	28.2%	0.1%	13
74.1%	25.8%	0.1%	14

Compiler

Compiled 22 to 19 computations (13.6% saved)

sample21.0ms (0.4%)

Algorithm

1×

intervals

Results

13.0ms

256×

body

128

valid

Compiler

Compiled 43 to 40 computations (7% saved)

simplify19.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	453	31
1	453	31

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

16.4b

Counts

2 → 1

Compiler

Compiled 42 to 36 computations (14.3% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)
0.1b	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
2.8b	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
15.8b	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))

rewrite51.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64_10671`
13×	`add-cbrt-cube_binary64_10685` `add-exp-log_binary64_10687`
10×	`*-un-lft-identity_binary64_10649` `add-cube-cbrt_binary64_10684`
8×	`pow1_binary64_10710`
6×	`add-log-exp_binary64_10688` `associate-r_binary64_10589` `associate-l_binary64_10590`
5×	`flip-+_binary64_10623` `flip3-+_binary64_10652`
4×	`associate-*r/_binary64_10591`
3×	`prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `associate-/r*_binary64_10593` `times-frac_binary64_10655`
2×	`associate-l/_binary64_10592` `pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `associate-/r/_binary64_10595` `div-exp_binary64_10700` `-commutative_binary64_10580` `cbrt-undiv_binary64_10683` `associate-/l/_binary64_10596`
1×	`sum-log_binary64_10740` `clear-num_binary64_10648` `associate-/l*_binary64_10594` `+-commutative_binary64_10579` `distribute-rgt-in_binary64_10599` `frac-2neg_binary64_10660` `distribute-lft-in_binary64_10598` `div-inv_binary64_10646`

Counts

4 → 78

Calls

4 calls:

17.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
15.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
7.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
5.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

series188.0ms (3.5%)

Counts

4 → 12

Calls

4 calls:

89.0ms	(/.f64 (.f64 y (+.f64 (.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984)) (+.f64 (.f64 (+.f64 z 1692356830115869/281474976710656) z) 7544303578448747/2251799813685248))
40.0ms	(.f64 (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z)
40.0ms	(.f64 y (+.f64 (.f64 (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992) z) 5029535718965825/18014398509481984))
19.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

simplify79.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4925	1769
1	4925	1769

prune151.0ms (2.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	85	5	90
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	85	6	91

Error

0.0b

Counts

91 → 6

Compiler

Compiled 2604 to 1931 computations (25.8% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)
0.1b	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))
0.1b	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))
12.0b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))

rewrite57.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

29×	`add-sqr-sqrt_binary64_10671`
22×	`*-un-lft-identity_binary64_10649` `add-cube-cbrt_binary64_10684`
19×	`times-frac_binary64_10655`
18×	`associate-r_binary64_10589`
13×	`add-cbrt-cube_binary64_10685` `add-exp-log_binary64_10687`
8×	`pow1_binary64_10710`
6×	`add-log-exp_binary64_10688` `associate-l_binary64_10590`
5×	`flip-+_binary64_10623` `flip3-+_binary64_10652`
4×	`associate-/r/_binary64_10595`
3×	`prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `associate-/r_binary64_10593` `associate-/l_binary64_10594` `unswap-sqr_binary64_10617` `associate-*r/_binary64_10591`
2×	`pow-prod-down_binary64_10720` `div-exp_binary64_10700` `*-commutative_binary64_10580` `cbrt-undiv_binary64_10683` `div-inv_binary64_10646` `associate-/l/_binary64_10596`
1×	`sum-log_binary64_10740` `clear-num_binary64_10648` `+-commutative_binary64_10579` `distribute-rgt-in_binary64_10599` `frac-2neg_binary64_10660` `distribute-lft-in_binary64_10598`

Counts

4 → 98

Calls

4 calls:

18.0ms	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))
15.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
7.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)
7.0ms	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))

series172.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

90.0ms	(.f64 y (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))
37.0ms	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))
23.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
21.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

simplify66.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5023	2786

prune175.0ms (3.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	110	6	116

Error

Counts

116 → 6

Compiler

Compiled 3473 to 2594 computations (25.3% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)
0.1b	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))
0.3b	(/.f64 y (/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984)))
12.0b	(/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984))

rewrite63.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`times-frac_binary64_10655`
60×	`add-sqr-sqrt_binary64_10671`
58×	`*-un-lft-identity_binary64_10649` `add-cube-cbrt_binary64_10684`
18×	`associate-/r*_binary64_10593`
13×	`add-cbrt-cube_binary64_10685` `add-exp-log_binary64_10687`
11×	`associate-/r/_binary64_10595`
8×	`flip-+_binary64_10623` `flip3-+_binary64_10652`
6×	`add-log-exp_binary64_10688` `pow1_binary64_10710` `associate-/l*_binary64_10594` `div-inv_binary64_10646`
4×	`div-exp_binary64_10700` `cbrt-undiv_binary64_10683`
3×	`associate-r_binary64_10589` `associate-l_binary64_10590`
2×	`clear-num_binary64_10648` `frac-2neg_binary64_10660` `associate-/l/_binary64_10596` `associate-*r/_binary64_10591`
1×	`prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `sum-log_binary64_10740` `pow-prod-down_binary64_10720` `unswap-sqr_binary64_10617` `+-commutative_binary64_10579` `*-commutative_binary64_10580` `distribute-rgt-in_binary64_10599` `distribute-lft-in_binary64_10598`

Counts

4 → 142

Calls

4 calls:

17.0ms	(/.f64 y (/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984)))
15.0ms	(/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984))
10.0ms	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))
4.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

series172.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

87.0ms	(/.f64 y (/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984)))
40.0ms	(.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992))
23.0ms	(/.f64 (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248) (+.f64 (.f64 z (+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984))
21.0ms	(+.f64 (*.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)

simplify126.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4951	5548
1	4951	5548

prune284.0ms (5.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	154	6	160

Error

Counts

160 → 6

Compiler

Compiled 5393 to 3963 computations (26.5% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))))
12.0b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
12.0b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
12.0b	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))

rewrite125.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64_10671`
37×	`times-frac_binary64_10655`
36×	`*-un-lft-identity_binary64_10649` `add-cube-cbrt_binary64_10684`
23×	`pow1_binary64_10710`
18×	`associate-r_binary64_10589`
17×	`cbrt-prod_binary64_10680`
15×	`add-exp-log_binary64_10687`
12×	`cbrt-div_binary64_10681`
11×	`add-cbrt-cube_binary64_10685`
9×	`pow-prod-up_binary64_10719` `associate-/r_binary64_10593` `associate-/l_binary64_10594` `pow1/3_binary64_10731`
8×	`associate-/r/_binary64_10595`
7×	`flip-+_binary64_10623` `flip3-+_binary64_10652`
6×	`pow-plus_binary64_10712` `associate-/l/_binary64_10596`
5×	`associate-*l/_binary64_10592` `pow-prod-down_binary64_10720` `frac-times_binary64_10659`
4×	`add-log-exp_binary64_10688` `div-inv_binary64_10646`
3×	`pow-sqr_binary64_10622` `prod-exp_binary64_10698` `cbrt-unprod_binary64_10682` `clear-num_binary64_10648` `unswap-sqr_binary64_10617` `div-exp_binary64_10700` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `associate-*r/_binary64_10591`
2×	`pow2_binary64_10730`
1×	`-commutative_binary64_10580` `rem-3cbrt-lft_binary64_10674` `associate-l*_binary64_10590` `pow3_binary64_10732`

Counts

4 → 149

Calls

4 calls:

49.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))))
19.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
16.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
16.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))

series107.0ms (2%)

Counts

4 → 12

Calls

4 calls:

35.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248)))) (cbrt.f64 (/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))))
27.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
23.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))
21.0ms	(/.f64 (+.f64 (.f64 z (+.f64 (.f64 z 4992947066835229/72057594037927936) 4429125951667411/9007199254740992)) 5029535718965825/18014398509481984) (+.f64 (*.f64 z (+.f64 z 1692356830115869/281474976710656)) 7544303578448747/2251799813685248))

simplify99.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5063	6495

prune754.0ms (14.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	161	0	161
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	161	6	167

Error

Counts

167 → 6

Compiler

Compiled 10340 to 7994 computations (22.7% saved)

regimes531.0ms (9.9%)

Accuracy

Total 0.3b remaining (99%)

Threshold costs 0.3b (99%)

Compiler

Compiled 4541 to 3773 computations (16.9% saved)

bsearch30.0ms (0.6%)

Steps

Iters	Range		Point
5	110.08443104842932	387.15452507374494	379.98551255999445
5	-9.903048207413956e+44	-2.7178327913865143e+44	-2.7698022990776374e+44

Compiler

Compiled 1 to 3 computations (-200% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	84	87
1	84	87

end0.0ms (0%)

sample1.4s (25.8%)

Algorithm

1×

intervals

Results

415.0ms

8000×

body

128

valid

Compiler

Compiled 1037 to 850 computations (18% saved)

Details

analyze624.0ms (11.7%)

sample21.0ms (0.4%)

simplify19.0ms (0.4%)

prune3.0ms (0.1%)

localize14.0ms (0.3%)

rewrite51.0ms (1%)

series188.0ms (3.5%)

simplify79.0ms (1.5%)

prune151.0ms (2.8%)

localize14.0ms (0.3%)

rewrite57.0ms (1.1%)

series172.0ms (3.2%)

simplify66.0ms (1.2%)

prune175.0ms (3.3%)

localize14.0ms (0.3%)

rewrite63.0ms (1.2%)

series172.0ms (3.2%)

simplify126.0ms (2.4%)

prune284.0ms (5.3%)

localize21.0ms (0.4%)

rewrite125.0ms (2.3%)

series107.0ms (2%)

simplify99.0ms (1.9%)

prune754.0ms (14.1%)

regimes531.0ms (9.9%)

bsearch30.0ms (0.6%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample1.4s (25.8%)

Profiling