Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

sample58.0ms

Algorithm

intervals

Results

34.0ms	128×	body	160	valid
15.0ms	128×	body	80	valid

simplify100.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5106	83

prune9.0ms

Filtered

1 candidates to 1 candidates (0.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

Merged error: 14.0b

Counts

2 → 2

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))))
0.2b	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)
0.5b	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
14.0b	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64`
30×	`associate-l_binary64`
22×	`*-un-lft-identity_binary64` `add-exp-log_binary64` `times-frac_binary64`
20×	`add-cube-cbrt_binary64`
14×	`add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `pow1_binary64` `prod-exp_binary64`
6×	`associate-r_binary64` `unswap-sqr_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`cbrt-unprod_binary64` `associate-/r/_binary64` `div-exp_binary64` `insert-posit16`
2×	`pow-prod-down_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `rec-exp_binary64` `div-inv_binary64` `associate-+r+_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 108

Calls

4 calls:

13.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))))
11.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)
5.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
5.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

series2.6s

Counts

4 → 12

Calls

4 calls:

733.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)))))))))
423.0ms	(.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496)
632.0ms	(+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
807.0ms	(-.f64 1 (.f64 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (.f64 (/.f64 1 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))))

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	1296	2517
1	1296	2517
0	5396	2330
0	1296	2517
1	1296	2517
0	5396	2330
0	4905	242
1	4905	242
0	898	2195
1	898	2195
0	4972	2056
1	4972	2056
0	898	2195
1	898	2195
0	4972	2056
1	4972	2056
0	4943	174
1	4943	174
0	446	1697
1	446	1697
0	4882	1660
1	4882	1660
0	446	1697
1	446	1697
0	4882	1660
1	4882	1660
0	5151	60
0	1006	2329
1	1006	2329
0	5067	2180
0	1006	2329
1	1006	2329
0	5067	2180
0	4879	202
1	4879	202

simplify246.0ms

Counts

120 → 120

Iterations

Useful iterations: 0 (166.0ms)

Iter	Nodes	Cost
0	4956	7280
1	4956	7280

prune519.0ms

Filtered

99 candidates to 120 candidates (-21.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	119	3	122

Merged error: 0.5b

Counts

122 → 3

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.1b	(/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.5b	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
14.0b	(-.f64 1 (.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
18×	`times-frac_binary64`
12×	`associate-/r/_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
6×	`associate-/r_binary64` `associate-/l_binary64`
4×	`pow1_binary64` `distribute-rgt-out_binary64` `insert-posit16`
2×	`cbrt-undiv_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `associate-l/_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `frac-add_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 90

Calls

4 calls:

6.0ms	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
6.0ms	(/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
49.0ms	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
4.0ms	(-.f64 1 (.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

series2.7s

Counts

4 → 12

Calls

4 calls:

454.0ms	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
453.0ms	(/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
811.0ms	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
934.0ms	(-.f64 1 (.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

Iterations

Useful iterations: 0 (127.0ms)

Iter	Nodes	Cost
0	1422	2507
1	1422	2507
0	5242	2424
0	1422	2507
1	1422	2507
0	5242	2424
0	5002	270
0	1156	2319
1	1156	2319
0	5742	2286
0	1156	2319
1	1156	2319
0	5742	2286
0	4890	230
1	4890	230
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	5151	60
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	5151	60

simplify180.0ms

Counts

102 → 102

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4893	5149
1	4893	5149

prune401.0ms

Filtered

86 candidates to 102 candidates (-18.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	101	4	105

Merged error: 0.5b

Counts

105 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.5b	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
14.0b	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
14.0b	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))))

rewrite147.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
14×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
8×	`add-log-exp_binary64`
7×	`log-pow_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `exp-prod_binary64`
5×	`pow1_binary64`
4×	`log-prod_binary64` `difference-of-squares_binary64` `insert-posit16`
3×	`associate-/r_binary64` `associate-/l_binary64`
2×	`flip3-+_binary64` `sub-neg_binary64` `associate-/r/_binary64` `distribute-lft-out--_binary64` `flip-+_binary64`
1×	`flip3--_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `exp-diff_binary64` `clear-num_binary64` `exp-sum_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `log-div_binary64` `+-commutative_binary64` `flip--_binary64` `sum-log_binary64`

Counts

4 → 79

Calls

4 calls:

6.0ms	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
39.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
51.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
47.0ms	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))))

series3.0s

Counts

4 → 12

Calls

4 calls:

453.0ms	(/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
725.0ms	(+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))
887.0ms	(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
920.0ms	(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))))

Iterations

Useful iterations: 0 (128.0ms)

