Details

analyze670.0ms (6.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%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
28.1%	68.6%	3.3%	10
29.6%	65.5%	4.9%	11
32%	61.7%	6.3%	12
35.5%	56.9%	7.6%	13
48%	38.7%	13.4%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample27.0ms (0.2%)

Algorithm

1×

intervals

Results

10.0ms	256×	body	128	valid
3.0ms	80×	body	128	invalid

Compiler

Compiled 31 to 27 computations (12.9% saved)

simplify177.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	1064	13
1	1064	13

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 2

Compiler

Compiled 33 to 27 computations (18.2% saved)

localize13.0ms (0.1%)

Local error

Found 6 expressions with local error:

0.0b	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
0.0b	(-.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
0.0b	(-.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0b	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
0.0b	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-log-exp_binary64_5914`
6×	`diff-log_binary64_5967`
4×	`add-sqr-sqrt_binary64_5897` `sum-log_binary64_5966`
3×	`add-cube-cbrt_binary64_5910` `add-exp-log_binary64_5913` `sub-neg_binary64_5868` `cancel-sign-sub-inv_binary64_5841` `*-un-lft-identity_binary64_5875` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936`
2×	`associate-+l-_binary64_5810` `flip3--_binary64_5879` `associate-+l+_binary64_5808` `flip--_binary64_5850`
1×	`distribute-lft-out--_binary64_5827` `flip-+_binary64_5849` `flip3-+_binary64_5878` `associate--l-_binary64_5813` `difference-of-squares_binary64_5844` `+-commutative_binary64_5805` `associate--l+_binary64_5812`

Counts

3 → 45

Calls

6 calls:

9.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
6.0ms	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
4.0ms	(-.f64 (.f64 d1 d2) (.f64 d1 d3))
0.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
0.0ms	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))

series569.0ms (5.2%)

Counts

3 → 60

Calls

3 calls:

268.0ms	(-.f64 (+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (.f64 d4 d1)) (.f64 d1 d1))
196.0ms	(+.f64 (-.f64 (.f64 d1 d2) (.f64 d1 d3)) (*.f64 d4 d1))
106.0ms	(-.f64 (.f64 d1 d2) (.f64 d1 d3))

Compiler

Compiled 1185 to 960 computations (19% saved)

simplify61.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5185	1207

prune81.0ms (0.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

107 → 2

Compiler

Compiled 1379 to 208 computations (84.9% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
0.0b	(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64_5875`
6×	`associate-r_binary64_5815`
5×	`add-sqr-sqrt_binary64_5897`
3×	`distribute-lft-out--_binary64_5827` `add-cube-cbrt_binary64_5910` `distribute-lft-out_binary64_5826` `add-exp-log_binary64_5913` `associate-l_binary64_5816` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936`
2×	`associate-*r/_binary64_5817`
1×	`flip-+_binary64_5849` `flip3-+_binary64_5878` `pow-prod-down_binary64_5946` `cbrt-unprod_binary64_5908` `distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824` `unswap-sqr_binary64_5843` `prod-exp_binary64_5924` `*-commutative_binary64_5806` `add-log-exp_binary64_5914`

Counts

1 → 25

Calls

2 calls:

12.0ms	(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
0.0ms	(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))

series201.0ms (1.8%)

Counts

1 → 24

Calls

1 calls:

201.0ms

(*.f64 d1 (+.f64 d4 (-.f64 (-.f64 d2 d3) d1)))

Compiler

Compiled 420 to 366 computations (12.9% saved)

simplify64.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4967	600
1	4967	600

prune29.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	48	3	51

Error

0.0b

Counts

51 → 3

Compiler

Compiled 571 to 92 computations (83.9% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

28.0b	(/.f64 (.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
9.2b	(.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))))
4.4b	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
0.0b	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
0.0b	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
4.4b	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
9.2b	(.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))))
28.0b	(/.f64 (.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))

rewrite76.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`*-un-lft-identity_binary64_5875`
36×	`distribute-lft-out--_binary64_5827` `add-sqr-sqrt_binary64_5897`
27×	`cancel-sign-sub-inv_binary64_5841`
20×	`add-cube-cbrt_binary64_5910`
18×	`distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824`
16×	`associate--r+_binary64_5811` `associate--l+_binary64_5812`
13×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936`
12×	`swap-sqr_binary64_5842`
11×	`sub-neg_binary64_5868`
10×	`associate-r_binary64_5815` `flip3--_binary64_5879` `flip--_binary64_5850`
9×	`associate-l_binary64_5816`
8×	`difference-of-squares_binary64_5844`
7×	`associate-/r*_binary64_5819` `times-frac_binary64_5881`
6×	`associate-*r/_binary64_5817` `add-log-exp_binary64_5914`
4×	`frac-times_binary64_5885`
3×	`cbrt-unprod_binary64_5908` `prod-exp_binary64_5924`
2×	`cbrt-undiv_binary64_5909` `pow-prod-down_binary64_5946` `associate-/r/_binary64_5821` `associate-/l/_binary64_5822` `associate-l/_binary64_5818` `div-exp_binary64_5926` `unswap-sqr_binary64_5843` `-commutative_binary64_5806`
1×	`pow-plus_binary64_5938` `div-inv_binary64_5872` `diff-log_binary64_5967` `pow-sqr_binary64_5848` `associate-/l*_binary64_5820` `pow2_binary64_5956` `frac-2neg_binary64_5886` `pow-prod-up_binary64_5945` `clear-num_binary64_5874`

Counts

4 → 151

Calls

8 calls:

19.0ms	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
18.0ms	(/.f64 (.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
9.0ms	(.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))))
9.0ms	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
0.0ms	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))

series2.7s (24.2%)

Counts

4 → 117

Calls

4 calls:

908.0ms	(.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))))
847.0ms	(/.f64 (.f64 d1 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
701.0ms	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
211.0ms	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))

Compiler

Compiled 6672 to 4644 computations (30.4% saved)

simplify117.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

268 → 268

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4983	7731
1	4983	7731

prune247.0ms (2.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	267	1	268
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	267	4	271

Error

Counts

271 → 4

Compiler

Compiled 8536 to 1584 computations (81.4% saved)

localize11.0ms (0.1%)

Local error

Found 8 expressions with local error:

31.3b	(/.f64 (-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
4.4b	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
0.0b	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
0.0b	(.f64 d1 (/.f64 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1))))
0.0b	(.f64 d1 (/.f64 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1))))
0.0b	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
4.4b	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
31.3b	(/.f64 (-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))

rewrite96.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

167×	`*-un-lft-identity_binary64_5875`
78×	`distribute-lft-out--_binary64_5827`
75×	`add-sqr-sqrt_binary64_5897`
57×	`times-frac_binary64_5881`
42×	`add-cube-cbrt_binary64_5910`
40×	`associate-r_binary64_5815`
29×	`difference-of-squares_binary64_5844`
25×	`cancel-sign-sub-inv_binary64_5841`
16×	`associate--r+_binary64_5811` `distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824` `associate--l+_binary64_5812`
13×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `pow1_binary64_5936`
12×	`swap-sqr_binary64_5842`
10×	`flip3--_binary64_5879` `flip--_binary64_5850`
9×	`sub-neg_binary64_5868` `associate-l_binary64_5816`
7×	`associate-/r*_binary64_5819`
6×	`add-log-exp_binary64_5914`
4×	`associate-/r/_binary64_5821` `associate-/l*_binary64_5820` `frac-times_binary64_5885`
3×	`cbrt-unprod_binary64_5908` `associate-*r/_binary64_5817` `unswap-sqr_binary64_5843` `prod-exp_binary64_5924`
2×	`cbrt-undiv_binary64_5909` `pow-prod-down_binary64_5946` `div-inv_binary64_5872` `associate-/l/_binary64_5822` `associate-l/_binary64_5818` `div-exp_binary64_5926` `-commutative_binary64_5806`
1×	`div-sub_binary64_5880` `pow-plus_binary64_5938` `diff-log_binary64_5967` `pow-sqr_binary64_5848` `pow2_binary64_5956` `frac-2neg_binary64_5886` `pow-prod-up_binary64_5945` `clear-num_binary64_5874`

Counts

4 → 202

Calls

8 calls:

23.0ms	(.f64 d1 (/.f64 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1))))
19.0ms	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))
19.0ms	(/.f64 (-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
9.0ms	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
0.0ms	(.f64 d1 (/.f64 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1))))

series2.4s (21.8%)

Counts

4 → 108

Calls

4 calls:

816.0ms	(.f64 d1 (/.f64 (-.f64 (.f64 d4 d4) (*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1))))
700.0ms	(/.f64 (-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))) (-.f64 d4 (-.f64 (-.f64 d2 d3) d1)))
668.0ms	(-.f64 (.f64 d4 d4) (.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1)))
213.0ms	(*.f64 (-.f64 (-.f64 d2 d3) d1) (-.f64 (-.f64 d2 d3) d1))

Compiler

Compiled 6691 to 4324 computations (35.4% saved)

simplify127.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

310 → 310

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5001	9325

prune274.0ms (2.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	310	0	310
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	310	4	314

Error

Counts

314 → 4

Compiler

Compiled 9995 to 1620 computations (83.8% saved)

simplify31.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	1122	325
1	1122	325

regimes141.0ms (1.3%)

Compiler: Compiled 912 to 820 computations (10.1% saved)

bsearch0.0ms (0%)

regimes121.0ms (1.1%)

Compiler: Compiled 652 to 680 computations (-4.3% saved)

bsearch0.0ms (0%)

regimes88.0ms (0.8%)

Compiler: Compiled 364 to 452 computations (-24.2% saved)

bsearch0.0ms (0%)

regimes124.0ms (1.1%)

Compiler: Compiled 248 to 352 computations (-41.9% saved)

bsearch42.0ms (0.4%)

Steps

Iters	Range		Point
8	3.411782529727933e+73	1.4285295570231017e+76	1.5234664917831296e+74
8	-1.4631450331295587e+76	-4.719963113814714e+71	-3.4591306815970796e+72

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes119.0ms (1.1%)

Compiler: Compiled 216 to 320 computations (-48.1% saved)

bsearch42.0ms (0.4%)

Steps

Iters	Range		Point
8	3.411782529727933e+73	1.4285295570231017e+76	2.0656176616921863e+74
8	-1.4631450331295587e+76	-4.719963113814714e+71	-5.364513564020266e+71

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes164.0ms (1.5%)

Compiler: Compiled 104 to 208 computations (-100% saved)

bsearch83.0ms (0.8%)

Steps

Iters	Range		Point
5	1.40651183896651e+99	3.6005032983232765e+99	2.173434506081493e+99
9	7.489129426811052e+75	6.942148272313622e+80	2.6744930567769266e+76
9	3.6142953962509377e+47	6.121604773885528e+52	2.724053298299138e+50
8	-7.074291126477639e+163	-1.366124369324614e+159	-1.3930236513544564e+159

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes238.0ms (2.2%)

Compiler: Compiled 76 to 180 computations (-136.8% saved)

bsearch146.0ms (1.3%)

Steps

Iters	Range		Point
8	2.1863084126500874e-06	0.000688349358006609	0.0006489459946827008
9	6.217172207233015e-124	3.3530111697018246e-118	6.287516857485122e-124
9	2.338420324114183e-228	8.598749697614382e-221	1.440583995689977e-224
9	-7.557576398475972e-143	-3.489844123314505e-149	-7.642618926139997e-144
8	-1.1500805572243676e+60	-1.9693511809660869e+55	-6.555190283372802e+57
4	-5.251719191101334e+140	-3.0089377109735257e+140	-5.156576316726671e+140
8	-7.074291126477639e+163	-1.366124369324614e+159	-1.3930236513544564e+159

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes147.0ms (1.3%)

Compiler: Compiled 44 to 132 computations (-200% saved)

bsearch71.0ms (0.6%)

Steps

Iters	Range		Point
8	3.809036417706326e-42	4.388022316646713e-38	7.649023996860198e-39
8	-1.1500805572243676e+60	-1.9693511809660869e+55	-4.740137674033482e+58
4	-5.251719191101334e+140	-3.0089377109735257e+140	-5.156576316726671e+140
8	-7.074291126477639e+163	-1.366124369324614e+159	-1.3930236513544564e+159

Compiler

Compiled 1 to 4 computations (-300% saved)

regimes37.0ms (0.3%)

Compiler: Compiled 32 to 112 computations (-250% saved)

bsearch0.0ms (0%)

regimes33.0ms (0.3%)

Accuracy

Total 0.0b remaining (70.1%)

Threshold costs 0.0b (70.1%)

Compiler

Compiled 20 to 92 computations (-360% saved)

bsearch9.0ms (0.1%)

Compiler: Compiled 223 to 146 computations (34.5% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	183	291
1	183	291

end0.0ms (0%)

sample1.4s (12.8%)

Algorithm

1×

intervals

Results

321.0ms	8000×	body	128	valid
91.0ms	2260×	body	128	invalid

Compiler

Compiled 450 to 372 computations (17.3% saved)

Pareto

0.40825874262815515

Details

analyze670.0ms (6.1%)

sample27.0ms (0.2%)

simplify177.0ms (1.6%)

prune5.0ms (0%)

localize13.0ms (0.1%)

rewrite23.0ms (0.2%)

series569.0ms (5.2%)

simplify61.0ms (0.6%)

prune81.0ms (0.7%)

localize6.0ms (0.1%)

rewrite14.0ms (0.1%)

series201.0ms (1.8%)

simplify64.0ms (0.6%)

prune29.0ms (0.3%)

localize11.0ms (0.1%)

rewrite76.0ms (0.7%)

series2.7s (24.2%)

simplify117.0ms (1.1%)

prune247.0ms (2.2%)

localize11.0ms (0.1%)

rewrite96.0ms (0.9%)

series2.4s (21.8%)

simplify127.0ms (1.2%)

prune274.0ms (2.5%)

simplify31.0ms (0.3%)

regimes141.0ms (1.3%)

bsearch0.0ms (0%)

regimes121.0ms (1.1%)

bsearch0.0ms (0%)

regimes88.0ms (0.8%)

bsearch0.0ms (0%)

regimes124.0ms (1.1%)

bsearch42.0ms (0.4%)

regimes119.0ms (1.1%)

bsearch42.0ms (0.4%)

regimes164.0ms (1.5%)

bsearch83.0ms (0.8%)

regimes238.0ms (2.2%)

bsearch146.0ms (1.3%)

regimes147.0ms (1.3%)

bsearch71.0ms (0.6%)

regimes37.0ms (0.3%)

bsearch0.0ms (0%)

regimes33.0ms (0.3%)

bsearch9.0ms (0.1%)

simplify8.0ms (0.1%)

end0.0ms (0%)

sample1.4s (12.8%)

Profiling