Details

analyze184.0ms

Algorithm

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%	74.9%	25.1%	4
0%	74.9%	25.1%	5
0%	62.4%	37.6%	6
12.5%	43.7%	43.8%	7
12.5%	43.7%	43.8%	8
25%	28.1%	47%	9
28.1%	20.3%	51.6%	10
28.1%	20.3%	51.6%	11
34.3%	13.3%	52.4%	12
35.9%	9.8%	54.4%	13
35.9%	9.8%	54.4%	14

sample20.0ms

Algorithm

intervals

Results

11.0ms	256×	body	80	valid
0.0ms	9×	body	80	invalid
0.0ms	1×	body	80	nan

simplify76.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	683	18
1	683	18

prune2.0ms

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: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 (-.f64 1 z) (log.f64 z))
0.0b	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
0.2b	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
9×	`pow1_binary64`
8×	`add-log-exp_binary64` `distribute-lft-out_binary64` `add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
6×	`add-cube-cbrt_binary64`
5×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-+r+_binary64`
4×	`log-pow_binary64` `distribute-lft-out--_binary64`
3×	`flip3-+_binary64` `log-prod_binary64` `associate-l_binary64` `insert-posit16` `flip-+_binary64` `sum-log_binary64`
2×	`associate-*r/_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `+-commutative_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `associate-+l+_binary64` `associate-+l-_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

3 → 63

Calls

3 calls:

9.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
8.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
15.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

series761.0ms

Counts

3 → 9

Calls

3 calls:

288.0ms	(+.f64 (-.f64 1 z) (log.f64 z))
262.0ms	(+.f64 (.f64 x 1/2) (.f64 y (+.f64 (-.f64 1 z) (log.f64 z))))
210.0ms	(*.f64 y (+.f64 (-.f64 1 z) (log.f64 z)))

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	334	303
1	334	303
0	11	9
1	11	9
0	334	303
1	334	303
0	11	9
1	11	9
0	1	3
1	1	3
0	439	402
1	439	402
0	12	9
1	12	9
0	439	402
1	439	402
0	12	9
1	12	9
0	1	3
1	1	3
0	229	192
1	229	192
0	15	24
1	15	24
0	229	192
1	229	192
0	15	24
1	15	24
0	5783	51

simplify123.0ms

Counts

72 → 72

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4932	1024
1	4932	1024

prune64.0ms

Filtered

51 candidates to 72 candidates (-41.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	5	73

Merged error: 0.0b

Counts

73 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
0.2b	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64` `add-cube-cbrt_binary64`
9×	`cbrt-prod_binary64`
8×	`pow1_binary64`
6×	`log-prod_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-+r+_binary64`
5×	`associate-r_binary64` `sum-log_binary64`
4×	`distribute-lft-out_binary64` `insert-posit16`
3×	`associate-l_binary64`
2×	`flip3-+_binary64` `associate-*r/_binary64` `pow1/3_binary64` `log-pow_binary64` `associate-+l-_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `associate-+l+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `+-commutative_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

15.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
14.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series1.4s

Counts

4 → 12

Calls

4 calls:

288.0ms	(.f64 y (+.f64 (+.f64 (-.f64 1 z) (.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z))))
598.0ms	(+.f64 (+.f64 (-.f64 1 z) (*.f64 (log.f64 (cbrt.f64 z)) 2)) (log.f64 (cbrt.f64 z)))
279.0ms	(cbrt.f64 z)
277.0ms	(cbrt.f64 z)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	418	1806
1	418	1806
0	4906	1683
1	4906	1683
0	418	1806
1	418	1806
0	4906	1683
1	4906	1683
0	4882	86
1	4882	86
0	490	1856
1	490	1856
0	68	9
1	68	9
0	490	1856
1	490	1856
0	68	9
1	68	9
0	1	3
1	1	3

simplify98.0ms

Counts

85 → 85

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5361	1283

prune96.0ms

Filtered

71 candidates to 85 candidates (-19.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	85	5	90

Merged error: 0b

Counts

90 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 z)) 2) (-.f64 1 z)) y)
0.3b	(*.f64 (log.f64 (cbrt.f64 z)) y)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`pow1_binary64`
8×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l_binary64`
6×	`associate-r_binary64` `cbrt-prod_binary64`
4×	`add-log-exp_binary64` `insert-posit16`
3×	`pow1/3_binary64`
2×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `log-pow_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`flip3-+_binary64` `flip-+_binary64`

Counts

4 → 66

Calls

4 calls:

12.0ms	(.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 z)) 2) (-.f64 1 z)) y)
5.0ms	(*.f64 (log.f64 (cbrt.f64 z)) y)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series1.2s

Counts

4 → 12

Calls

4 calls:

265.0ms	(.f64 (+.f64 (.f64 (log.f64 (cbrt.f64 z)) 2) (-.f64 1 z)) y)
426.0ms	(*.f64 (log.f64 (cbrt.f64 z)) y)
274.0ms	(cbrt.f64 z)
279.0ms	(cbrt.f64 z)

Iterations

Useful iterations: 0 (6.0ms)

Iter	Nodes	Cost
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	268	1671
1	268	1671
0	4852	1087
1	4852	1087
0	268	1671
1	268	1671
0	4852	1087
1	4852	1087
0	57	42
1	57	42
0	410	1766
1	410	1766
0	49	9
1	49	9
0	410	1766
1	410	1766
0	49	9
1	49	9
0	1	3
1	1	3

simplify101.0ms

Counts

78 → 78

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5146	908

prune82.0ms

Filtered

64 candidates to 78 candidates (-21.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	78	5	83

Merged error: 0b

Counts

83 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `pow1/3_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `insert-posit16`

Counts

4 → 48

Calls

4 calls:

1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)

series1.1s

Counts

4 → 12

Calls

4 calls:

274.0ms	(cbrt.f64 z)
280.0ms	(cbrt.f64 z)
277.0ms	(cbrt.f64 z)
275.0ms	(cbrt.f64 z)

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	40	1603
1	40	1603
0	42	1590
1	42	1590
0	4890	50
1	4890	50

simplify221.0ms

Counts

60 → 60

Iterations

Useful iterations: 0 (199.0ms)

Iter	Nodes	Cost
0	4698	488
1	4698	488

prune82.0ms

Filtered

56 candidates to 60 candidates (-7.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	60	0	60
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	60	5	65

Merged error: 0b

Counts

65 → 5

regimes63.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	35	33
1	35	33

end0.0ms

sample570.0ms

Algorithm

intervals

Results

369.0ms	8000×	body	80	valid
12.0ms	272×	body	80	invalid
3.0ms	82×	body	80	nan

Details

analyze184.0ms

sample20.0ms

simplify76.0ms

prune2.0ms

localize10.0ms

rewrite35.0ms

series761.0ms

simplify123.0ms

prune64.0ms

localize15.0ms

rewrite35.0ms

series1.4s

simplify98.0ms

prune96.0ms

localize15.0ms

rewrite22.0ms

series1.2s

simplify101.0ms

prune82.0ms

localize23.0ms

rewrite7.0ms

series1.1s

simplify221.0ms

prune82.0ms

regimes63.0ms

bsearch0.0ms

simplify7.0ms

end0.0ms

sample570.0ms

Profiling