Iter	Nodes	Cost
0	1432	2420
1	1432	2420
0	5012	2318
0	1432	2420
1	1432	2420
0	5012	2318
0	4905	242
1	4905	242
0	1369	2384
1	1369	2384
0	5516	2318
0	1369	2384
1	1369	2384
0	5516	2318
0	4905	242
1	4905	242
0	971	2099
1	971	2099
0	5596	2056
0	971	2099
1	971	2099
0	5596	2056
0	4943	174
1	4943	174
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	351	1673
1	351	1673
0	4994	1660
1	4994	1660
0	5151	60

simplify168.0ms

Counts

91 → 91

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5114	6037

prune351.0ms

Filtered

80 candidates to 91 candidates (-13.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	91	4	95

Merged error: 0.5b

Counts

95 → 4

localize36.0ms

Local error

Found 4 expressions with local error:

0.5b	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
0.5b	(.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (/.f64 (+.f64 1 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))
0.8b	(pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3)
13.5b	(-.f64 1 (pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3))

rewrite313.0ms

Algorithm

rewrite-expression-head

Rules

68×	`*-un-lft-identity_binary64`
65×	`times-frac_binary64`
64×	`associate-/r/_binary64`
63×	`add-sqr-sqrt_binary64`
38×	`add-cube-cbrt_binary64`
35×	`flip3-+_binary64` `flip-+_binary64`
32×	`distribute-rgt-out_binary64` `unpow-prod-down_binary64` `cube-prod_binary64`
19×	`associate-*l/_binary64`
17×	`associate-*r/_binary64`
16×	`associate-r_binary64`
12×	`add-cbrt-cube_binary64` `difference-of-squares_binary64`
11×	`distribute-lft-out_binary64`
10×	`add-exp-log_binary64`
8×	`add-log-exp_binary64` `associate-l_binary64`
7×	`pow1_binary64`
4×	`insert-posit16`
3×	`pow-unpow_binary64` `frac-add_binary64` `sqr-pow_binary64` `div-inv_binary64` `frac-times_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `rem-cube-cbrt_binary64` `prod-exp_binary64` `div-exp_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `pow-pow_binary64` `cube-div_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip--_binary64` `unpow3_binary64` `sum-log_binary64` `*-commutative_binary64` `cube-mult_binary64`

Counts

4 → 167

Calls

4 calls:

56.0ms	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
117.0ms	(.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (/.f64 (+.f64 1 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))
54.0ms	(pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3)
75.0ms	(-.f64 1 (pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3))

series3.6s

Counts

4 → 12

Calls

4 calls:

810.0ms	(+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))
1.1s	(.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (/.f64 (+.f64 1 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))
817.0ms	(pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3)
878.0ms	(-.f64 1 (pow.f64 (/.f64 (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (.f64 (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (+.f64 1 (.f64 1475339155889891/4503599627370496 (fabs.f64 x)))))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x)))) 3))

Iterations

Useful iterations: 0 (155.0ms)

Iter	Nodes	Cost
0	1633	2518
1	1633	2518
0	4936	2460
1	4936	2460
0	1633	2518
1	1633	2518
0	4936	2460
1	4936	2460
0	5055	278
0	1610	2491
1	1610	2491
0	5091	2442
0	1610	2491
1	1610	2491
0	5091	2442
0	4978	272
1	4978	272
0	1772	3419
1	1772	3419
0	4973	3330
1	4973	3330
0	1772	3419
1	1772	3419
0	4973	3330
1	4973	3330
0	4880	506
1	4880	506
0	1156	2319
1	1156	2319
0	5742	2286
0	1156	2319
1	1156	2319
0	5742	2286
0	4890	230
1	4890	230

simplify288.0ms

Counts

179 → 179

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5178	26041

prune2.0s

Filtered

104 candidates to 179 candidates (-72.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	178	1	179
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	179	4	183

Merged error: 0.5b

Counts

183 → 4

regimes102.0ms

Accuracy

99.8% (0.0b remaining)

Error of 0.8b against oracle of 0.8b and baseline of 13.9b

bsearch2.0ms

simplify12.0ms

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	184	114
1	184	114

end0.0ms

sample1.5s

Algorithm

intervals

Results

942.0ms	3950×	body	160	valid
502.0ms	4050×	body	80	valid

Details

analyze3.0ms

sample58.0ms

simplify100.0ms

prune9.0ms

localize25.0ms

rewrite39.0ms

series2.6s

simplify246.0ms

prune519.0ms

localize26.0ms

rewrite68.0ms

series2.7s

simplify180.0ms

prune401.0ms

localize27.0ms

rewrite147.0ms

series3.0s

simplify168.0ms

prune351.0ms

localize36.0ms

rewrite313.0ms

series3.6s

simplify288.0ms

prune2.0s

regimes102.0ms

bsearch2.0ms

simplify12.0ms

end0.0ms

sample1.5s

Profiling